一个SNARK选手，竟然宣布向STARK看齐了？属与 @zksync 的STARK时代这么快就来了 @Starknet 瑟瑟发抖ing！
那么，zkSync升级的新版本 Boojum是什么？zkSync为何这么快宣布升级Stark？snark和stark的本质区别是啥？这次升级会给L2市场产生哪些影响？
Matter Labs已解决Open Zeppelin对zkSync审计中的40处安全问题:1月27日消息，zkSync开发公司Matter Labs已解决安全机构Open Zeppelin在对zkSync的安全审计中发现的40处问题，包括两个关键问题和两个中等严重性问题，此次审计共发现45处问题。
Open Zeppelin和Matter Labs已同意继续合作，以进一步增强zkSync的长期安全性。（TheBlock）[2023/1/28 11:32:53]
本着技术探讨的角度，来快速点评探讨下。
zkSync宣布将会发行代币，具体时间未透露:5月8日消息，据官方消息，基于ZKRollup的以太坊二层扩容解决方案zkSync宣布将会发行代币，具体时间尚未透露，但团队表示重点将放在以太坊的可扩展性。[2022/5/9 2:59:21]
1. Boojum是zkSync从SNARK向STARK证明系统过渡的版本。这意味着zkSync的Prover证明系统将具备STARK的接口能力，但仍会使用SNARK证明系统来满足大部分主流需求。
Huobi 将ZKS、MASK转入创新区:据官方消息，Huobi Global 现已将 ZKS (ZKSwap) 和 MASK (Mask Network) 从“全球观察区”转入“创新区”，同时解除50000 USDT的持仓限制。[2021/4/2 19:41:36]
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。