概述
ZK 匯總使用零知識證明驗證鏈下交易，提供快速最終性與強安全性保證。與依賴挑戰期的樂觀匯總不同，ZK 匯總會為每一批交易產生密碼學有效性證明，證明其執行正確，並由主鏈驗證。zkSync 與 Starknet 是領先的 ZK 匯總。
運作原理
排序器收集交易、執行並產生簡潔的證明（通常是 STARK 或 SNARK），證明產生的狀態轉換正確。證明與壓縮的狀態資料發布到以太坊，由驗證者合約檢查。由於證明在數學上證明正確性，誠實營運者無法竊取資金，且證明結算後即可提款，無需漫長的欺詐證明視窗。
為何重要
ZK 匯總結合了鏈下執行的吞吐量與即時、最小信任的結算。然而其證明系統的生成計算成本高昂，提高了營運成本並歷史性地推高了單使用者費用。隨著證明技術改進，ZK 匯總日益被視為在保持安全的同時擴容的終局方案。
相關概念
ZK 匯總是樂觀匯總的有效性證明對應物，以零知識證明為其密碼學核心。它們屬於匯總家族的 L2 擴容範疇，並透過橋接進行資產移動。