长推：从技术角度探讨zkSync新升级版本Boojum

注：原文来自@tmel0211发布长推。

一个SNARK选手，竟然宣布向STARK看齐了？

没想到 @zksync 的STARK升级来得这么猝不及防， @Starknet 瑟瑟发抖ing！

那么，zkSync新升级版本 Boojum是什么？zkSync为何这么快宣布升级STARK？SNARK和STARK的本质区别是啥？这次升级会给L2市场产生哪些影响？

从技术探讨的角度，我试着快评下。

关于【长推：从技术角度探讨zkSync新升级版本Boojum】的延伸阅读

• Coin Metrics：分析以太坊 Blob 与 EIP-4844 的影响

  自3月13日起，多个Layer-2解决方案采用blob交易，超过950,000个blob已发布到以太坊，降低了操作成本。EIP-4844升级提高了L2的可伸缩性和降低交易成本，每天约有10,000个blob发布。blob被设计为18天后过期，防止永久存储膨胀。随着rollups使用blob发布大量数据，blob空间利用率将增加。blob费用根据需求动态调整，4月份因铭文blob激增而增加，但随后又降低。Blob的采用是EIP-4844降低数据存储开销和增强L2可伸缩性的积极信号。然而，跨资产、流动性和用户体验碎片化等挑战仍需解决。随着更多L2利用blob，拥塞可能会再次出现。

• Stacks Nakamoto 升级，BTC生态的文艺复兴

  Stacks是一个跨链共识区块链，旨在将智能合约功能移植到比特币网络中。其共识机制为转移证明，通过燃烧比特币来参与挖矿。Stacks 2.0主网已推出，获得美国证券交易委员会批准的代币销售。Stacks 3.0升级解决了安全性、性能和可扩展性等问题，引入签名者角色，提高链的可扩展性。Nakamoto升级解决了MEV问题，提高了挖矿过程的公平性和稳定性。升级将在4月22日开始，提高Stacks区块链的透明度和信任度。

简单来说，Boojum是zkSync从SNARK向STARK证明系统过渡的版本。 意味着接下来很长时间内，zkSync的Prover证明系统会具备STARK的接口能力，大部分主流需求依然会走SNARK的成熟证明管道，个别应用尤其是未来ZK Stack多链环境下的应用要使用zk证明系统，可接入boojum来实现。

在此圈重点，Boojum是zkSync执行ZK Stack多链战略的一种必然选择。 因为SNARK和STARK相比，SNARK证明方式依赖递归验证，适合同一系统下基于同一公钥的zk推演证明，而STARK证明则可基于非交互式验证方式，允许在跨链状态下实现复杂地非递归验证。 显然，ZK Stack描绘的多链蓝图得基于STARK。

这是SNARK和STARK两种证明系统存在的核心差异。 相比SNARK基于数学假设的验证方式，STARK的证明过程中包含大量冗余信息，因此对计算算法资源要求比较高，当然，相应地费率也偏高。 所以，zkSync主链未来还会以SNARK为主证明系统（Gas 便宜），STARK只是其多链战略的一种延伸能力。

这才符合zkSync轻量化的开发精神。 因此，zkSync做Boojum跟Starknet不在一个战略维度，但会对其他诸如Op Stack、Arbitrum orbit以及polygon2.0带来一定的威胁。 要知道，zkSync向STARK过渡等于承认SNARK技术上的短板，拿竞品杀手锏来突破自己的天花板，这一波L2选手们的格局和野心真是一个赛一个。

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

标签：Layer 2zkSync