工程不幸路径：理解 BitVM2 架构 第二部分：BitVM2 的实际障碍 BitVM2 是一个强大的桥接框架，但“理论上可行”并不是比特币的标准。标准是，不幸路径是否便宜、明确且具有激励兼容性。 在 zkRollup 风格的 BitVM2 部署中，三个实际障碍很快显现： 1. 证明错误的状态 在挑战的 peg-out 过程中，操作员可以尝试使用有效的证明来证明不正确/分叉的 L2 历史。如果“最新状态”没有客观确定，证明可能在内部是正确的，但在经济上是欺诈性的。 2. 用户无法提取任意金额 经典的 BitVM2 peg-out 与固定的 L1 peg-in 金额和操作员风格的流程相关联。最终用户不能被期望仅仅为了提取“x BTC”而运行操作员工作流程。 3. 激励不能可靠地支付诚实的参与者 如果挑战者没有得到持续的报酬，他们就会停止监视。一种特定的失败模式是：资助/发起挑战的实体不一定是完成最终反驳步骤的实体，因此奖励可能被其他人获取。 GOAT BitVM2 设计直接针对这些问题进行了三项架构调整： • 在比特币上提交序列器集，以便“规范 L2 状态”得到外部锚定。 • 将操作员/挑战者的抵押品转移到 L2 + 使用原子交换提取流程，以便用户可以干净地提取任意金额，同时操作员通过 L2 证明来偿还自己。 • 通过混淆电路 + DV-SNARK 减少争议开销，使挑战路径在操作上可行。 第三部分即将到来：通过提交序列器集在比特币上锚定规范 L2 视图意味着什么，以及为什么这能关闭“证明错误状态”退出。