一个SNARK选手，竟然宣布向STARK看齐了？没想到zksync的STARK升级来得这么猝不及防，Starknet瑟瑟发抖ing！那么，zkSync新升级版本Boojum是什么？zkSync为何这么快宣布升级STARK？
SNARK和STARK的本质区别是啥？这次升级会给L2市场产生哪些影响？从技术探讨的角度，我试着快评下。简单来说，Boojum是zkSync从SNARK向STARK证明系统过渡的版本。
意味着接下来很长时间内，zkSync的Prover证明系统会具备STARK的接口能力，大部分主流需求依然会走SNARK的成熟证明管道，个别应用尤其是未来ZKStack多链环境下的应用要使用ZK证明系统，可接入boojum来实现。在此圈重点，Boojum是zkSync执行ZKStack多链战略的一种必然选择。因为SNARK和STARK相比，SNARK证明方式依赖递归验证，适合同一系统下基于同一公钥的ZK推演证明，而STARK证明则可基于非交互式验证方式，允许在跨链状态下实现复杂地非递归验证。显然，ZKStack描绘的多链蓝图得基于STARK。
这是SNARK和STARK两种证明系统存在的核心差异。相比SNARK基于数学假设的验证方式，STARK的证明过程中包含大量冗余信息，因此对计算算法资源要求比较高，当然，相应地费率也偏高。所以，zkSync主链未来还会以SNARK为主证明系统（Gas便宜），STARK只是其多链战略的一种延伸能力。这才符合zkSync轻量化的开发精神。因此，zkSync做Boojum跟Starknet不在一个战略维度，但会对其他诸如OpStack、Arbitrumorbit以及polygon2.0带来一定的威胁。要知道，zkSync向STARK过渡等于承认SNARK技术上的短板，拿竞品杀手锏来突破自己的天花板，这一波L2选手们的格局和野心真是一个赛一个。
