zkSync升级：一个SNARK选手为何倒戈STARK？

一个SNARK选手，竟然宣布向STARK看齐了？属与 @zksync 的STARK时代这么快就来了 @Starknet 瑟瑟发抖ing！

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

本着技术探讨的角度，来快速点评探讨下。

1. Boojum是zkSync从SNARK向STARK证明系统过渡的版本。这意味着zkSync的Prover证明系统将具备STARK的接口能力，但仍会使用SNARK证明系统来满足大部分主流需求。

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市场产生一定影响，但具体影响会受到市场和开发者的反应和采纳程度的影响。