理解 Cartesi 的公共產品：Dave

2024-01-28 14:01:14

當在 Cartesi Rollups 這樣的 optimistic rollups 中，出現分歧時會發生什么？Cartesi 設計了一種新穎的方法，利用基礎層的安全性，通過一種名為 Dave 的公共產品。這是對於常見的爭議解決系統或欺詐證明協議的改進，需要在安全性、結算延遲和成本之間取得平衡，同時保持無需許可，即允許任何人參與。

讓我們看看 Dave 如何保證只要有一個誠實的節點參與網絡，就可以信任發生在 L2 上的所有事情。

什么是防欺詐協議？

Rollups的工作方式是將大部分計算遷移到鏈下，然後有效地向基礎層證明執行該計算的最終結果。換句話說，Cartesi節點在鏈上和鏈下傳輸數據時所做的所有工作都需要是可驗證的。

確保這種可驗證性的一種方式是採用防欺詐協議。通常情況下，當一個節點將信息作為聲明發布回L1鏈時，存在一個驗證過程，其他節點可以對聲明提出質疑，直到在主鏈上最終確定。

在指定的時間範圍內，節點可以提交欺詐證明，對在L2上處理的信息的結果提出異議。這就是為什么當前在L1和L2之間的橋接可能需要長達一周的時間，具體取決於L2的防欺詐協議。

當前無許可欺詐證明協議存在的問題

在Web3中，對爭議解決系統的不同設計進行了大量實驗。使用傳統方法，有兩種構建涉及多方參與者的防欺詐系統的方式。

第一種方式是使玩家兩兩對战，依次進行。這樣，所有玩家最多一次只爭議一個糾紛。第二種方式是允許每個人同時與所有人爭議。

然而，當我們使驗證者集合無許可時，這兩種方式都會失敗。第一種方式由於延遲攻擊而失敗，而第二種方式則由於攻擊者可能耗盡誠實驗證者的資源而失敗。讓我們詳細看看這些問題。

當前設計存在缺陷的一個主要情況是延遲攻擊。通過足夠的資金，一個惡意節點可以利用爭議解決系統，通過不斷對其交易提出挑战，阻止用戶橋接回L1。每次挑战都會將其提款時間推遲到“挑战期”規定的時間。

更糟糕的是，如果有大量不誠實的挑战者，一個單一的誠實節點為了在主鏈上捍衛其權益會變得非常昂貴。結果是，涉及大量參與方的爭議變得不切實際，並容易受到所謂的Sybil攻擊的影響。

Dave vs Goliath

我們如何防止擁有足夠資金和影響力的不誠實網絡參與者有效地挫敗單一誠實節點的操作？

Cartesi的研究與參考團隊正在研發Dave，這是一種改變遊戲規則的爭議解決算法，其中單一誠實競爭者的延遲時間和處理爭議所需的計算能力隨着對手數量的增加呈對數增長。

這意味着，與其在更多節點挑战一個聲明時花費更多資源，捍衛者對抗每一個新挑战的成本都比前一個更低。在實踐中，這看起來就是你永遠不需要超過一臺筆記本電腦來獲勝（無論攻擊者數量如何），但如果有很多攻擊者，你需要保持筆記本電腦的开機時間更長。

當Cartesi節點在主鏈上發布憑證或通知時，仍會有一個時間窗口用於對憑證提出質疑。然而，在惡意挑战發生時，一個單一的誠實主張者將能夠自我防御。

這種對防欺詐協議的新理念基於Cartesi聯合創始人Diego Nehab和Augusto Teixeira提出的無許可仲裁錦標賽算法（https://arxiv.org/abs/2212.12439）。它允許任何人驗證Rollup並在鏈上執行正確的狀態。無需信任驗證者，您可以自己驗證任何Rollup。

您認為您已經理解了Dave嗎？通過參與Cartesi questboard（https://zealy.io/c/cartesi/questboard）上的“Grokking Public Goods: Dave”測驗，測試一下您的知識並賺取社區積分。

通過閱讀文檔（https://docs.cartesi.io/），了解有關Cartesi的更多信息。您還可以通過加入社區，隨時了解Cartesi生態系統中發生的一切。

關於 Cartesi

Cartesi 是一種特定於應用程序的匯總協議，具有運行 Linux 發行版的虛擬機，為 DApp 开發人員創造了更豐富、更廣泛的設計空間。

Cartesi Rollups 提供模塊化擴展解決方案，可部署為 L2、L3 或主權 Rollups，同時保持強大的基礎層安全保證。

免責聲明

本文章僅供一般參考和信息分享之用，不構成法律、金融或投資建議。本信息的准確性和完整性不受保證，也不應被視為對特定情況的建議。讀者應自行進行獨立的研究和咨詢，以做出任何決策。作者和相關機構對任何因依賴本信息而產生的損失或損害概不負責。在做出任何金融或投資決策之前，強烈建議咨詢專業人士以獲取個性化的建議。

虛擬貨幣屬於高風險投資品，在做出投資決策前，請咨詢相關監管機構是否存在投資虧損風險。