一文了解zkSync和StarkNet擴容方案：證明機制、鏈上數據和生態發展

撰寫：Ethereum Daily

編譯：深潮 TechFlow

零知識證明技術是指一方（證明者）可以向另一方（驗證者）發送某一聲明，另一方可以在不獲知信息的前提下，驗證該聲明是真實的。那麼 zksync 與 StarkNet 這兩個頂級 ZK rollup 之間的區別是什麼呢？

zkSync 和 StarkNet 是使用 ZK rollup 技術擴展以太坊網絡的兩個最頂級的第 2 層 (L2) 解決方案。

首先，讓我們快速總結一下 zkSync 和 StarkNet。

• MatterLabs 於 2020 年 6 月將 zkSync V1 作為 SNARK 證明 rollup 協議發佈到以太坊主網。

• 2022 年 10 月，MatterLabs 啟動了名為“Baby Alpha”的 zkSync 2.0 主網的第一階段。

• 2021 年 11 月，StarkWare Ltd. 發佈了 StarkNet，這是以太坊測試網上的 STARK 證明 rollup 協議。該協議在當月晚些時候以 Alpha 版本 0.4.0 發佈到主網。

zkSync 和 StarkNet 的一個關鍵區別是，它們利用不同的證明協議，分別為：

• SNARK (簡潔的非交互式知識證明）；
• STARKs (可擴展的透明知識證明)。

SNARK 和 STARKs 證明之間的根本區別：

• 安裝程序；
• 可擴展性；
• 抗量子計算機攻擊；

ZK-SNARK 和 ZK-STARKs 之間的區別：

• 事實證明，ZK-STARKs 比 ZK-SNARKs 快 10 倍。

• 然而，ZK-STARKs 目前的一個缺點是技術還不是很成熟，這限制了它的通用性。

StarkEx 與 StarkNet 相比，StarkEx 不是一個 ZK-rollup，而是一個可定製的 Layer-2 SaaS（軟件即服務），它使用 STARK 證明來為應用程序提供大規模擴展。

幾個關鍵點：

• StarkNet 是一個通用的 rollup 鏈；

• StarkEx 是一個專門為應用程序製作的工具套件；

• StarkNet 可以擴展 Ethereum；

• StarkEx 可以擴展去中心化交易所；

• StarkNet 允許 DApps 之間的互操作性，但 StarkEx 不允許；

瞭解它們的不同之處很重要，因為使用 StarkEx 的 DApps 通常是 StarkNet 生態系統的一部分，但像 TVL 這樣的指標是完全不同的。

zkSync 生態系統中的一些鏈上亮眼數據：

• 根據 L2beat，zkSync 的 TVL 為 5297 萬美元，儘管沒有代幣；

• 根據 Orbiter Finance，zkSync 是交易量排名第三的 L2；

• 超過 300 個項目加入 zkSync 生態系統；

• 總融資額：4.58 億美元；

StarkNet 生態系統中的一些鏈上亮眼數據：

• 根據 L2beat 的說法，StarkNet 儘管沒有代幣，但有 461 萬美元的 TVL；

• 超過 200 個項目加入了 StarkNet 生態系統；

• 總融資額：2.73 億美元，由 StarkWare 提供；

原文鏈接