一個SNARK選手竟然宣布向STARK看齊了？

2023-07-19 10:58 金色財經

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