ARK:zkSync升級：一個SNARK選手為何倒戈STARK？

一個SNARK選手，竟然宣布向STARK看齊了？屬與 @zksync 的STARK時代這么快就來了 @Starknet 瑟瑟發抖ing！

那么，zkSync升級的新版本 Boojum是什么？zkSync為何這么快宣布升級Stark？snark和stark的本質區別是啥？這次升級會給L2市場產生哪些影響？

zkSync Era網絡用戶地址數量突破100萬個:6月27日消息，據 Dune Analytics 數據顯示，zkSync Era 網絡用戶地址（指將資金轉移至 zkSync Era 網絡地址）數量已突破 100 萬個。

截至發稿時，該網絡總鎖倉量為 6.39 億美元。[2023/6/27 22:03:28]

本著技術探討的角度，來快速點評探討下。

Nansen新增支持zkSync Era網絡:金色財經報道，區塊鏈數據分析平臺Nansen新增支持zkSync Era網絡，并將添加zkSync Era上的SyncSwap、Mute和SpaceFi等協議。[2023/4/27 14:29:57]

1. Boojum是zkSync從SNARK向STARK證明系統過渡的版本。這意味著zkSync的Prover證明系統將具備STARK的接口能力，但仍會使用SNARK證明系統來滿足大部分主流需求。

Matter Labs 將 Uniswap V2 智能合約和前端遷移至 zkSync 2.0 測試網:10月13日消息，Matter Labs 宣布將 Uniswap V2 智能合約和前端遷移至功能完備的 zkSync 2.0 測試網上，該端口名為 UniSync，為在 zkSync 2.0 上第一個遷移的 Solidity DApp。另外，Matter Labs 表示，UniSync 不隸屬于 Uniswap Labs，將在即將推出的 zkSync 2.0 主網啟動 Uniswap 實例。[2021/10/13 20:25:02]

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

鏈上觀

個人專欄

閱讀更多

金色財經

金色薦讀

Block unicorn

區塊鏈騎士

金色財經 善歐巴

Foresight News

深潮TechFlow

Tags：ARKSYNSYNCZKSStarkNetSyntropyVsyncZKSwap

火必交易所