詐欺證明（Fraud Proof）

什麼是詐欺證明？

詐欺證明是一種區塊鏈機制，用來證明某項提議中的狀態轉換、交易結果、提領或其他鏈下運算有誤。

詐欺證明最常與樂觀 Rollup 有關。樂觀 Rollup 會在基礎區塊鏈之外處理加密貨幣交易，並將壓縮資料與狀態承諾發布回基礎鏈。

樂觀系統會暫時接受提交的結果，而不是要求每批交易都附上加密有效性證明。

在指定的挑戰期間，獨立參與者可提出證據，證明系統規則未獲遵循，藉此對錯誤結果提出爭議。

若挑戰成功，無效主張會遭駁回，正確狀態仍具效力，而不誠實或出錯的參與者可能損失財務保證金。

Ethereum 樂觀 Rollup 文件說明，這類系統會假設鏈下交易有效，除非有人透過詐欺證明流程提出挑戰。

詐欺證明不一定能證明某人有詐欺意圖，因為無效結果也可能來自軟體錯誤、設定錯誤、硬體問題或意外計算失誤。

因此，許多現代區塊鏈開發者改用更廣泛的「故障證明」（fault proof）一詞。

詐欺證明為何對加密貨幣很重要？

詐欺證明讓區塊鏈系統能將高成本運算移出基礎層，同時不必完全信任單一中心化營運方。

基礎區塊鏈不必在每筆 Rollup 交易發生時都執行該交易。

它只須儲存足夠資訊，讓人能重建 Rollup 狀態，並在有人聲稱提交了無效結果時處理爭議。

這種樂觀式設計可降低交易成本，因為只有參與者意見不一致時，才主要需要進行高成本的鏈上驗證。

詐欺證明也有助於使用者自行託管資產，讓使用者能挑戰無效提領或狀態主張，而不必只依賴營運 Rollup 的組織。

此機制讓基礎區塊鏈成為依據智能合約規則檢查證據的中立仲裁者。

只要至少有一位誠實且具備能力的參與者監控鏈上狀況，並能及時提出挑戰，設計完善的系統就可能維持安全。

這種安全模型通常稱為「單一誠實參與者假設」。

詐欺證明如何運作？

Rollup 排序器會收集使用者交易、排列順序、執行交易，並建立 Rollup 狀態的新版本。

接著，Rollup 會將交易資料或資料承諾，以及對結果狀態的主張，發布至其結算區塊鏈。

依協議不同，這項主張可能稱為斷言、輸出根、狀態根、狀態承諾或檢查點。

結算合約不會立即將該主張視為永久定案。

相反地，合約會啟動挑戰期間，讓驗證者或挑戰者獨立重現運算。

誠實的挑戰者會依據公布的交易，按照 Rollup 官方規則執行運算，並將結果與提議結果比較。

若兩者一致，就不需要詐欺證明；挑戰期間結束後，該主張即可定案。

若結果不同，挑戰者會透過結算合約啟動爭議程序。

爭議程序會逐步縮小分歧範圍，直到結算區塊鏈能驗證造成結果衝突的確切運算步驟。

接著，合約會判斷哪項主張符合協議規則，並駁回另一項主張。

簡單的詐欺證明範例

假設 Rollup 初始狀態中，Alice 持有 10 枚代幣，Bob 持有 2 枚。

一筆有效交易將 3 枚代幣從 Alice 轉給 Bob。

正確的結果應是 Alice 持有 7 枚代幣，Bob 持有 5 枚。

假設 Rollup 營運方錯誤提交狀態承諾，顯示 Alice 持有 6 枚代幣，Bob 持有 6 枚。

獨立驗證者重新執行該筆交易，並計算出正確餘額。

由於提交結果無法從先前狀態及有效交易推導而來，驗證者遂對營運方的狀態承諾提出挑戰。

詐欺證明會指出有爭議的執行步驟，並提供結算合約驗證轉帳規則所需的資訊。

合約確認實際上只有 3 枚代幣應轉出，並駁回錯誤的狀態承諾。

此範例經過簡化，但真實的詐欺證明系統會將相同原則套用於複雜的智能合約執行、Gas 計算、儲存更新及加密承諾。

什麼是樂觀 Rollup？

樂觀 Rollup 是一種第二層擴充系統，會在基礎區塊鏈之外執行加密貨幣交易，同時使用該區塊鏈處理資料可用性、結算及爭議解決。

「樂觀」表示系統預設交易批次有效，而不會立即附上證明，確認每項運算均正確。

排序器回報交易處理結果後，使用者通常可在 Rollup 內快速取得交易確認。

但從 Rollup 提領回結算層可能需要較長等待時間，因為相關狀態主張必須通過挑戰期間。

樂觀 Rollup 與一般側鏈不同，因為其安全性設計主要依賴結算區塊鏈，而非只依賴獨立驗證者群組。

Ethereum 擴充文件區分樂觀 Rollup 與零知識 Rollup：前者透過詐欺證明執行有爭議的運算，後者則提交有效性證明。

什麼是狀態根？

狀態根是一種精簡的加密承諾，代表區塊鏈或 Rollup 在特定時間點的完整狀態。

狀態可能包含帳戶餘額、智能合約程式碼、儲存值、nonce，以及處理未來交易所需的其他資訊。

狀態根遠小於底層完整資料庫。

即使只變更一項相關數值，通常也會改變產生的承諾。

Rollup 提議者可以發布狀態根，而不必將完整狀態直接放入結算合約。

其他參與者可利用可取得的交易資料重建狀態，並檢查是否得到相同的根值。

詐欺證明爭議通常起因於雙方根據應相同的起始狀態與交易順序，產生不同的根值。

什麼是狀態轉換？

狀態轉換是透過執行一筆或多筆有效交易，將舊區塊鏈狀態轉換為新狀態的過程。

簡化公式為

。

狀態轉換函數包含管理簽章、餘額、Gas、合約執行、儲存及交易排序的協議規則。

所有使用相同輸入與協議版本的誠實參與者，都應計算出相同結果。

詐欺證明會證明某項提議的新狀態，並非由舊狀態與已發布輸入資料正確推導而來。

確定性執行非常重要，因為若誠實電腦能對相同輸入資料產生不同結果，就無法可靠地解決爭議。

什麼是挑戰期間？

挑戰期間是樂觀式結果在結算層正式定案前，可被提出爭議的時間。

許多樂觀 Rollup 設計採用接近一週的期間，但實際時間依協議而定，也可能透過治理或升級變更。

等待期間讓獨立驗證者有時間下載資料、重現執行結果、偵測無效主張、準備交易手續費或保證金，並提交挑戰。

期間過短，可能讓安全性高度依賴持續監控、快速基礎設施，以及不間斷存取結算區塊鏈。

期間過長則可能降低資金效率，並使一般提領變得不便。

Ethereum 資料可用性指南說明，樂觀 Rollup 通常會提供爭議期間，讓獨立驗證者檢查已發布資料並挑戰錯誤的狀態轉換。

使用者應查閱特定網路實際的挑戰與定案規則，不要假設每個樂觀 Rollup 都恰好採用 7 天。

為什麼提領需要等待？

樂觀 Rollup 的一般提領可能延遲，因為結算合約必須避免根據無效狀態主張釋出資產。

若錯誤主張可立即定案，攻擊者可能捏造餘額，並在任何人來得及反應前，提領鎖定於結算層的資產。

挑戰期間讓驗證者有時間證明該筆提領仰賴無效的 Rollup 狀態。

相關狀態承諾定案後，提領即可依協議的跨鏈橋規則完成。

使用者可能透過第三方流動性安排更快取得資金，但這類安排會帶來額外手續費、流動性要求、智能合約風險及交易對手假設。

Ethereum 零知識 Rollup 指南說明，樂觀 Rollup 的提領會延後，以便提出詐欺證明挑戰；有效性證明系統則可在證明驗證後完成退出結算。

什麼是互動式詐欺證明？

互動式詐欺證明會使用多步驟爭議遊戲，處理對長串運算結果有歧見的各方。

直接在結算區塊鏈上發布並重新執行整個 Rollup 區塊，可能成本過高或超出交易限制。

因此，提議者與挑戰者會對各自不同的執行軌跡作出承諾，再反覆縮小有爭議的範圍。

常見做法是透過稱為二分查找（bisection）的流程，將執行軌跡分成更小區段。

每一輪都會指出哪一半包含第一個不一致之處。

這個流程會持續進行，直到爭議縮小至一項虛擬機器指令或其他能由結算合約直接驗證的小型操作。

結算區塊鏈不必重現每個步驟，只需檢查承諾、爭議操作及最後有爭議的指令。

目前互動式爭議設計的官方文件說明，如何將爭議縮小為由母鏈驗證的單步證明。

什麼是單步證明？

單步證明會提供足夠資訊，讓結算合約驗證 Rollup 執行軌跡中的一項有爭議指令。

證明會指出指令執行前的機器狀態、指令本身、所需輸入資料，以及聲稱的執行後狀態。

結算合約會套用指令規則，並計算正確的下一個狀態。

若計算結果符合挑戰者的主張，而非提議者的主張，挑戰者就會贏得爭議。

單步驗證讓大型鏈下運算可被強制執行，而不必讓結算區塊鏈定期執行整個 Rollup 程式。

用於證明執行的虛擬機器必須具備確定性，並準確反映 Rollup 的共識規則。

什麼是非互動式詐欺證明？

非互動式詐欺證明試圖透過一次提交或有限驗證流程，提供證明狀態轉換無效所需的所有證據。

這種設計可減少提議者與挑戰者反覆往返回應的需求。

但證明可能需要包含更多資料，或採用專門方法找出錯誤運算。

互動式系統可透過多輪縮小爭議，降低鏈上運算量；非互動式系統則可能加快解決速度，並降低爭議期間對持續回應能力的依賴。

哪種設計較佳，取決於執行複雜度、結算層成本、證明大小、實作安全性及協議必須處理的故障類型。

詐欺證明與故障證明

詐欺證明與故障證明常用來描述相同類型的樂觀爭議機制。

「詐欺證明」過去較常見，因為它描述用來挑戰不誠實行為的證據。

「故障證明」更精確，因為該機制檢查的是結果是否錯誤，而不是判斷營運方的意圖。

錯誤輸出可能來自惡意操縱、軟體版本過舊、設定錯誤、資料庫損毀或一般程式錯誤。

目前的協議文件在描述正式爭議系統時，愈來愈常使用「故障證明」。

故障證明系統官方文件介紹包含故障證明程式、故障證明虛擬機器及爭議遊戲協議的模組化架構。

詐欺證明與有效性證明

詐欺證明會在有人提出挑戰後，證明已提交的結果有誤。

有效性證明則會在結算合約接受前，證明已提交的狀態轉換正確。

樂觀 Rollup 通常不會為狀態主張提供有效性證明，而是依賴挑戰期間。

有效性 Rollup 會為鏈下運算批次產生加密證明，通常使用零知識證明技術。

有效性證明驗證器可立即拒絕錯誤批次，因為攻擊者理應無法為無效的狀態轉換產生有效證明。

詐欺證明系統在正常運作時可能需要較少運算，因為只要所有主張均正確，就無須執行爭議運算。

有效性證明系統在產生證明後，可能較快完成結算，但可能需要複雜的證明基礎設施與專門密碼學技術。

兩種設計都不一定較優，因為安全性也取決於資料可用性、實作品質、治理權限、升級控制及結算層。

詐欺證明與零知識證明

零知識證明可讓一方證明某項陳述為真，而無須揭露用來證明該陳述的所有私有輸入資料。

許多區塊鏈有效性系統會使用零知識簡潔證明，即使交易資料仍公開可供重建狀態。

詐欺證明通常屬於事後處理，因為它是在提出錯誤結果後產生。

零知識有效性證明通常屬於事前處理，因為它會在接受新狀態時一併提供或先行提交。

詐欺證明仰賴誠實參與者有機會發現並挑戰故障。

有效性證明則仰賴密碼學健全性及驗證器正確實作。

未來 Rollup 架構可能結合故障證明、有效性證明、簽章證明及多種獨立實作，降低對單一系統的依賴。

詐欺證明與 Merkle 證明

Merkle 證明用來證明某項資料屬於由 Merkle 根代表的資料集。

例如，它可證明帳戶餘額、交易或提領訊息包含在已承諾的樹狀結構中。

詐欺證明則證明某項運算或狀態轉換主張無效。

詐欺證明通常會包含 Merkle 證明，讓結算合約只需存取驗證爭議步驟所需的少量狀態資料。

Merkle 證明可以證明資料包含於其中，但無法證明該筆交易已正確執行。

因此，兩種證明用途不同，但經常會搭配使用。

資料可用性的作用

若挑戰者沒有資料可重建狀態並找出錯誤執行，詐欺證明就無法保護 Rollup。

否則，惡意營運方可能在發布狀態承諾的同時，扣留其背後的交易資料。

獨立驗證者會知道自己無法重現結果，卻可能因無法取得必要資訊，而無法提出精確指出錯誤的證明。

樂觀 Rollup 會透過結算層發布壓縮交易資料或協議認可的資料承諾，以處理這項問題。

Ethereum Rollup 可透過一般交易 calldata，或專為 Rollup 資料設計的 blob 交易發布資料。

EIP-4844 規格引入攜帶 blob 的交易，讓 Rollup 能以比永久執行 calldata 更經濟的方式，發布暫存資料。

由於協議只會在有限期間內保留 blob 資料，監控系統必須在挑戰期間內擷取並保存所需資訊。

因此，資料可用性是詐欺證明安全性的核心，而非可有可無的獨立功能。

結算區塊鏈的作用

結算區塊鏈會儲存 Rollup 承諾、接收爭議交易、管理參與者保證金，並執行最終驗證邏輯。

它是中立仲裁者，因為其共識規則決定哪些爭議操作與證明有效。

Rollup 的部分安全性來自結算層的最終性、抗審查能力、智能合約執行及資料可用性。

若結算區塊鏈停止確認區塊，Rollup 主張與提領也可能停止推進。

若攻擊者能在整個爭議期間審查所有誠實挑戰，阻止無效主張就可能變得困難。

因此，詐欺證明的安全性同時取決於 Rollup 程式碼與結算區塊鏈是否持續可用，並能抵抗長時間審查。

排序器的作用

排序器會接收使用者交易、決定交易順序、執行 Rollup 區塊，並發布交易批次或承諾。

中心化排序器可提供快速確認，但也可能延遲、重新排序或審查交易。

詐欺證明可防範無效執行，但不會自動防止所有交易審查或有害排序。

排序器可能發布符合協議規則的有效狀態，卻仍暫時排除使用者的交易。

Rollup 系統可能提供強制納入管道，讓使用者在排序器拒絕交易時，透過結算層提交交易。

使用者應區分詐欺證明所處理的執行正確性，以及需要其他機制處理的排序公平性與活性。

挑戰者的作用

挑戰者是監控 Rollup 狀態提議並對無效主張提出爭議的參與者或自動化服務。

挑戰者會執行相容的節點軟體，並根據結算層資料重現 Rollup 執行。

挑戰者必須保持上線、跟進協議升級、保存必要歷史資訊，並在相關期限前提交交易。

挑戰者可能需要加密貨幣來支付結算層 Gas 費與財務保證金。

目前的挑戰者軟體可監控爭議、為有效提議辯護、挑戰無效提議，並在勝訴後領取保證金。

挑戰者官方文件介紹一種正式服務，其運作依賴同步的 Rollup 節點及確定性執行軌跡提供者。

只有在技術上獨立的參與者無須中央組織核准即可運作挑戰者時，無須許可的參與才更具實質意義。

為什麼需要保證金？

保證金是參與者提議主張或在爭議中執行特定操作時鎖定的加密貨幣。

保證金可阻止攻擊者無限制提出虛假主張，或迫使誠實驗證者投入資源卻不必承擔財務後果。

支持錯誤主張的參與者可能損失部分或全部相關保證金。

成功的挑戰者可能取回保證金，並依協議取得經濟獎勵。

保證金金額必須足以遏止濫用，但不能高到只有大型組織才能參與。

保證金過高，會讓理論上無須許可的詐欺證明系統在實際上難以參與。

保證金過低則可能助長垃圾訊息、惡意騷擾及延遲攻擊。

保證金設計必須考量結算層手續費、資產波動性、爭議時間、資金機會成本及面臨風險的價值。

無須許可與須許可的詐欺證明

無須許可的詐欺證明系統允許任何符合公開技術與經濟要求的參與者提交或挑戰狀態主張。

須許可的系統則將提議、挑戰或兩者限制於獲核准的地址或組織。

在早期開發階段，須許可驗證可減少垃圾訊息與營運不確定性。

但這會產生信任假設，因為使用者必須仰賴獲核准的驗證者保持誠實、可用且彼此獨立。

無須許可的系統較開放，但必須具備強力防護，以抵禦惡意騷擾、延遲攻擊、保證金操縱及軟體漏洞利用。

網路可能開放任何人參與爭議遊戲，同時保留能暫停或替換部分系統的緊急委員會或升級權限。

使用者應檢視完整安全模型，不要以為無須許可的挑戰管道就能移除所有行政權力。

目前詐欺證明的發展

截至 2026 年 7 月，正式運作的故障證明系統仍持續演進，包括新客戶端、升級版虛擬機器、改良的爭議協議，以及更廣泛的無須許可參與。

OP Stack 官方文件介紹無須許可的挑戰流程，以及 2026 年轉換至較新故障證明客戶端的安排，顯示挑戰者營運方必須使用最新軟體與絕對初始狀態。

2026 年故障證明客戶端遷移官方通知說明，舊版證明軟體已停止支援，鏈營運方必須遷移至替代實作。

Arbitrum 官方文件指出，BoLD 是一種有時間上限的爭議設計，支援無須許可的驗證，並限制惡意參與者無限延長爭議的能力。

2026 年 BoLD 概述說明，互動式詐欺證明如何支援公開挑戰，同時限制爭議時間。

這些發展顯示，詐欺證明是實際運作中的生產級安全系統，而非純粹理論上的區塊鏈概念。

這也說明證明系統需要持續稽核、客戶端維護、升級協調、監控及事件應變。

詐欺證明與軟體升級

故障證明程式必須執行與被爭議狀態所屬 Rollup 版本相同的共識規則。

協議升級可能改變交易執行、Gas 費用、預編譯合約、區塊規則、系統合約或資料解讀方式。

若挑戰者軟體使用過時規則，可能錯把有效主張判定為無效，或未能挑戰真正無效的主張。

證明系統通常會使用絕對初始狀態，承諾證明虛擬機器的起始條件。

若變更證明程式或共識規則，可能需要新的初始狀態及更新鏈上合約。

營運方必須謹慎協調升級，確保舊版與新版爭議都能依正確規則解決。

這種複雜性是多種獨立證明實作對長期安全性有價值的原因之一。

什麼是延遲攻擊？

延遲攻擊試圖拖延爭議解決，或阻止有效狀態定案，但未能成功證明狀態無效。

攻擊者可能提出互相衝突的主張、迫使反覆進行挑戰、利用時間規則，或鎖住誠實參與者的資金。

較早期的互動式設計可能讓攻擊者發起連續爭議，不斷延長提領等待時間。

有時間上限的爭議設計，目標是確保即使出現大量惡意主張，也能在可預測的最長時間內解決。

財務保證金會提高延遲攻擊成本，但無法取代健全的時間與爭議規則。

系統必須保障安全性，也就是無效主張不會定案；同時也要保障活性，讓有效主張最終能定案。

安全性與活性

安全性是指詐欺證明系統不會接受無效狀態，也不會允許未經授權的提領。

活性是指誠實交易、狀態主張與提領最終都能完成。

系統可在不確定期間暫停所有提領以維持安全性，但這會損害活性。

系統可透過快速定案提高活性，但過短的挑戰期間可能削弱安全性。

緊急控制、爭議逾時、保證金、挑戰期間及權限規則，都在平衡這兩項目標。

評估 Rollup 時，使用者應同時確認資金是否可能遭竊，以及資金是否可能長時間無法使用。

詐欺證明的主要安全假設

詐欺證明 Rollup 通常假設至少有一位誠實參與者，能重建 Rollup 狀態並挑戰無效主張。

所需交易資料必須在足夠長的時間內保持可用，讓該參與者完成驗證。

結算區塊鏈必須持續處理交易，且不能在整個爭議期間審查所有誠實挑戰。

Rollup 狀態轉換函數與證明虛擬機器必須正確實作預定規則。

鏈上爭議合約必須正確判斷操作、期限、保證金、承諾及最終證明。

誠實挑戰者必須使用最新軟體、具備足夠運算資源、可靠資料來源，以及足以支付 Gas 費與保證金的資金。

升級金鑰、守護者、安全委員會及治理合約，不得濫用可凌駕或取代證明系統的權限。

一位誠實挑戰者能保護所有人嗎？

理論上，只要協議無須許可且所有必要假設成立，一位誠實挑戰者就能阻止無效狀態主張定案。

挑戰者不需要大多數 Rollup 使用者支持，因為結算合約會依客觀執行規則裁定爭議。

但單一誠實參與者必須發現故障、取得所需資料、保持上線、負擔參與成本並避免遭到審查。

理論上只需一位挑戰者的系統，若有多位使用不同基礎設施及軟體實作的獨立挑戰者，營運韌性會更強。

多樣性可降低單一錯誤、服務中斷、法律限制或雲端故障同時停用所有監控者的風險。

詐欺證明能阻止 Rollup 的所有攻擊嗎？

詐欺證明能駁回無效狀態轉換，但無法解決 Rollup 面臨的所有安全問題。

它不會自動防止排序器審查、使用者金鑰遭竊、惡意應用程式合約、網路釣魚、預言機操縱或治理攻擊。

若資料儲存在結算層之外，且可用性假設較弱，詐欺證明可能無法保護使用者。

若證明系統本身有嚴重且共通的漏洞，導致誠實與不誠實參與者都計算出相同錯誤結果，詐欺證明也無能為力。

安全的 Rollup 除了詐欺證明，還需要完善的資料可用性、經稽核的跨鏈橋合約、安全升級程序、可靠節點及透明治理。

Plasma 中的詐欺證明

Plasma 系統使用母鏈，處理獨立子鏈活動所產生的爭議。

若營運方試圖定案無效交易或狀態，使用者可提交詐欺證明。

傳統 Plasma 設計通常將大部分交易資料存放在母鏈之外。

這會產生資料扣留問題：營運方若拒絕提供必要資訊，使用者可能無法建立詐欺證明。

Ethereum Plasma 文件說明，Rollup 透過結算層發布交易資料，改善了這種安全模型。

Plasma 與樂觀 Rollup 都會使用詐欺證明，但兩者周邊的資料可用性保障不同。

狀態通道中的詐欺證明

狀態通道讓特定群體的參與者在鏈下交換已簽署的狀態更新。

參與者通常只在開啟通道、結算最終狀態或解決爭議時使用區塊鏈。

不誠實的參與者可能試圖使用舊狀態關閉通道，藉此取得對自己較有利的餘額。

誠實參與者可在爭議期間提交更新且經正確簽署的狀態作為回應。

這類證據會發揮詐欺證明的作用，因為它證明試圖結算的狀態已過時或無效。

Ethereum 狀態通道指南說明，提交無效或過時狀態時，爭議仲裁如何保護使用者。

詐欺證明如何影響加密貨幣使用者？

大多數 Rollup 使用者不會親自提交詐欺證明，因為專業驗證者與監控服務會持續驗證。

只要持有資產、使用應用程式，或透過樂觀 Rollup 的官方跨鏈橋提領，使用者就會仰賴這項機制。

使用者可能會看到 Rollup 上的交易快速確認，但結算層的最終性仍處於待定狀態。

成功的挑戰可以撤銷建立在無效狀態主張上的未定案結果。

錢包與應用程式應清楚說明排序器確認、結算確認及提領最終完成之間的差異。

使用者也應了解網路的詐欺證明是否已啟用、是否無須許可、能否升級，以及是否受緊急行政控制措施支援。

開發者應如何設計詐欺證明？

Rollup 開發者必須確保，所有與共識相關的操作都能在證明環境中以確定性方式重現。

應避免依賴本機時間、作業系統的隨機行為、未記錄的外部服務或特定硬體結果。

證明程式、節點程式碼及鏈上驗證合約必須對指令語意與資料格式採用一致定義。

開發者應測試無效輸出、延遲回應、互相衝突的主張、資料遺失、保證金耗盡及協議升級。

也應提供清楚程序，說明如何執行挑戰者，以及如何驗證必要初始狀態與合約地址。

安全稽核應同時檢查一般 Rollup 執行流程與少見的爭議流程。

若從未在真實對抗情境下測試爭議系統，等到真正需要時，系統可能會失效。

如何評估詐欺證明系統

首先確認網路是否已啟用詐欺證明系統，而非僅有路線圖或規劃中的設計。

確認任何人是否都能提出挑戰，或是否只有允許清單上的參與者可以加入。

了解挑戰期間、提領延遲、保證金要求、爭議期限及預期最長解決時間。

確認交易資料發布於何處，以及使用者能否獨立重建 Rollup 狀態。

檢視緊急守護者、安全委員會、管理者或治理合約是否能推翻已定案結果。

查看是否有多個挑戰者營運方、公開節點軟體、可重現建置、稽核、漏洞揭露及漏洞獎勵計畫。

確認證明系統如何處理協議升級，以及依舊版軟體開始的爭議。

完善的安全說明應交代限制與信任假設，而非只宣稱 Rollup 完全繼承基礎層安全性。

關於詐欺證明的常見誤解

常見誤解之一，是每筆 Rollup 交易都會附上詐欺證明。

通常只有有人對有爭議的結果提出挑戰時，才會產生詐欺證明。

另一項誤解是詐欺證明能證明犯罪或不誠實意圖。

這項機制證明運算或主張有誤；法律上的意圖則是另一項問題。

有些使用者認為提領延遲一週，代表 Rollup 交易本身需要一週才會執行。

Rollup 交易可能在數秒內執行，較長等待時間則是為了確保結算與官方提領安全。

另一項錯誤，是以為無須許可的詐欺證明能消除所有中心化控制。

Rollup 即使開放所有人提出挑戰，仍可能保留中心化排序、升級金鑰、守護者或緊急暫停權限。

詐欺證明的風險

實作風險是指證明程式、虛擬機器或智能合約存在錯誤。

資料可用性風險是指挑戰者無法取得重建爭議狀態所需的資訊。

審查風險是指誠實的詐欺證明交易無法在期限前送達結算區塊鏈。

活性風險是指惡意主張或軟體故障延誤有效提領。

經濟風險是指 Gas 費或保證金要求過高，導致挑戰成本過高。

升級風險是指節點、證明程式、合約及初始狀態未遵循同一協議版本。

治理風險是指特權方能暫停、替換或推翻爭議系統。

營運風險是指所有挑戰者都仰賴同一家雲端服務商、同一程式碼庫、資料庫或監控服務。

常見問題

簡單來說，什麼是詐欺證明？

詐欺證明是用來證明某項區塊鏈或 Rollup 結果計算錯誤的證據。

加密貨幣為什麼使用詐欺證明？

詐欺證明讓區塊鏈能透過鏈下運算擴充，同時讓獨立參與者有辦法駁回無效結果。

詐欺證明與故障證明有何不同？

兩者通常描述相同機制，但「故障證明」不會暗示每項錯誤結果都是蓄意詐欺造成。

哪些加密貨幣系統會使用詐欺證明？

詐欺證明主要用於樂觀 Rollup，Plasma 系統與狀態通道也會採用相關爭議機制。

樂觀 Rollup 的每筆交易都會產生詐欺證明嗎？

不會。通常只有參與者對錯誤狀態主張提出爭議時，才會產生詐欺證明。

誰能提交詐欺證明？

完全無須許可的系統允許任何人提交；須許可的系統則限制獲核准的參與者提出挑戰。

什麼是挑戰者？

挑戰者是檢查 Rollup 狀態主張，並對不符合協議規則的主張提出爭議的參與者或自動化服務。

什麼是挑戰期間？

挑戰期間是提議中的樂觀狀態定案前，可被提出爭議的時間。

詐欺證明的挑戰期間有多長？

期間長短依協議而定，但正式運作的樂觀 Rollup 常採用接近一週的期間。

為什麼樂觀 Rollup 提領要等好幾天？

等待時間讓挑戰者有機會阻止根據無效或捏造的 Rollup 狀態進行提領。

詐欺證明能撤銷交易嗎？

依照 Rollup 的爭議與復原規則，它可以使尚未定案的狀態主張及其衍生結果失效。

什麼是互動式詐欺證明？

互動式詐欺證明透過多輪爭議，將長串運算逐步縮小至一個可在鏈上檢查的小步驟。

詐欺證明中的二分查找是什麼？

二分查找會反覆切分執行軌跡，讓爭議各方找出結果首次出現差異的位置。

什麼是單步證明？

單步證明讓結算合約驗證一項有爭議的機器指令，並判斷哪位參與者的計算正確。

什麼是輸出根？

輸出根是在特定區塊中，對 Rollup 狀態及相關資訊所作的加密承諾。

什麼是單一誠實參與者假設？

這項假設認為，至少有一位具備能力的參與者會在期限前發現並挑戰無效狀態。

詐欺證明系統需要很多驗證者嗎？

理論上，一位誠實挑戰者可能就足夠，但多位獨立挑戰者能提供更強的營運韌性。

為什麼資料可用性不可或缺？

挑戰者需要交易資料來重建 Rollup 狀態，並確切證明錯誤狀態轉換發生的位置。

交易資料被隱藏時，詐欺證明還能運作嗎？

若重現執行需要隱藏資料，且協議沒有另外提供資料可用性證明，詐欺證明可能無法運作。

詐欺證明與有效性證明有何不同？

詐欺證明是在挑戰後證明結果有誤；有效性證明則是在接受前證明結果正確。

詐欺證明是零知識證明嗎？

不是。詐欺證明通常是樂觀式爭議機制，但進階系統可能將故障證明與零知識技術結合。

Merkle 證明等同詐欺證明嗎？

不等同。Merkle 證明證明資料包含在已承諾的資料集中；詐欺證明則證明運算或狀態轉換有誤。

詐欺證明成功時會發生什麼事？

無效主張會遭駁回，正確狀態會保留，敗方可能被沒收保證金。

挑戰失敗時會發生什麼事？

遭挑戰的主張可繼續走向定案，未成功的挑戰者則可能損失部分保證金。

為什麼需要保證金？

保證金可讓不誠實或草率參與者面臨財務成本，藉此遏止虛假主張、垃圾訊息及不必要的爭議。

詐欺證明能阻止排序器審查嗎？

不能。詐欺證明驗證執行是否正確；抗審查通常需要強制納入管道及其他協議功能。

詐欺證明能防止智能合約遭駭嗎？

不能。依 Rollup 狀態轉換規則正確執行的惡意或有漏洞應用程式交易，仍可能是有效交易。

詐欺證明合約可能有漏洞嗎？

可能。證明程式、虛擬機器、爭議合約及挑戰者軟體都可能有實作漏洞。

什麼是延遲攻擊？

延遲攻擊試圖拖長爭議解決時間或阻止有效結果定案，但未能成功證明狀態有誤。

什麼是有時間上限的爭議？

有時間上限的爭議旨在即使出現大量惡意主張，仍能在可預測的最長期間內解決。

所有詐欺證明系統都無須許可嗎？

不是。有些網路限制驗證者或挑戰者；另一些則允許大眾在符合技術與保證金要求後參與。

無須許可的詐欺證明系統仍可能有管理者嗎？

可能。緊急守護者、升級權限持有者、治理團體或安全委員會仍可能保有重要權力。

使用者需要執行挑戰者軟體嗎？

一般使用者通常仰賴獨立驗證者，但執行驗證軟體可降低對其他參與者的依賴。

使用樂觀 Rollup 前，使用者應檢查什麼？

使用者應確認詐欺證明是否已啟用、誰能提出挑戰、資料存放位置、提領需要多久，以及哪些參與者握有緊急權限。

結論

詐欺證明是一種爭議機制，用來證明加密貨幣交易批次、狀態轉換、輸出根或提領主張計算錯誤。

它是樂觀 Rollup 的核心安全元件，因為這類系統會暫時接受鏈下結果，而不要求立即提交有效性證明。

獨立挑戰者會在指定挑戰期間內重現執行，並對錯誤主張提出爭議。

互動式爭議遊戲可將數百萬個運算步驟縮小至一項由結算區塊鏈直接驗證的指令。

資料可用性不可或缺，因為挑戰者若無法取得狀態承諾背後的交易資料，就無法證明故障。

財務保證金可遏止虛假主張，並補償部分系統防護成本。

無須許可的詐欺證明可降低對獲核准驗證者的依賴，但不會消除所有治理、升級、排序及營運方面的信任假設。

詐欺證明與有效性證明不同：前者在挑戰後駁回錯誤結果，後者則在接受前證明每項結果正確。

2026 年，正式運作的故障證明系統仍透過更新證明客戶端、有時間上限的爭議協議及更廣泛的無須許可參與持續演進。

了解詐欺證明有助於加密貨幣使用者評估 Rollup 安全性、提領延遲、資料可用性、挑戰者假設及樂觀式區塊鏈擴充的實際限制。