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市場產生一定影響，但具體影響會受到市場和開發者的反應和採納程度的影響。