织梦CMS - 轻松建站从此开始!

我的网站

当前位置: 主页 > 竞争币 > 以太坊

一文详解 Arbitrum Rollup 的工作原理 (3)

时间:2020-11-23 15:20来源:未知 作者:admin 点击:
纠纷 如果 Alice 和 Bob 押注不同的方框,那么以下两件事件中,必有一件为真。要么其中一个押注可以向右移动到另一个 —— 意味着他们的断言是一致的

纠纷

如果 Alice 和 Bob 押注不同的方框,那么以下两件事件中,必有一件为真。要么其中一个押注可以向右移动到另一个 —— 意味着他们的断言是一致的 —— 要么找不到这样的路径。如果没有一条向右移动的路径可以连接 Alice 和 Bob 的方框,则他们必然有分歧。他们之间一定可以找到一个唯一的分叉点 —— 一个唯一的争议断言,某个人押注这个断言是有效的,而另一个押注其无效。

引介 | Arbitrum Rollup 的工作原理

Alice 和 Bob 之间存在争议

当两个参与者之间出现纠纷时,系统可以启动一个交互式纠纷解决协议。我在这里没有足够的篇幅来描述这个纠纷解决协议 —— 我只想说,这是一个类似我们在其他 Arbitrum 文档中描述过的二分法交互协议。

纠纷解决协议的结果是一个参与者将被发现是错误的。这个参与者的押金会被罚没。押注会从所在的方框上删除。部分押金会给到纠纷的另一方,剩下的被烧掉。

多个纠纷可以同时解决,但是每个押注者一次最多只能参与一个纠纷。因为输家的押注将被删除,每解决一个纠纷都会减少整个系统的分歧数量。损失押金的参与者可以继续押注,但是新的押注无法影响押注期限已过的争议断言。这样做的效果是,一个争议断言的押注窗口结束后,一切有关如何处理该断言的分歧都将被消除。

结果确认

某个争议断言的押注期限到期后,如果所有及时提交(且尚未被删除)的押注,都存在于从该断言产生的同一条分支上,那么系统就可以肯定该断言的结果为真。争议断言要么被接受要么被拒绝,当前状态会移动到争议断言右边正确的方框上。如果争议断言被确认有效,则其附带效果,如支付等,也会在链上生效。虚拟机的状态就是这样向前移动的。

一般情况下,参与者都会诚实守矩,谁也不想因为押注错误而损失押金。只有有效的争议断言会被(其他参与者)断言,构成一条链,没有人会在任何争议断言的无效分支上押注。在这种情况下,所有的争议断言都会在押注期限一过后立即被确认。

何以无需信任(Trustless)

Arbitrum Rollup 的一个重要性质就是无需信任 —— 只要有一个诚实参与者就可以确保虚拟机状态正确向前推进。为什么呢,想象一下 Alice 总是在正确的分支上押注,如果没有争议断言,她就自己断言。

因为 Alice 总是在正确的分支上押注,所以她会赢下每一次纠纷。如果有任何人不同意 Alice,他们要么 (a) 与一个无关的第三方产生纠纷并损失押金,或者 (b) 最终和 Alice 产生纠纷并输给 Alice 押金。无论哪种情况,所有与 Alice 不一致的人都将失去押金。只有同意 Alice 的押注才能存活下去,所以 Alice 在树上的路径最终会成为唯一一个有及时押注的分支 —— 并且 Alice 的路径会被确认。 (责任编辑:admin)

织梦二维码生成器
顶一下
(0)
0%
踩一下
(0)
0%
------分隔线----------------------------
发表评论
请自觉遵守互联网相关的政策法规,严禁发布色情、暴力、反动的言论。
评价:
表情:
用户名: 验证码:点击我更换图片
栏目列表
推荐内容