风险提示:央行等十部委发布《关于进一步防范和处置虚拟货币交易炒作风险的通知》, 请读者提高风险意识。

详解B²Network机制:ZK+BitVM挑战会成为比特币layer2标榜吗?

以太坊和比特币都在寻找安全、可扩展、去中心化的Layer2方案。ZK-Rollup和@BsquaredNetwork是两种不同的方案,分别对应以太坊的Rollup和比特币的客户端验证。比特币方案需要自建DA并将数据同步到主网,保留不可篡改的交易记录。Proof会议Commitment上传主网,降低存储空间。Rollup数据同步主网,为Challenge提供基础。利用BitVM实现图灵完备挑战系统,弥补比特币缺失的DA和验证能力。若市场认可,可能成为新一轮比特币layer2 Rollup标榜。

郝天
郝天
热度 ...

原文作者:郝天

原文来源:链上观

以太坊从Plasma到Validium再到主流Rollup,比特币从侧链到状态通道再到客户端验证,Layer2本质上都在找一套兼顾安全、可扩展性、去中心化的Tradeoff方案。

基于此,我对比了ZK-Rollup和最近热议的@BsquaredNetwork 方案,从DA实现、可交互操作性、安全挑战等技术实现方面,探讨下比特币layer2的差异性和复杂性。

为了更好地做同比参考,可以先模糊“定义”一组对应关系:

ETH Plasma = BTC 状态通道;ETH Validium = BTC 侧链;ETH Rollup = BTC 客户端验证。

不难看出,以太坊Plasma对应比特币生态Lightning Network,承接了BTC的安全性性,但HTLC合约目前受限于小额支付Payment方向;以太坊Validium对应比特币生态的侧链,扩展性很强悍,但一套独立的共识让它始终不受主流认可;以太坊Rollup我倾向于对应比特币生态的客户端验证,安全性、可扩展性,去中心化特性会取综合权衡点,以太坊Rollup也正因为此成了一条主流焦点赛道。

顺着以太坊ZK-Rollup的思路,我们以比特币客户端验证为突破口,比特币layer2 Rollup方案该如何构建呢?以 @BsquaredNetwork 为例探讨下:

1)客户端验证部分:

在一个完整的以太坊ZK-Rollup中,链下环节包括Sequencer收集并batch交易,会生成ZK SNARK证明和Merkle树等打包同步到主网Calldata,然后链下会把ZK SNARK证明经过Prover系统的验证,将最终的State diff上传到主网,主网根据State root根再结合Calldata中的区块数据,验证数据的完整性和一致性,最终完成Finality状态确认。

Bsquare的客户端部分,主要包含Rollup layer 和DA layer两大部分,Rollup layer的工作流程大致为:Sequencer 收集并Batch交易,先同步到去中心化存储环境下一份,然后经zkEVM生成Proof证明,与此同时把交易Raw data,Merkle树以及Bitcoin state等数据汇总成Aggregator联合Proof证明一起同步给DA layer的B²nodes。

过程中有两个差异,一方面比特币需要将TXs原始数据同步到去中心化存储环境下,而zk-Rollup默认了本地环境存储;另一方面以太坊可以直接把数据汇总同步到主网Call Data,但比特币主网存储量有限,验证能力缺失,因此Bsquare将这些数据同步到了客户端环境下的B²nodes。

2)Data Availability部分

在以太坊系统中,主网来给Rollup链输出DA能力,Rollup把数据同步到Calldata的操作目的正为主网的DA验证能力,鉴于比特币主网不具备验证能力,DA功能由客户端环境下构建的DA layer来承担。

DA layer中的B²nodes在收到这部分Rollup汇总数据后,会进行电路编译操作,将数据压缩后以Inscription铭文的方式上传到比特币主网。与此同时B²nodes也会运转Prover系统对ZK证明进行去中心化验证生成比特币Commitment承诺,该承诺会连同Rollupdata等汇总数据一同去刻铭文。

这里会产生两个疑问:

1、为何不直接用Celestia这类第三方DA而选择自己构建,这正是比特币生态的特殊性所决定,B²node需要配备indexer索引器对inscribe到比特币主网的铭文进行去中心化解析和索引,同时生成的ZK Proof会议Commitment的形式上传到主网,在刻铭文的时候还需要对数据进行Circuit电路预编译压缩,以确保降低对主网存储空间的占用。

2、既然DA并非由主网提供,为何要把各类Rollup数据以铭文形式同步到主网,这其实是在主网保留一个不可篡改的交易记录,为后续的Challenge过程提供基础。

关于【详解B²Network机制:ZK+BitVM挑战会成为比特币layer2标榜吗?】的延伸阅读

  • Room to Grow

    比特币市场经历冷淡后,投机交易回归。Mt.Gox比特币供应分配引发市场警报,但也提供新视角。大多数投资者未实现利润,市场形成新均衡。Mt.Gox资产分配开始,市场指标飙升。新需求占比41%,资产分配朝满足新需求方向发展。短期持有者扭亏为盈,持有成本低于当前价格。长期投资者持有比特币较少,市场供应量小。短期持有者损失减少,长期持有者损失少。长期持有者持有的亏损资产仅占市场总亏损资产的0.3%,而盈利资产占总盈利资产的85%。市场上升空间取决于投资者行为,高卖方风险比率意味着不稳定,低比率表示平衡。近期,市场投机迹象回归,卖方风险比率重置,可能导致大幅价格波动。

  • 7月降息“没戏了”?加密市场应声下挫

    美国5月非农就业报告强劲,加密市场早盘稳定但下午走低。比特币价格达到历史新高,市场情绪积极,预计未来几周将再创新高。分析师认为,比特币的四年周期是影响因素,预测2025年10月11日将达到新的历史高点。尽管存在泡沫市场的迹象,但与加密货币挂钩的永续期货并没有出现投机热情。市场逐渐成熟和稳定,受到机构兴趣和采用的影响。投资者关注下周的美国CPI数据和美联储货币政策决议。比特币未平仓合约创历史新高,市场情绪积极。

3)Challenge 部分

在ZK-Rollup中,主网Rollup合约的可通过Calldata中的打包数据和Prover上传到主网的State diff二次校验确保交易的完整性和一致性,这是主网具备验证能力,ZK技术的优势。

然而在比特币的Rollup环境下,由于主网缺乏验证能力,ZK技术价值本质在于SNARKs数据简洁压缩同时确保一致性,倘若在链下环境的Sequencer收集交易过程中就存在数据作假,整个链条的数据都是假的,Finality状态确认并无法拒绝作假的数据,因此要设计一套机制要对“作假”行为进行挑战。

要如何做呢?大家回看我关于BitVM的文章就会知道,BitVM是一种理论假设下可以让比特币实现图灵完备计算的方案,只不过其预编译电路向比特币主网传输TXs的Taproot Tree方式过于消耗矿工费而不现实,如果借鉴BitVM的实现逻辑来进行挑战机制设计就不一样了。

挑战机制会在主网UTXO中锁仓BTC,一旦用户以BitVM的形式向layer2链发起挑战,就可以拿走提前锁仓在比特币主网的资产。而刻录在比特币主网的铭文以及公开透明的B²nodes等Raw data、Merkle树、Commitment承诺等都会成为用户发起挑战的证据,一旦挑战结果证明B²nodes中的一系列数据和主网铭刻的Inscription数据存在不一致问题,B²nodes的节点不仅会失去锁在主网UTXO中的资产,还需要将交易回滚,重新更新索引器和历史数据。

以上

不难看出,比特币生态的layer2 Rollup方案有相当的技术复杂性和特殊性:

比如客户端验证环节要基于去中心化存储将Sequencer产生的一切数据都留底,为了确保数据可追溯;

又比如DA环节要在链下环境构建一套去中心化数据验证系统,并且通过Commitment承诺和刻录铭文的方式来保证DA数据的一致性;

又比如即使采用了ZK技术,也需要配备公开透明的挑战机制以确保安全;

整个过程要权衡一套去中心化、安全、可扩展性三个矛盾点得到一个公允的方案出来。

探索的雏形答案显而易见:既然比特币主网无法验证,无法DA,那就利用铭文向主网刻录受限的DA+一套基于BitVM电路的图灵完备挑战系统来实现Rollup链的透明性和安全性。以ZK技术+BitVM挑战系统来弥补比特币缺失的DA和验证能力。

既然以太坊Rollup也还存在Rollup合约可Update的多签合约治理隐患,也不能百分百确保安全,大家相信的其实是一套相对透明公开的合约交互机制,那现在做不到绝对BTC共识安全,摆在面前是一套基于BitVM的透明公开挑战机制,虽然技术实现复杂太多,逻辑似乎也Make Sense。

总之,比特币Layer2这套ZK技术+客户端验证+DA铭刻+BitVM挑战的范式若逐渐得到市场认可,你觉得会成为新一轮的比特币layer2 Rollup标榜吗?

免责声明:本文仅代表作者个人观点,不代表链观CHAINLOOK立场,不承担法律责任。文章及观点也不构成投资意见。请用户理性看待市场风险,以及遵守所在国家和地区的相关法律法规。
图文来源:郝天,如有侵权请联系删除。转载或引用请注明文章出处!

标签:

分享至
https://www.chainlook.cn/toutiao/1705913404.html

下一篇:

万物创造营:AI大模型与Web3如何共生?

大模型产生后,算法、算力和数据被大企业垄断,私有数据耗尽和算力短缺是主要问题。区块链可通过保护隐私、激励数据标注和协作训练解决。推理计算可在单个GPU完成,区块链可解决算力问题。微调训练可利用空闲计算资源,区块链可激励参与者共同完成。大模型需要人类专家参与微调,可通过代币激励社区参与。区块链可解决数据隐私和保密性问题,加速训练,为创业公司提供参与大模型的机会。Bittensor和Autonolas是新的区块链项目,可加速训练和保护交易隐私。Edge Client架构解决方案认为个人应拥有边缘节点,区块链可实现节点间协作。区块链从业人员应参与大模型创业,让大模型属于整个人类。

免责声明:
链观CHAINLOOK作为区块链技术应用与Web3行业研究的智库媒体,旨在为中国区块链专家、学者们提供最新的行业资讯信息与数据样本,用于区块链技术研究与创新。本站所发布的文章仅代表作者的个人观点,不代表链观CHAINLOOK官方立场,本站所发布的区块链行业研究报告与数据分析成果是通过人工智能算法对数据内容进行分析与归纳生成,不代表任何投资暗示与建议,链观CHAINLOOK不承担法律责任。

风险提示:
虚拟货币不具有法定货币等同的法律地位,参与虚拟货币投资交易存在法律风险,链观CHAINLOOK坚决反对各类代币炒作,请读者提高风险意识,理性看待区块链技术应用及市场风险。

© 链观CHAINLOOK All Rights Reserved. 京ICP备18054193号-5