GOAT推出实时ZK Rollup测试网：​​原生BTC收益新可能？

看到GOAT网络推出其基于BitVM2技术的测试网，其中有个实现值得关注：实时证明的比特币 ZK Rollup。实现快速的ZK Rollup证明，这对于BTC L2的基建来说，是重要的发展。从用户体验上看，在提取时间方面会较之前有很大的效率提升，这利于带来更多开发者加入和用户的关注。

那么，从技术上如何简单理解？

首先来看看GOAT网络的比特币L2的实现流程。GOAT网络是基于比特币L2的解决方案，使用了BitVM2和zkMIPS技术，支持实现原生BTC收益（也就是参与者有机会赚取更多BTC）。它流程主要包括了桥入（Bridge in）、桥出（Bridge out）、排序器承诺（Sequencer Set Commitment）以及报销处理（Reimbersement）等。桥入主要是将BTC质押到taproot脚本（无人控制私钥），中继者将其提交到Goat的合约。委员会构建BitVM2交易流，运营者预签名并存在IPFS，用户验证后，中继者在L2发行PegBTC；桥出则是提取，用户跟运营商进行原子交易（用户自己也可以是运营商，如果自己不愿意，可通过运营商完成提取），销毁L2上的PegBTC，运营商启动报销处理，无须在BTC主链上进行Peg-OUT交易。排序器承诺主要是指委员会定期使用Merkle树承诺未来的排序器集，支持比特币轻客户端机制的验证。通过轻客户端机制验证将BTC上承诺的验证人集合作为后面零知识证明验证的公共输入，用来实现L2区块共识性的验证。报销处理则是运营商质押BTC并提交提款的交易ID以及最新区块哈希。挑战者进行链下和链上验证，如无挑战，运营商领取资金。挑战者也可以提出挑战，挑战发生后，随机产生验证者，验证者可通过比特币脚本执行互动验证。挑战期缩短到大约1天（约144个btc区块），压缩最终性所需时间。此外它使用了去中心化的排序器，运营者质押BTC参与，经济模型中L2 gas费用等会生成原生BTC收益。

下面重点说下其实时证明的ZK Rollup，先来说下它的Rollup技术。GOAT网络会将多笔L2交易打包成批次（Batch），在链下执行生成一个ZK证明，该证明会通过比特币主链进行验证（BitVM2的Assert/Disprove阶段验证等），ZK证明的好处是无须上传所有交易细节；此外，跟以太坊的zksync或Starknet不同，Goat使用比特币Taproot脚本等原生机制来锚定状态更新，从而避免依赖外部桥接或多签机制。

那么，简单了解了其Zk Rollup技术，再来看看其实时证明的机制。根据GOAT网络文档，它的实时证明生成采用了zkMIPS引擎，通过流水线并行证明架构+分布式GPU证明者网络来实现其证明的快速生成。首先是区块证明生成，使用执行轨迹分片和并行证明技术，验证Rollup状态转换是否正确；其次是聚合证明，对多个区块证明进行递归压缩；最后是SNARK证明（Groth16），压缩成BitVM2上可验证的小体积证明。

为了实现实时证明，上述的证明生成并不是单行方式处理，而是采用流水线（Pipelined）并行处理的机制，主要依赖ZKM的zkVM「Ziren」技术来实现，再加上GPU加速和分布式的证明者网络，根据其测试网目前的官方网站数据，区块证明大约平均2.6秒、聚合证明平均2.7秒、SNARK证明大约10.38秒。用户可通过前端页面实时查看每笔提款的完整的ZK证明生成过程。

如果在不到1分钟内即可完成ZK证明，也就意味着，用户提现的速度将极大加快，之前的一些比特币L2网络提现需要等待好几小时才能发起，有了快速的证明，则支持用户在证明生成后即可发起提款，也就是说，大约不到1分钟内用户就可发起提现。当然用户最终到账时间，还需要依赖于比特币主网的交易情况。但在提现方面，已经无须等待，也就是，其提现基本上接近于在比特币链上发起交易的时间体验。

除了提现之外，实时证明，也会推动开发者构建高频的L2应用，此外兼容EVM，也可吸引以太坊生态的开发者；对运营者来说，无须等待批量出证，也可提升了资金效率。ZK技术相对复杂，长期安全性也需要一定的时间证明。不过，实时证明的落地对于比特币L2来说，是技术基建的重要进步。当然，目前比特币L2还有很远的路要走，除了技术基础设施的构建之外，还需要在挖掘用户需求、推动开发者构建比特币L2应用方面做出更多的努力，因为最终来说，比特币L2生态起来了，才会有足够的交易费用来实现飞轮的增长。其中，有一个需求是相对明确的，就是不少BTC持有者也希望获得收益，这从以太坊链上的BTC（如wbtc等）数量就可以看出来，目前超过15万btc包裹在以太坊链上，价值超过150多亿美元。如果能够实现基于btc链原生安全性，那么，会有更多的BTC持有者愿意尝试通过BTCFI来获得收益。