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