标题: GOAT推出实时ZK Rollup测试网：原生BTC收益新可能？（转） [打印本页] 作者: mattf 时间: 2025-8-2 18:28 标题: GOAT推出实时ZK Rollup测试网：原生BTC收益新可能？（转） 看到GOAT网络推出其基于BitVM2技术的测试网，其中有个实现值得关注：实时证明的比特币 ZK Rollup。实现快速的ZK Rollup证明，这对于BTC L2的基建来说，是重要的发展。从用户体验上看，在提取时间方面会较之前有很大的效率提升，这利于带来更多开发者加入和用户的关注。4 F: R4 y8 F1 ?* o% ?- }
k/ n$ a' b8 t3 ]& n
那么，从技术上如何简单理解？ 3 ~4 f j& X6 c n y0 o+ w$ ?) L% U2 P' C b6 Y# K
首先来看看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收益。4 l X# s: s: R `# r9 V( {& G
M) J; H1 S' |1 v5 \5 u下面重点说下其实时证明的ZK Rollup，先来说下它的Rollup技术。GOAT网络会将多笔L2交易打包成批次（Batch），在链下执行生成一个ZK证明，该证明会通过比特币主链进行验证（BitVM2的Assert/Disprove阶段验证等），ZK证明的好处是无须上传所有交易细节；此外，跟以太坊的zksync或Starknet不同，Goat使用比特币Taproot脚本等原生机制来锚定状态更新，从而避免依赖外部桥接或多签机制。 & h5 b+ a _4 Q' Y " ^& E1 n. B, u6 d) O' ?那么，简单了解了其Zk Rollup技术，再来看看其实时证明的机制。根据GOAT网络文档，它的实时证明生成采用了zkMIPS引擎，通过流水线并行证明架构+分布式GPU证明者网络来实现其证明的快速生成。首先是区块证明生成，使用执行轨迹分片和并行证明技术，验证Rollup状态转换是否正确；其次是聚合证明，对多个区块证明进行递归压缩；最后是SNARK证明（Groth16），压缩成BitVM2上可验证的小体积证明。 & D& E& b' M( S8 C `1 a3 i1 i' }6 v. m4 }* l& L5 f$ g( `7 X! w1 s
为了实现实时证明，上述的证明生成并不是单行方式处理，而是采用流水线（Pipelined）并行处理的机制，主要依赖ZKM的zkVM「Ziren」技术来实现，再加上GPU加速和分布式的证明者网络，根据其测试网目前的官方网站数据，区块证明大约平均2.6秒、聚合证明平均2.7秒、SNARK证明大约10.38秒。用户可通过前端页面实时查看每笔提款的完整的ZK证明生成过程。$ k+ A0 u- k- w5 T% ^2 H) P- J
) w, _' M, y" {+ v3 E N5 d7 S
如果在不到1分钟内即可完成ZK证明，也就意味着，用户提现的速度将极大加快，之前的一些比特币L2网络提现需要等待好几小时才能发起，有了快速的证明，则支持用户在证明生成后即可发起提款，也就是说，大约不到1分钟内用户就可发起提现。当然用户最终到账时间，还需要依赖于比特币主网的交易情况。但在提现方面，已经无须等待，也就是，其提现基本上接近于在比特币链上发起交易的时间体验。* k0 w9 ?7 c) X; J