什麼是 Optimistic Rollups 中的欺詐證明？

了解樂觀匯總中的欺詐證明

1. 樂觀匯總的運行假設所有發佈到第 2 層網絡的交易默認都是有效的。與鏈上驗證相比，這種樂觀的方法可以實現更快的處理並降低成本。然而，必須存在機制來檢測和糾正任何惡意或不正確的狀態轉換。

2.欺詐證明是一種用於質疑無效狀態更新的加密機制。如果驗證者或觀察者檢測到提議的狀態與基於交易數據應該發生的情況之間存在差異，他們可以向第一層區塊鏈提交欺詐證明。

3. 欺詐證明包括特定數據，例如不正確的狀態根、涉及的交易集以及顯示錯誤發生位置的逐步計算跟踪。該跟踪使主鏈能夠僅重新執行有爭議的計算部分，從而最大限度地減少開銷。

4. 提交欺詐證明後，第 1 層合約將使用提供的執行軌跡重播相關交易來驗證欺詐證明。如果證明確認狀態轉換確實無效，則匯總將恢復到最後的正確狀態，並且提交錯誤批次的惡意行為者將受到懲罰。

5. 安全模型依賴於至少一個誠實節點監控鏈。只要一個參與者檢查狀態更新的有效性並能夠提供證據，系統就可以防止欺詐行為。

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

1. 與使用有效性證明（例如 zk-SNARK）在接受之前主動證明正確性的零知識 Rollups 不同，Optimistic Rollups 推遲驗證。他們假設誠實，直​​到事實證明並非如此，這減少了初始發布期間的計算負載。

2.欺詐證明反應性地識別錯誤，這意味著在發佈區塊後會發生爭議。這會引入稱為挑戰期的延遲（通常為 7 天），在此期間任何人都可以對批次進行競爭。

3. 有效性證明需要對每批交易進行複雜的密碼計算，增加了運營商的成本和技術門檻。除非出現爭議，否則欺詐證明可以避免這種負擔。

4. 欺詐證明的反應性使得它們更容易去中心化參與。用戶不需要專門的硬件或深厚的密碼知識來監控和挑戰區塊。

5. 雖然有效性證明提供了立即的最終結果，但欺詐證明以速度換取去中心化和降低運營成本，這與以太坊無需許可參與的精神是一致的。

觀察者和激勵措施的作用

1. 觀察者是鏈下節點，負責持續監控排序器發布的狀態承諾。這些實體下載匯總數據，重新計算狀態轉換，並將結果與​​聲明的結果進行比較。

2. 經濟激勵推動欺詐檢測的參與。任何成功提交經過驗證的欺詐證明的人都會收到獎勵，該獎勵通常是通過削減不誠實測序者發布的部分保證金來提供的。

3. 為了防止垃圾郵件並確保問責制，挑戰者通常必須在發起爭議時抵押抵押品。如果他們的索賠無效，他們將失去這筆押金。

4. 多個獨立觀察者增加了及早發現欺詐行為的可能性。即使大多數參與者串通一氣或下線，一個誠實的參與者也足以維護安全。

5. 項目實施激勵層或集成第三方服務（例如去中心化看門狗網絡），以確保對 Rollup 鏈的持續監控。

有關欺詐證明的常見問題

如果沒有參與者在挑戰窗口內提交欺詐證明，則該批次將在第 1 層完成。這強調了主動監控的必要性。如果沒有至少一名誠實和警惕的觀察者，系統就有接受無效狀態的風險。

欺詐證據可以偽造或濫用嗎？

欺詐證據經過嚴格的鏈上驗證。不正確或格式錯誤的證明將在重新執行期間失敗，並導致挑戰者失去保證金。這種經濟抑制措施阻止了輕率或惡意的挑戰。

為什麼 Optimistic Rollups 會有提現延遲？

提款被延遲，以便有時間提交欺詐證據。當用戶發起提款時，資金在挑戰期內保持鎖定狀態，因此如果檢測到欺詐，資金可以被凍結或恢復。

每筆交易都需要欺詐證明嗎？

不會。只有在發現差異時才會生成欺詐證明。大多數交易都會順利進行，並且系統在有效性假設下順利運行，除非受到質疑。