当在 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。

声明：本网站所有相关资料如有侵权请联系站长删除，资料仅供用户学习及研究之用，不构成任何投资建议！