诚实|Arbitrum被热议的原因是什么？( 二 )

文章插图
一个更典型的状态树-一系列真实的断言
此时，用户可能会担心可能性树可能变得非常大和其分支。这种情况在实践中不太可能发生，因为它需要多方在相互不一致的结果上进行质押。只有一个可能是正确的，其他所有人都会失去他们的质押保证金。更有可能的是，“树”实际上是一个有效的DA链，一个接一个，所有的质押都在相同的结果上。
质押的截止日期我们需要系统在时间过长之前对每个争议断言做出决定。因此，当一个DA被添加到链中，创建一个分支点时，一个截止日期就与这个DA相关联。在未来，当截止日期足够长时，每个人都有时间检查DA是否有效，如果他们选择这样做，就可以在DA的结果上获得链上交易。如果任何人想要承担支持或反对该DA有效性，他们必须在截止日期之前这样做。(截止日期后仍然可以引入质押保证金，但他们不参与决定是否支持该DA。)一旦截止日期到了，所有与决定DA有关的质押保证金都将被知晓。
争议如果Alice和Bob被押在不同的方格上，那么两件事之一将是真的。要么会有一条向右移动的路径，从它们中的一个到另一个——这意味着它们的主张相互一致——要么就没有这样一条路径。如果没有一条向右移动的路径连接Alice和Bob的方格，那么它们一定在某些方面存在分歧。它们之间总会有一个独特的争议点——一个独特的DA，其中一个被质押在此DA是有效的，而另一个被质押在它上是无效的。

文章插图
Alice和Bob正准备争议
当双方发生争议时，系统可以在双方之间启动一个交互式的争议解决协议。
争议解决协议的结果是，将发现一方是不正确的。该方将失去他们的质押保证金。质押保证金将从它所在的方格上被清除。一部分将交给争议的另一方，其余的将被烧毁。
【诚实|Arbitrum被热议的原因是什么？】多个争议可以同时进行，但每个要质押的人一次最多只能卷入一个争议。因为输家的质押保证金将被抹去，每一次争议都会减少系统中分歧数量。失去质押保证金的当事人如果愿意，可以重新质押，但新的质押保证金将无法影响已经过了质押期限的 DA。这样做的结果是，在DA的质押期限过去后，争议将逐渐消除关于如何对待DA的任何分歧。
确认结果一旦一个DA的质押截止日期已经过去，并且所有剩余的及时(在定质押截止日期之前)的质押都位于该DA的同一分支上，系统就可以确认该DA的结果。DA要么被接受，要么被拒绝，当前状态移动到DA右侧的适当方块。如果DA被确认为有效，其副作用（例如付款）将在链上实现，这就是VM的状态如何前进。
通常情况下，各方都会诚实行事，因为他们不想因为质押于虚假声明而失去自己的利益。在单个链中，只有有效的DA将被断言，没有人将在任何DA的无效分支上质押。在这种情况下，每个DA都可以在其质押期限到期时立即被确认。
为什么它是去信任的Arbitrum Rollup的一个重要属性是它是去信任的——诚实的一方可以迫使VM正确运行并取得进展。为什么呢?想象一下，Alice总是在每个DA的真实分支上进行质押，如果树是空的，她就断言DA。
因为Alice被质押在了真正的分支上，她会赢得她加入的每一场争议。如果其他人不同意Alice，他们(a)要么在与第三方不相关的纠纷中失去他们的质押保证金，(b)要么最终与Alice发生争议，并将他们的保证金输给她。不管怎样，所有不同意Alice的人最终都将失去他们的质押保证金。只有认同Alice的才能存活下来，因此 Alice 穿过树的路径最终将是唯一一个及时对其进行质押的人——Alice的路径也将得到确认。