zk-Rollup 是一種擴容系統，在基礎區塊鏈之外執行交易、彙整結果，並提交密碼學有效性證明，由基礎層驗證。驗證器檢查提出的狀態轉換是否符合 Rollup 編入的規則。將發布及驗證成本分攤到一批交易，可降低單筆交易成本。
證明與資料各有作用
證明者產生證據，連結先前狀態、已處理操作與提出的新狀態。結算合約先驗證證據，再接受更新。使用者可能先收到營運者的確認，但這與基礎鏈的最終結算不同。
Rollup 也會在基礎層公布足以重建狀態的資料，例如使用以太坊 calldata 或 blob。Validium 則將相應資料放在該層之外，因此引入不同的可用性假設。有效性證明本身無法補上缺失的狀態資料。
名稱不代表哪些保證
「ZK」不表示每項交易細節都受到隱私保護。許多系統主要利用證明技術驗證運算。
這種模型本身沒有樂觀式詐欺挑戰期，但產生證明、發布與結算仍可能延遲提款。證明電路錯誤、合約漏洞、升級控制權及營運者中斷仍是相關風險。應用程式相容性與交易成本也依實作方式而異。