zksync的STARK升级出乎意料，让Starknet感到震惊！那么，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市场的选手们的格局和野心真是一个比一个大。