zkSync

zkSync 是 Matter Labs 開發的第 2 層擴展解決方案，通過利用最新一代簡潔的零知識證明來保留底層區塊鏈的安全屬性。 zkSync 中的所有資金都由主鏈上的智能合約持有，而計算和存儲則在鏈下執行。對於每個 Rollup 塊，都會生成狀態轉換零知識證明 (SNARK)，並由主鏈合約進行驗證。這個 SNARK 包括 Rollup 塊中每筆交易的有效性證明。