跳到正文
Financial Context Wiki

故障證明（詐欺證明）

一份以實際部署為準的樂觀式故障證明指南，涵蓋爭議主張、執行軌跡二分、單步驗證、計時器、保證金、資料可用性、提款最終性與操作核驗。

更新於

僅供教育參考，不構成投資或安全建議。故障證明的安全性取決於確切部署、資料可用性、挑戰者權限與持續運作能力、計時器、保證金、驗證器軟體、治理、結算最終性及提款合約。

直接答案

故障證明通常也稱詐欺證明，是質疑有關運算或狀態之樂觀主張的一套協定程序。主張方不會在主張獲接受前證明每次轉換；符合資格的挑戰者可在規定計時器內提出衝突軌跡，結算合約再依指定驗證器裁決分歧。許多互動式設計會反覆縮小一條長軌跡，直到只剩一個有爭議的指令，並在鏈上執行這個基本情形。

名稱本身不能證明已部署系統無須許可、持續運作或安全。安全性要求確切的衍生資料可用，至少一名正確挑戰者能重建主張並及時行動，結算鏈存取和 Gas 充足，證明程式與合約正確，且治理無法繞過結果。通過爭議賽局的主張可依該部署規則授權提款；但這不會追溯證明每筆 L2 交易、前端陳述或經濟結果均正確。

1
排序

排序器排列 L2 交易並發布交易資料或承諾。

運作方式

  1. 鎖定部署：L1 與 L2 鏈 ID、彙總協定和故障證明版本、區塊雜湊值、工廠、入口或跨鏈橋、證明程式、虛擬機、賽局類型、實作與管理者位址、許可模型、保證金、最大深度、計時器、成熟延遲、暫停狀態和最終性政策。fraud proof 這個標籤並不是跨彙總協定的統一規範。
  2. 從通過驗證的輸入重建主張。記錄錨定狀態、L1 鏈頭、有爭議的 L2 區塊或輸出根、批次和 blob 資料、鏈與彙總協定設定、前狀態、提款根及確切衍生規則。僅有狀態根不足以重現狀態轉換；資料不可用也可能使原本開放的挑戰路徑失效。
  3. 驗證賽局已建立，且能影響目標物件。檢查根主張、主張方、建立區塊與時間、賽局類型、受認可或黑名單狀態、保證金、挑戰者資格，以及入口合約實際採用的接受規則。區分待定主張、賽局結果和可供提款的輸出。
  4. 使用獨立節點和故障證明實作重新執行。把誠實軌跡與每項爭議主張比較，並保留原像、狀態見證和用戶端版本。在互動式賽局中，對正確區間發動攻擊或防守，直到最大深度鎖定單一指令；再把基本情形見證提交給鏈上虛擬機驗證器。
  5. 追蹤每支隊伍的計時器和每筆交易。記錄剩餘時間、延長時間、L1 納入與鏈重組風險、呼叫資料、Gas、替代交易、保證金曝險、平行主張及必須回應的一方。實際經過的挑戰時間不一定只是一個固定倒數；誠實一方也可能因錯過行動或交易遭審查而落敗。
  6. 把裁決對應至協定後果。確定哪些主張被反駁、哪支隊伍獲勝、保證金與成本如何分配、無效輸出是否排除，以及依賴該輸出的其他輸出、證明或提款是否必須重建。遭沒收的保證金是一種誘因，並非對所有潛在跨鏈橋損失的賠償。
  7. 分開核對最終性和提款。驗證賽局裁決、規定的證明成熟期和裁決後延遲、受認可賽局類型、黑名單與暫停檢查、提款納入證明、最終化收據及 L1 最終性。歸檔資料與證據、監控升級，並演練挑戰者、強制納入、重新證明和緊急退出程序。

計算範例

  • 軌跡二分。 一條教學軌跡包含 1,048,576 = 2^20 instructions。若每輪在無人異議時把爭議區間減半，則 20 bisections 可鎖定一個指令，因為 2^20 / 2^20 = 1。真實賽局可能分別拆分輸出與執行軌跡、分支成有向無環圖或要求額外行動，因此這是複雜度範例，不是某項部署的固定輪數。
  • 獨立賽局計時器。 假設賽局給每支隊伍 84 hours。防守方使用 30 hours，挑戰者使用 22 hours，兩者分別剩下 54 hours 與 62 hours。實際經過時間不能直接視為 84 hours：只有規則指定一方的計時器會運轉，且協定規定的延長、納入延遲和平行主張都可能改變截止時間。
  • 保證金與 Gas 帳本。 依一項明確的假設規則，無效根附帶 2 ETH 保證金。獲勝挑戰者繳納 0.5 ETH，收回這筆保證金並取得 1.4 ETH 獎勵，同時花費 0.08 ETH L1 Gas；敗方保證金中的 0.6 ETH 進入資金庫。挑戰者淨收益為 1.4 - 0.08 = 1.32 ETH；退回的 0.5 ETH 是本金而非利潤，且 1.4 + 0.6 = 2 ETH。實際保證金受領人與搭便車行為取決於具體合約。
  • 提款計時器。 假設提款於 2026-08-01 12:00 UTC 獲得證明，設定的證明成熟延遲為 7 days，相關賽局於 2026-08-06 18:00 UTC 裁決，裁決後緩衝期為 1 day。兩道門檻分別於 2026-08-08 12:00 UTC 和 2026-08-07 18:00 UTC 結束；同時滿足兩者的最早時間為 2026-08-08 12:00 UTC。若最終性政策另要求 20 minutes，則經濟上完成的時間為 2026-08-08 12:20 UTC，前提是沒有暫停、列入黑名單、重新證明或鏈重組。

風險

  • 稽核錯誤的 L1、L2、部署、賽局類型或合約版本。
  • 從過時、非標準或錯誤的錨點與 L1 鏈頭重建。
  • 缺少批次、blob、原像、狀態見證或設定資料。
  • 誤以為承諾或可用的證明輸入代表所有衍生資料均可用。
  • 挑戰者軟體因用戶端缺陷而衍生出不同的誠實軌跡。
  • 故障證明程式、虛擬機、原像預言機或鏈上單步驗證器有缺陷。
  • 受許可的提議方、挑戰者或賽局建立路徑無法使用或遭控制。
  • 沒有誠實監控者在相關截止時間前發現並開啟爭議。
  • 審查、L1 壅塞、鏈重組或 Gas 飆升阻止及時行動。
  • 誤讀棋鐘、延長時間、最大深度或交易納入時間。
  • 攻擊或防守錯誤的主張、軌跡區間、位置或指令。
  • 保證金要求或營運資金使無須許可的參與實際上不可行。
  • 保證金分配、搭便車者或誘因行為偏離安全假設。
  • 多個賽局、重複主張或衝突實作產生非預期裁決。
  • 治理變更受認可賽局類型、驗證器、門檻或延遲。
  • 守護者的暫停或黑名單權限阻止原本有效的提款。
  • 把賽局裁決視為立即提款或結算最終性。
  • 根據已失效的賽局證明提款，卻未能重新證明。
  • 假設排除無效輸出會修復每個下游應用或跨鏈橋影響。
  • 把一個樂觀彙總協定的證明和最終性模型外推至另一系統。

常見誤解

  • 無人挑戰的樂觀主張已獲得密碼學證明。
  • 任何人都能在無須許可、資金或基礎設施的情況下挑戰每個已部署系統。
  • 即使衍生資料不可用，故障證明仍能運作。
  • 贏得爭議會立刻最終化所有相依提款並賠償全部損失。
  • 七天挑戰期間、二元賽局和一名誠實觀察者是所有彙總協定的固定常數。

相關主題

資料來源

導覽

搜尋知識庫...