---
title: "故障證明（詐欺證明）"
description: "一份以實際部署為準的樂觀式故障證明指南，涵蓋爭議主張、執行軌跡二分、單步驗證、計時器、保證金、資料可用性、提款最終性與操作核驗。"
image: "https://wiki.fcontext.com/og.png"
---

> Documentation Index
> Fetch the complete documentation index at: https://wiki.fcontext.com/llms.txt
> Use this file to discover all available pages before exploring further.

# 故障證明（詐欺證明）

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

<a id="answer"></a>

## 直接答案

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

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

<a id="mechanism"></a>

## 運作方式

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

<a id="example"></a>

## 計算範例

- **軌跡二分。** 一條教學軌跡包含 `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`，前提是沒有暫停、列入黑名單、重新證明或鏈重組。

<a id="risks"></a>

## 風險

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

<a id="misconceptions"></a>

## 常見誤解

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

<a id="related"></a>

## 相關主題

- [資料可用性](/zh-tw/crypto/data-availability/)
- [樂觀彙總](/zh-tw/crypto/optimistic-rollup/)
- [有效性證明](/zh-tw/crypto/validity-proof/)

<a id="sources"></a>

## 資料來源

- [Optimistic Rollups](https://ethereum.org/developers/docs/scaling/optimistic-rollups/) - Ethereum.org（查閱日期：2026-08-12）
- [Fault Proof](https://specs.optimism.io/fault-proof/index.html) - OP Stack Specification（查閱日期：2026-08-12）
- [Fault Dispute Game](https://specs.optimism.io/fault-proof/stage-one/fault-dispute-game.html) - OP Stack Specification（查閱日期：2026-08-12）
- [Honest Challenger (Fault Dispute Game)](https://specs.optimism.io/fault-proof/stage-one/honest-challenger-fdg.html) - OP Stack Specification（查閱日期：2026-08-12）
- [Bridge Integration](https://specs.optimism.io/fault-proof/stage-one/bridge-integration.html) - OP Stack Specification（查閱日期：2026-08-12）
- [Optimism Portal](https://specs.optimism.io/fault-proof/stage-one/optimism-portal.html) - OP Stack Specification（查閱日期：2026-08-12）
- [Data availability](https://ethereum.org/developers/docs/data-availability/) - Ethereum.org（查閱日期：2026-08-12）
- [Arbitrum Nitro: A Second-Generation Optimistic Rollup](https://docs.arbitrum.io/nitro-whitepaper.pdf) - Offchain Labs（查閱日期：2026-08-12）

Source: https://wiki.fcontext.com/zh-tw/crypto/fraud-proof/index.mdx