欺詐性證明是 Optimistic Rollup 方案採用的一種數據有效性的驗證方式。在 Layer2 同步數據給以太坊主網的過程中,如果有人認為被同步的數據不正確(即存在欺詐行為),便可在挑戰期內發出挑戰,然後通過 Layer1 智能合約計算並裁決出誰是欺詐者,再作出處罰。
目前,欺詐性證明可分為單輪交互型和多輪交互型兩種。
單輪交互型
單輪交互型指在 Layer1 上重放一遍有爭議的交易,檢測是否存在無效狀態後進行提交。
例如,Alice 作為驗證人將 Rollup 壓縮後的數據同步到 Layer1,同時質押保證金。如果 Bob 對該數據存在爭議,則需在窗口期內發起挑戰且同樣質押保證金。 Rollup 協議將會在 Layer1 上重新計算該區塊中交易來判定對錯。錯誤方的保證金將被罰沒,正確方將獲得獎勵。
不過,由於鏈上計算成本較高,如果需要重新計算的交易過多,可能還會受到 Layer1 區塊大小的限制。
多輪交互型
在多輪交互型證明中,當 Bob 對 Alice 同步的數據提出爭議後,Alice 需將爭議範圍二等分,然後由 Bob 選擇繼續挑戰的那段範圍,再由 Alice 將爭議範圍二等分……如此循環,直至將爭議範圍縮減到一個具體的步驟,最後交由 Layer1 智能合約進行計算和判定。
因此,相比單輪交互型,多輪交互型能以更低的成本來解決爭議,也更容易支持複雜的智能合約和處理更高要求的爭議。
不過,隨著交互次數的增加,它的爭議窗口期也會更長一些。