作者：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選手們的格局和野心真是一個賽一個。
