詐欺證明

詐欺證明是一種機制，讓任何人都能向底層鏈證明「某個樂觀彙整發布了不正確的狀態轉移」，從而駁回那個錯誤結果。它翻轉了常見的舉證責任：系統不要求彙整去證明每一批次都正確（那是 ZK 的路線），而是預設其正確，僅在挑戰者展示出某個具體錯誤時才動作。正是這一點，讓「樂觀」式的安全成為真實，而非單純的信任——一個握有已發布資料的誠實守望者，就能推翻一項詐欺主張。

天真的做法是讓詐欺證明在以太坊上重新執行整個有爭議的批次，但那昂貴得離譜——反而抵消了把運算搬到鏈下的意義。主流解法是互動式二分（或稱爭議）博弈。挑戰者與辯護者被迫反覆地把有爭議的執行軌跡對半切：「我們同意第 N 步的狀態、卻在第 2N 步分歧——那麼第 1.5N 步的狀態是什麼？」每一輪都收窄分歧，直到孤立出單獨一條指令。以太坊接著只在一個最精簡的驗證器裡執行那一步、比對結果並做出裁決。Arbitrum 率先採用多輪互動式證明；Optimism 的 Cannon 與 OP Stack 故障證明系統則跑一個 MIPS 模擬的單步檢查。

三個條件讓詐欺證明真正有效。交易資料必須可得，挑戰者才有可能算出正確的軌跡；挑戰期必須夠長，足以在提款最終化之前偵測並提交；而挑戰的權利必須是無須許可的，因為把它限縮成白名單就重新引入了信任。因此一種微妙的攻擊是：用垃圾訊息或審查把挑戰者擠出窗口，或扣留資料使任何誠實證明都無法建構——這正是為何資料可得性與抗審查性，和詐欺證明的安全密不可分。