理解 Cartesi 的公共产品：Davelg...

当在 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，同时保持强大的基础层安全保证。

免责声明 

本文章仅供一般参考和信息分享之用，不构成法律、金融或投资建议。本信息的准确性和完整性不受保证，也不应被视为对特定情况的建议。读者应自行进行独立的研究和咨询，以做出任何决策。作者和相关机构对任何因依赖本信息而产生的损失或损害概不负责。在做出任何金融或投资决策之前，强烈建议咨询专业人士以获取个性化的建议。

虚拟货币属于高风险投资品，在做出投资决策前，请咨询相关监管机构是否存在投资亏损风险。

来源：金色财经