一个SNARK选手，竟然宣布向STARK看齐了？属与 @zksync 的STARK时代这么快就来了 @Starknet 瑟瑟发抖ing！
那么，zkSync升级的新版本 Boojum是什么？zkSync为何这么快宣布升级Stark？snark和stark的本质区别是啥？这次升级会给L2市场产生哪些影响？
Matter Labs：将在解决zkSync推特账户泄漏问题后发布详细报告:4月14日消息，针对zkSync官方推特被盗一事，Matter Labs发推补充表示，有强有力的证据证明zkSync的推特帐号出现了泄露，但这与网络系统无关，将在解决问题后发布详细的报告。[2023/4/14 14:04:57]
本着技术探讨的角度，来快速点评探讨下。
以太坊二层网络zkSync已在Go?rli测试网上提供v1新开发环境:8月3日消息，以太坊二层网络zkSync宣布已在Go?rli测试网上提供了v1的新开发环境。由于合并导致的潜在网络稳定性问题，我们已从Ropsten和Rinkeby迁移至Go?rli和Sepolia。zkSync表示，如果开发人员在迁移时遇到问题，可在Discord上向官方发送消息。[2022/8/3 2:55:00]
1. Boojum是zkSync从SNARK向STARK证明系统过渡的版本。这意味着zkSync的Prover证明系统将具备STARK的接口能力，但仍会使用SNARK证明系统来满足大部分主流需求。
zkSync 2.0公共测试网正式上线:2月22日消息，据zkSync官方博客，zkSync 2.0 公共测试网正式上线，这也是以太坊测试网上第一个兼容 EVM 的 ZK Rollup。据介绍，它允许开发人员 使用以太坊的原生编程语言 Solidity 在低费用、高度可扩展的第 2 层环境中构建和部署去中心化应用程序。它将能够直接继承以太坊一流的安全性、去中心化和网络效应，同时为应用程序开发人员提供扩展设计空间的新功能。[2022/2/23 10:09:17]
2. Boojum是zkSync执行zk Stack多链战略的一种选择。相比SNARK，STARK证明方式具有非交互式验证的能力，适用于跨链环境下的复杂非递归验证。
3. SNARK和STARK的核心差异在于验证方式。SNARK基于数学假设，适用于同一系统下基于同一公钥的zk推演证明；而STARK的证明过程包含冗余信息，对计算资源要求较高。
4. zkSync主链仍将以SNARK为主证明系统，STARK只是其多链战略的一种扩展能力。这与Starknet的战略维度不同，但对其他L2解决方案如Op Stark、Arbitrum Orbit和Polygon 2.0等可能带来一定竞争压力。
总的来说，zkSync通过Boojum的升级选择向STARK证明系统过渡，这表明他们认识到SNARK在某些方面存在技术上的限制，并借助竞争对手的优势来突破自身的技术天花板。这次升级可能会对L2市场产生一定影响，但具体影响会受到市场和开发者的反应和采纳程度的影响。
链上观
个人专栏
阅读更多
金色财经
金色荐读
Block unicorn
区块链骑士
金色财经 善欧巴
Foresight News
深潮TechFlow
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。