有效性證明

有效性證明是一份隨彙整批次一同貼出的密碼學證明，從數學上保證該批次的狀態轉移是正確計算出來的。樂觀彙整說的是「假設這是對的，除非有人證明它錯」，而有效性證明彙整說的是「這裡有一份證明它是對的——驗證它，你就不必信任別的任何東西」。這是 ZK 彙整（如 zkSync、StarkNet、Polygon zkEVM、Scroll、Linea）的引擎，並由簡潔證明系統（zk-SNARK 或 zk-STARK）打造而成。

其機制建立在「簡潔性」之上：即使所證明的運算可能涉及數千筆交易，證明本身依然極小且驗證起來很便宜。彙整執行該批次、產生一份「新狀態根確實由舊狀態根與這些交易正確推導而來」的證明，並把該證明提交給以太坊上一份驗證器合約。合約以毫秒級的運算量檢查它，若通過，新的狀態根便立即被視為最終的——不存在一段日後可能被回滾的窗口。要注意的是，「零知識」在此有點名不副實：其招牌好處是「簡潔的可驗證運算」；隱私（隱藏輸入）則是多數彙整並未使用的選配。

相較於詐欺證明，有效性證明帶來兩項決定性優勢：沒有長達數日的挑戰期，因此提款可在證明通過驗證後立即最終化（通常一兩個小時內，受限於產證時間），而且安全不依賴於「某個警覺的誠實挑戰者在線且未被審查」——光憑數學就能強制正確性。代價則更沉重：產生證明在運算上很昂貴，而為完整 EVM 打造證明器（zkEVM）相當困難，這也是這類系統比樂觀彙整更晚成熟的原因。資料可得性仍是必需的——有效性證明顯示狀態是正確的，但你仍需要資料才能知道那個狀態是什麼，並使用這條鏈。