工程不愉快的路径：理解 BitVM2 架构 第四部分：用户流中的提款 提款是标准设计变得以操作员为中心的地方：固定的 peg-in UTXO、预签名图和时间锁渗透到用户体验中。 这就是为什么 GOAT BitVM2 将“用户获得 BTC”与“操作员获得报销”分开的原因。 1) 用户提款 = 原子交换（简单，任意金额） 提款被定义为原子交换 + Peg-Out。 在基本流程中： • 用户在 L2 中锁定 PegBTC 在 HTLC（哈希锁定）中。 • 操作员在 L1 中锁定 BTC 在匹配的 HTLC 中。 • 用户索取 BTC 并揭示预映像。 • 操作员使用该预映像索取 PegBTC。 这使用户能够在不需要参与 BitVM2 交易图机制的情况下获得“金额 X”的提款。 规范还指出了用户体验的改进（例如，使用 Bitcoin SPV）以避免用户手动处理预映像。 2) 操作员报销 = peg-out，基于规范 L2 状态的证明 在交换后，操作员通过 peg-out 路径退出，并根据 L2 状态转换证明获得报销，而不是依赖于用户级协调。 在操作上，操作员角色明确包括“与用户交换 PegBTC 为本地 BTC”，然后运行证明/报销工作流程。 净效果： • 用户获得一个任意金额的提款路径，不需要“操作员行为”。...