zkSync

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