zksync 與 StarkNet 這兩個頂級 ZK rollup 之間的區別是什麼呢？
零知識證明技術是指一方（證明者）可以向另一方（驗證者）發送某一聲明，另一方可以在不獲知信息的前提下，驗證該聲明是真實的。那麼 zksync 與 StarkNet 這兩個頂級 ZK rollup 之間的區別是什麼呢？
一文了解 zkSync 和 StarkNet 擴容方案：證明機制、鏈上數據和生態發展
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 目前的一個缺點是技術還不是很成熟，這限制了它的通用性。
一文了解 zkSync 和 StarkNet 擴容方案：證明機制、鏈上數據和生態發展
StarkEx 與 StarkNet 相比，StarkEx 不是一個 ZK-rollup，而是一個可定制的 Layer-2 SaaS（軟件即服務），它使用 STARK 證明來為應用程序提供大規模擴展。
一文了解 zkSync 和 StarkNet 擴容方案：證明機制、鏈上數據和生態發展
幾個關鍵點：
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 提供；
一文了解 zkSync 和 StarkNet 擴容方案：證明機制、鏈上數據和生態發展