纠纷如果 Alice 和 Bob 押注不同的方框,那么以下两件事件中,必有一件为真。要么其中一个押注可以向右移动到另一个 —— 意味着他们的断言是一致的 —— 要么找不到这样的路径。如果没有一条向右移动的路径可以连接 Alice 和 Bob 的方框,则他们必然有分歧。他们之间一定可以找到一个唯一的分叉点 —— 一个唯一的争议断言,某个人押注这个断言是有效的,而另一个押注其无效。 Alice 和 Bob 之间存在争议 当两个参与者之间出现纠纷时,系统可以启动一个交互式纠纷解决协议。我在这里没有足够的篇幅来描述这个纠纷解决协议 —— 我只想说,这是一个类似我们在其他 Arbitrum 文档中描述过的二分法交互协议。 纠纷解决协议的结果是一个参与者将被发现是错误的。这个参与者的押金会被罚没。押注会从所在的方框上删除。部分押金会给到纠纷的另一方,剩下的被烧掉。 多个纠纷可以同时解决,但是每个押注者一次最多只能参与一个纠纷。因为输家的押注将被删除,每解决一个纠纷都会减少整个系统的分歧数量。损失押金的参与者可以继续押注,但是新的押注无法影响押注期限已过的争议断言。这样做的效果是,一个争议断言的押注窗口结束后,一切有关如何处理该断言的分歧都将被消除。 结果确认某个争议断言的押注期限到期后,如果所有及时提交(且尚未被删除)的押注,都存在于从该断言产生的同一条分支上,那么系统就可以肯定该断言的结果为真。争议断言要么被接受要么被拒绝,当前状态会移动到争议断言右边正确的方框上。如果争议断言被确认有效,则其附带效果,如支付等,也会在链上生效。虚拟机的状态就是这样向前移动的。 一般情况下,参与者都会诚实守矩,谁也不想因为押注错误而损失押金。只有有效的争议断言会被(其他参与者)断言,构成一条链,没有人会在任何争议断言的无效分支上押注。在这种情况下,所有的争议断言都会在押注期限一过后立即被确认。 何以无需信任(Trustless)Arbitrum Rollup 的一个重要性质就是无需信任 —— 只要有一个诚实参与者就可以确保虚拟机状态正确向前推进。为什么呢,想象一下 Alice 总是在正确的分支上押注,如果没有争议断言,她就自己断言。 因为 Alice 总是在正确的分支上押注,所以她会赢下每一次纠纷。如果有任何人不同意 Alice,他们要么 (a) 与一个无关的第三方产生纠纷并损失押金,或者 (b) 最终和 Alice 产生纠纷并输给 Alice 押金。无论哪种情况,所有与 Alice 不一致的人都将失去押金。只有同意 Alice 的押注才能存活下去,所以 Alice 在树上的路径最终会成为唯一一个有及时押注的分支 —— 并且 Alice 的路径会被确认。 (责任编辑:admin) |