撰文：Haotian
如何理解 @GOATRollup 发布的比特币 Native 扩展白皮书？简单来说，GOAT 网络将基于乐观挑战证明（OCP）提供的 BTC 脚本锁定原生安全机制和 @ProjectZKM Entangled Rollup 提供的可交互操作统一结算层，从而为一种去中心化且安全的比特币 Layer2 解决方案。
您需要在比特币主网上线后才能开始交易，并且需要通过常规 ZK Proof of Validity 保证资产管理平台即时确认，然后才能开始交易。
针对此问题 @babylon_chain 提供了组合时间锁、一次性签名（EOTS）、多签共识等多种技术构建特定的跨链安全模型。
但是，Babylon 的设计依赖主网提供安全性，类似于一个共享安全层。和传统意义上的交易所放在二层执行的 Layer2 扩展方案，安全性公认的缺乏二层本以及二层本在一层的验证机制，若二层过度依赖 Babylon 的方案则相当于会自身链的安全控制，因此 Babylon 更倾向于一些资产管理类的扩展方案，而并非是常见的通用型的安全解决方案。
而 Goat Network 就定位为一种具有原生安全跨链特性，更通用的去中心化二层扩展方案。
它的原生跨链机制是基于 BitVM2 思路实现的乐观挑战协议，所有的计算和交互都在二层离线执行，当 “挑战” 出现时在比特币主网执行链上协议，比特币层 1 会协助仲裁者来确保安全性。
具体而言：
1）用户在 Layer2 存入（Peg-in）的资产会先由 GOAT 网络资金池来管理，并锁定一个 n-of-n 的比特币多重签名脚本中；
2）用户在 Layer2 发起提现（Peg-out），GOAT 网络节点运营商会立即将资产转移给用户，相当于 “预支”；
3）完成后，运营者会向 GOAT 网络资金池发起一个包含挑战脚本和资产脚本的项目中，要求将自己代付的资产以及相应的奖励和手续费等划入节点账户；
4）为防止比特币运营商参与竞争，在此引入了挑战机制，任何用户都可以支付比特币地址资产来挑战挑战成功，比特币运营商的行为被证实不诚实，比特币的提款请求会失效，其质押的相应资产会划转到挑战者的账户，挑战成功则不会成功，比特币运营商会收到预付款项并承认所有资产；
通俗理解，GOAT Network 相当于基于 Entangled Rollup 构建了中间件网络协议，用户每访问一个资产都由 Entangled Rollup 网络上的节点做 “预支”，用户端得到了绝对的安全保障，而节点则通过挑战者机制（OCP）来排除潜在作恶风险，比如，节点运营商构造一个虚假的提款用户，从真实用户资金池里提取合法资金。
和 BitVM2 提供的挑战想法有所区别，BitVM2 基于 NAND 电路解决方案，并通过逻辑门 Committ 追踪交易以及二分协议执行挑战，奶酪受比特币主网脚本限制，若构造一个比特币仓库，效率较低。
而 GOAT 网络则基于 ZKM 实现了 SNARK 证明，且使用 Winternitz 签名来优化，因此可以达成最小的 Taproot 存储单位来达成比特币主网的脚本节能验证。
有 OCP 挑战者证明机制可以保证用户资产池安全受到比特币主网的 “仲裁” 保护，但大多数情况下，用户在 BTC 第 2 层上交易，二层序列器负责验证和排序交易，存在 MEV 以及宕机等潜在安全隐患。因此 GOAT 网络同样基于 BTC 脚本锁定和一次性签名机制实现了序列器的去中心化，以此进一步巩固安全信任机制。
之前，我专门写文章分析过 Entangled Rollup 协议，它是一个统一的可交互操作性层，可以实现节点 Operator 之间的资产和消息传递，同时用一套去中心化的安全治理机制来保证安全性。
综上，GOAT Network 通过 OCP 挑战者机制和 Entangled Rollup 统一可交互层为其作为通用型 Native 跨链比特币二层解决方案提供了基础。
注：术语只为基本的技术逻辑和框架，更多细节内容请详细阅读白皮书内容，可进一步了解：1）OCP 挑战者机制如何应用并优化 BitVM2 的实现效果；2）Entangled Rollup 如何实现跨链统一流动性；3）ZKM 在比特币脚本功能实现上性能优化细节等等。
