推荐平台 链接 平台介绍
币安网 注册链接 币安是全球领先的区块链生态系统，推出了一系列产品，其中包括最大的加密货币交易平台。我们的使命是在未来成为全球性加密货币基础架构供应商。
欧易OKX 注册链接 欧易是全球著名的数字资产交易平台之一，主要面向全球用户提供比特币、莱特币、以太币等数字资产的币币和衍生品交易服务。
HTX火币 注册链接 火币全球专业站，是火币集团旗下服务于全球专业交易用户的创新数字资产国际站，致力于发现优质的创新数字资产投资机会。

作者：Haotian，区块链研究者；来源：作者推特@tmel0211

一个SNARK选手，竟然宣布向STARK看齐了？ 没想到zksync的STARK升级来得这么猝不及防，Starknet瑟瑟发抖ing！ 那么，zkSync新升级版本 Boojum是什么？zkSync为何这么快宣布升级STARK？SNARK和STARK的本质区别是啥？这次升级会给L2市场产生哪些影响？ 从技术探讨的角度，我试着快评下。

简单来说，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选手们的格局和野心真是一个赛一个。

推荐平台 链接 平台介绍
Gate芝麻开门 平台介绍 Gate.io芝麻开门创立于2013年，是全球真实交易量TOP10的加密货币交易平台，向全球数千万用户提供安全可靠、真实透明的数字资产交易服务。
Bitget 注册链接 Bitget的背后是一群区块链技术的早期接受者，也是区块链未来发展的信仰者，一直致力于提供安全、一站式的交易解决方案，帮助用户更聪明地交易。
Bybit 注册链接 Bybit通过数字资产与传统金融的结合，引领数字资产的生态发展。提供一流的流动性，致力于打造业内最安全、公平、高效及人性化的交易服务平台。
派网 注册链接 派网提供多样化的量化交易机器人，用户可依照自身交易需求和策略选择最适合的机器人。 同时派网也提供合约交易与合约网格机器人，给予更方便的合约交易体验。