一文读懂Arbitrum Rollup的工作原理( 二 )

本文插图
- 平行未来之树 -
押注
协议的另外一个重要的部分是押注。任何人都可以在树上的某个方框（状态）后面下注。对某个方框押注，意味着你在断言该方框最终将被协议确认。换句话说，你在断言从当前状态到你押注的方框所在的这条分支是正确的分支。如果你错了，可以想见你的押金将被罚没。
押注行为不能被撤销。你可以将你的押注向右移动——可以在分叉点后向上或向下选择分支——但你不能向左移动押注，因为这相当于撤销你之前作出的押注承诺。
提出争议断言的参与者要在 “认可其断言有效” 的继任方框上押注。通常他们可以向右移动已存在的押注到满足条件的方框上。（在极少数情况下（译者注：比如他们的断言是无效的，被成功挑战）他们不能这样做，他们可以额外再押一注到需要的方框上。但是注意，他们将在相冲突的两条路径上押注，因此最终他们会损失至少一笔押金——通常自相矛盾不是明智的移动选择）。
关于押注还有一个细节：如果你押注的方框被确认成为被接受的历史的一部分，你可以选择收回押金。这意味着，如果你是正确的，你可以停止移动你的押注，直到系统 “追上” 你，然后你就可以收回你的押金。

本文插图
- 一棵更标准的状态树 —— 由一连串的有效断言组成 -
在这一点上，你可能会担心，平行未来之树会变得非常大，而且枝繁叶茂。这在现实中是不可能发生的，因为这需要多方押注不一致的结果。只要他们中有一个是诚实的，其他所有人都会损失他们的押金。更有可能的是，这棵树实际上是一个由有效 DA 串成的链，一个接一个，所有的押注都在同一条分支上。
押注期限
我们需要系统在尽可能短的时间内对每个争议断言做出决定。所以当一个争议断言被添加上链、产生一个分叉点的时候，会有一个期限与之关联。这个期限足够长，任何人如果愿意，都有足够的时间检查这个争议断言是否有效，以及产生一笔押注交易上链。任何要押注的人都必须在期限结束之前完成操作（过期的押注仍然可以上链，但它们不能决定那个争议断言的有效性）。一旦期满，所有可以决定争议断言的押注都将可知。
纠纷
如果 Alice 和 Bob 押注不同的方框，那么以下两件事件中，必有一件为真。要么其中一个押注可以向右移动到另一个 —— 意味着他们的断言是一致的 —— 要么找不到这样的路径。如果没有一条向右移动的路径可以连接 Alice 和 Bob 的方框，则他们必然有分歧。他们之间一定可以找到一个唯一的分叉点 —— 一个唯一的争议断言，某个人押注这个断言是有效的，而另一个押注其无效。

本文插图
- Alice 和 Bob 之间存在争议 -
当两个参与者之间出现纠纷时，系统可以启动一个交互式纠纷解决协议。我在这里没有足够的篇幅来描述这个纠纷解决协议 —— 我只想说，这是一个类似我们在其他 Arbitrum 文档中描述过的二分法交互协议。
纠纷解决协议的结果是一个参与者将被发现是错误的。这个参与者的押金会被罚没。押注会从所在的方框上删除。部分押金会给到纠纷的另一方，剩下的被烧掉。
多个纠纷可以同时解决，但是每个押注者一次最多只能参与一个纠纷。因为输家的押注将被删除，每解决一个纠纷都会减少整个系统的分歧数量。损失押金的参与者可以继续押注，但是新的押注无法影响押注期限已过的争议断言。这样做的效果是，一个争议断言的押注窗口结束后，一切有关如何处理该断言的分歧都将被消除。