什么原因导致了阿必特伦的激烈辩论？

作者：中国DEFI

滚柱基础

让我们从基础开始。虚拟机的状态被组织为Merkel树，因此可以计算虚拟机状态的加密散列。在协议的任何一个OKEX交易所点，VM的一些状态都是完全确认的。它的散列存储在链上。

协议的参与者可以提出一个有争议的断言（DA），该断言声称从某个状态散列开始。在某些技术条件下，VM可以执行指定数量的计算步骤来生成指定的新状态哈希，VM在计算期间进行指定的支付并发出指定的日志事件。DA可能有效（即真实）或无效。作出承兑交单的一方将被要求交存承兑交单的有效期。

一个有争议的断言为协议创建了一个决策点

如左图所示，有争议的断言创建了协议最终必须解决的逻辑决策点。如果Da有效，系统将在右上角输入一个新的状态，其中包含新的状态哈希和Da中指定的副作用（支付和日志记录）。或在其他分支机构，Da无效；它被拒绝，地位保持不变。

先前的仲裁协议

最初的仲裁协议一次处理一个争议主张。Da将由一些人宣布，然后一个挑战期将过去，在此期间任何人都可以挑战Da。如果没有异议，Da将被确认；否则，将运行争议协议并取消Da。

它很简单，但有两个缺点。首先，由于一次只能有一个Da处于活动状态，VM的处理速度将受到限制。本质上，这一进程必须在每次挑战中停止。其次，恶意参与者可以通过故意挑战VM创建的所有da来冻结VM。这将使攻击者付出许多代价，但如果他们愿意为此付出代价，至少在某些情况下，他们可能会拖延很长一段时间。

新的和改进的仲裁协议

新的仲裁汇总协议解决了这两个缺点。多个Das可以被“流水线化”，这样VM的执行速度就和验证节点模拟VM的速度一样快。第二，正如我们将在下面看到的，一个“恶意行为体”不能放慢进度，他们只能暂时延迟链上的鉴定结果。对于诚实的参与者来说，这些结果已经是“去信任的结果”。

这是怎么做到的？

每个州最多只能有一个Da跟随它。如果Da不遵循该状态，则任何人都可以创建遵循该状态的Da，从而创建新的分支点。结果可能是一棵未来的树。

未来可能的树木

誓言

协议的另一个重要部分是保证。任何人都可以在树上的方形盒子上宣誓。通过保证一个网格，用户可以断言网格将由协议确认。用户断言在从当前状态到他放置的网格的路径上的每个DA上都执行了正确的分支。如果错误，用户可能会丢失您的质押押金。

无法撤消质押操作。用户可以将押金移到右边——在每个分支点上选择向上或向下——但不能移到左边，因为这就等于撤销了他们的承诺。

提出争议的一方必须保证Da的“有效”继承人。通常，他们可以通过将现有的块向右移动以将其放置在所需的后续块上来满足此要求（在极少数情况下，他们不能这样做，并且可以在所需的方块上添加额外的边距）。但请注意，他们将被困在两条不一致的道路上，因此他们最终将不得不失去两项承诺中的至少一项——反驳是不明智的。）

关于质押的另一个细节是，如果用户质押的盒子被确认并成为可接受的历史记录，用户可以选择提取质押押金。这意味着，如果用户是对的，他可以保留他的主体，等待系统“赶上”他，然后他可以恢复他的主体。

一个更典的状态树——一系列真实的断言

在这一点上，用户可能会担心可能性树可能变得非常大及其分支。这种情况在实践中不太可能发生，因为它需要多方就相互不一致的结果作出承诺。只有一个可能是对的，其他所有人都将失去他们的抵押保证金。更有可能的是，“树”实际上是一个有效的Da链，一个接一个，所有的承诺都在同一个结果上。

质押期限

我们需要系统在很久以前就每一个有争议的论断作出决定。因此，将DA添加到链中并创建分支点时，会将截止日期与DA关联。将来，当期限足够长的时候，每个人都会有时间检查Da是否有效。如果他们选择这样做，他们可以获得链上交易的Da结果。如果任何人想对Da的有效性负责或反对，他们必须在截止日期前这样做（截止日期后仍然可以引入质押保证金，但他们不参与决定是否支持Da）。一旦截止日期到达，所有与Da决定相关的质押保证金都将被知晓。

争端

如果爱丽丝和鲍勃在不同的方格上，那么这两件事中有一件是真的。要么会有一条通往右翼的道路，从一方到另一方——这意味着他们的主张是一致的——要么就不会有这样的道路。如果没有一条通向右边的路连接爱丽丝和鲍勃的广场，他们一定会在某些方面分道扬镳。他们之间总会有一个独特的争议点——一个独特的Da，其中一个在本Da中质押是有效的，而另一个在本Da中质押是无效的。

艾丽丝和鲍勃正准备争论

当双方发生争议时，系统可以启动双方的交互式争议解决协议。

争端解决协议的结果是一方当事人将被发现是错误的。该党将失去他们的抵押保证金。抵押存款将从其网格中移除。一些将被移交给争端的另一方，其余的将被烧毁。

多个纠纷可以同时进行，但每个想质押的人一次只能涉及一个纠纷。因为失败者的质押保证金会被抹去，每次纠纷都会减少制度上的分歧。如果丢失质押金的一方愿意，可以重新质押，但新的质押金不会影响已过质押期的Da。因此，在DA的质押期过后，争议将逐渐消除关于如何对待DA的任何分歧。

确认结果

一旦DA的质押截止日期已过，并且所有剩余的及时（在质押截止日期之前）质押都位于DA的同一分支中，系统就可以确认DA的结果。Da被接受或拒绝，当前状态移到Da右侧的相应框中。如果Da被确认有效，它的副作用（如支付）将在链上实现，这就是VM的状态如何前进。

通常情况下，各方都会诚实行事，因为他们不想因为承诺做虚假陈述而失去利益。在单链中，只会声明有效的Da，没有人会对Da的任何无效分支进行质押。在这种情况下，每个DA可在其质押期限到期时立即确认。

为什么要信任

arbitrum rollup的一个重要属性是它不受信任—诚实的一方可以强制VM正确运行并取得进展。为什么？想象一下，艾丽丝总是对Da的每一个真正的分支做出承诺。如果树是空的，她断言da。

因为爱丽斯是真正的分支，她将赢得每一个争端，她加入。如果其他人不同意Alice的意见，他们（a）或在与第三方无关的纠纷中丢失质押存款，或（b）最终与Alice发生纠纷并将质押存款丢失给她。无论如何，所有不同意爱丽丝的人最终都会失去他们的抵押押金。只有那些认同爱丽丝的人才能活下来，所以爱丽丝穿过这棵树的路径最终将是唯一一个及时保证的人——爱丽丝的路径也将得到确认。

如果爱丽丝是诚实的，不管其他人做什么，绿色广场最终将得到确认

因为系统在这种情况下是信任的，如果爱丽丝在一个广场上当了兵，并且知道通往那个广场的路是真实的，爱丽丝可以确定她的广场最终会被确认。对爱丽丝来说，这条路和**一条路一样好。

即使用户没有在一条路径上宣誓，如果您看到有几个人在这条路径上宣誓，并且用户认为这些人中至少有一个是诚实的-这条路径和最终路径一样好。

相信结果的好处

为什么信任的结果有价值？这个经典的例子来自于之前对其他汇总协议的讨论。假设虚拟机必须付给爱丽丝一笔钱。支付事件是在诚实的路径上执行的，但是在发生支付的网格链上进行确认需要一些时间。

信任的结果使爱丽丝立即得到了自己的钱。如果Bob有一笔未抵押的款项，他可以立即将其交给Alice，Alice将在未来将未确认的金额分配给Bob（加上Bob的**费用）。鲍勃可以保证这一点，通过保证诚实的结果-然后他将有信心的付款最终将得到确认。不仅仅是鲍勃。任何有存款的人都可以用同样的方式把它借给爱丽丝和其他像她一样的人。这些人可以通过提供较低的费用来相互竞争，降低爱丽丝利润的成本。

关键是这种市场机制的可行性取决于去信任的最终结果。如果“每个人”都已经知道某些事情最终会得到确认，那么在确认链上的延迟就不会那么麻烦了。

这不仅适用于支付，也适用于VM所做的其他事情。如果VM将发出一个日志条目来宣布发生了什么事情，那么解除信任的结果意味着任何人都可以确定该日志条目将在链上被识别。

延迟攻击

因为系统是可信的，所以恶意参与者不能强制执行错误的结果。他们所能做的就是放慢进程。这就要求他们牺牲质押保证金，如果质押保证金数额较大，成本会很高。

假设有人想发起延迟攻击，他们愿意牺牲保证保证金。他们能造成的最严重伤害是什么？

首先要注意的是，恶意的参与者无法阻止诚实的参与者继续构建树的诚实分支。它们也不能阻止诚实委托人在最终确认诚实分支时获得反信任的信任。

攻击者所能做的就是在假分支上保证延迟链上诚实路径的确认。他们每做一次质押，都会给诚实的行为人带来更多的纠纷，而诚实的行为人会从攻击者那里拿走很大一部分质押押金。一旦攻击者的所有保证金被拿走，链上的过程将继续。

如果攻击者对错误的结果设置了多个风险怎么办？那么这些质押押金将在纠纷中被一一取走。如果有许多人参与了诚实的结果，他们可以与攻击者发生争执，并带走攻击者的押金。请注意，每个人都会清楚地看到正在发生的事情，许多人会希望参与到行动中，并把誓言放在真正的结果上，这样他们就可以加入到人们利用争端抢夺攻击者誓言的狂热中来。如果K人向一个诚实的当事人保证，攻击者就会花K人的保证金拖延购买纠纷。如果攻击者获得更多的抵押保证金，可能会吸引更多诚实的抵押人。这对于攻击者来说是一个糟糕的动态。

优化

各种优化可以减少操作协议所需的链上记账量，降低链上gas的成本。