zkSync
Matter Labs 的免信任擴展和隱私引擎建立在 ZK Rollup 之上。
zkSync 是以太坊的擴展和隱私引擎。其當前的功能範圍包括以太坊網絡中以太坊和 ERC20 代幣的低氣量轉移。本文檔描述了可用於與 zkSync 進行交互的 JS 庫。
zkSync 建立在 ZK Rollup 架構之上。ZK Rollup 是一種 L2 擴展解決方案,其中所有資金都由主鏈上的智能合約持有,而計算和存儲則在鏈外進行。對於每個 Rollup 區塊,主鏈合約都會生成狀態轉換零知識證明 (SNARK) 並進行驗證。此 SNARK 包括 Rollup 區塊中每筆交易的有效性證明。此外,每個區塊的公共數據更新都通過主鏈網絡在廉價的calldata中發佈。
該架構提供以下保障:
Rollup 驗證器永遠無法破壞國家或竊取資金(與側鏈不同)。 即使驗證者因爲數據可用而停止合作,用戶也可以隨時從Rollup中取回資金(與Plasma不同)。
得益於有效性證明,用戶和其他任何可信方都無需在線監控 Rollup 區塊以防止欺詐。
換句話說,ZK Rollup 嚴格繼承了底層 L1 的安全保障。