一個SNARK選手，竟然宣佈向STARK看齊了？屬與 @zksync 的STARK時代這麼快就來了 @Starknet 瑟瑟發抖ing！
那麼，zkSync升級的新版本 Boojum是什麼？zkSync爲何這麼快宣佈升級Stark？snark和stark的本質區別是啥？這次升級會給L2市場產生哪些影響？
本着技術探討的角度，來快速點評探討下。1/5
簡單來說，Boojum是zkSync從SNARK向STARK證明系統過渡的版本。
意味着接下來很長時間內，zkSync的Prover證明系統會具備stark的接口能力，大部分主流需求依然會走SNARK成熟證明，個別應用尤其是zk Stack多鏈環境下的應用要使用zk證明系統，可接入boojum來實現。2/5
在此圈重點，Boojum是zkSync執行zk Stack多鏈戰略的一種必然選擇。
因爲SNARK和STARK相比，SNARK證明方式依賴遞歸驗證，適合同一系統下基於同一公鑰的zk推演證明，而STARK證明則可基於非交互式驗證方式，允許在跨鏈狀態下實現複雜地非遞歸驗證。3/5
這是SNARK和STARK兩種證明系統存在的核心差異。
相比SNARK基於數學假設的驗證方式，STARK的證明過程中包含大量冗餘信息，因此對計算算法資源要求比較高，費率也偏高。
所以，zkSync主鏈未來還會以SNARK爲主證明系統，STARK只是其多鏈戰略的一種延伸能力。4/5
這才符合zkSync輕量化高效的開發精神。
因此，zkSync做Boojum跟Starknet不在一個戰略維度，但會對其他諸如Op Stark、Arbitrum orbit以及polygon2.0帶來一定的威脅。
要知道，zkSync向STARK過渡等於承認了SNARK在技術上的短板，拿競品的殺手鐗來突破自己的天花板，這一波L2選手們的格局和野心真是一個賽一個。5/5