比特币L2网络推出实时证明的ZK Rollup测试网

近期一个比特币L2网络推出了基于BitVM2技术的测试网,其中一项引人注目的功能是实时证明的比特币ZK Rollup。这一技术进步对比特币L2基础设施的发展具有重要意义。从用户体验角度来看,提款效率将大幅提升,有望吸引更多开发者和用户关注。

该网络是基于比特币L2的解决方案,采用了BitVM2和zkMIPS技术,支持原生BTC收益。其主要流程包括桥入、桥出、排序器承诺以及报销处理等环节。桥入过程中,BTC被质押到taproot脚本,中继者将其提交到L2合约。委员会构建BitVM2交易流,运营者预签名并存储,用户验证后在L2发行PegBTC。桥出时,用户可通过原子交易提取BTC,销毁L2上的PegBTC,无需在比特币主链上进行Peg-OUT交易。排序器承诺机制使用Merkle树定期承诺未来的排序器集,支持轻客户端验证。报销处理中,运营商质押BTC并提交相关信息,经过验证后可领取资金。挑战机制缩短了最终性时间至约1天。

该网络的ZK Rollup技术将多笔L2交易打包成批次,在链下执行生成ZK证明,通过比特币主链验证。与以太坊上的ZK Rollup不同,该网络使用比特币原生机制锚定状态更新,避免了对外部桥接或多签机制的依赖。

实时证明生成采用zkMIPS引擎,通过流水线并行证明架构和分布式GPU证明者网络实现快速生成。证明过程包括区块证明生成、聚合证明和SNARK证明三个阶段。根据测试网数据,区块证明平均耗时2.6秒,聚合证明2.7秒,SNARK证明10.38秒。用户可实时查看每笔提款的完整ZK证明生成过程。

实时证明的实现意味着用户提现速度将大大加快。与之前需要等待数小时才能发起提现的比特币L2网络相比,用户现在可在不到1分钟内完成ZK证明并发起提款。虽然最终到账时间仍取决于比特币主网交易情况,但提现体验已接近直接在比特币链上发起交易。

除提现外,实时证明还将推动高频L2应用的开发。对运营者而言,无需等待批量出证,提高了资金效率。尽管ZK技术复杂度较高,长期安全性仍需时间验证,但实时证明的落地无疑是比特币L2技术基建的重要进步。

然而,比特币L2的发展之路仍然漫长。除技术基础设施外,还需在挖掘用户需求和推动开发者构建应用方面付出更多努力。只有比特币L2生态真正繁荣起来,才能产生足够的交易费用实现良性循环。值得注意的是,许多BTC持有者希望获得收益,这从目前超过15万BTC(价值超150亿美元)包裹在以太坊链上可见一斑。如果能实现基于比特币链原生安全性的解决方案,更多BTC持有者可能会尝试通过BTCFI获取收益。