新的改进版本在我这篇文章中介绍的新的 Arbitrum Rollup 协议解决了上述的两个缺点。通过 “流水线化” 处理多个争议断言,验证节点模拟虚拟机的运算速度有多快,虚拟机的处理速度就有多快。第二,我们后面将会解释,恶意参与者无法延阻系统,他们只能暂时延误对最终结果的链上确认,但这些结果对诚实节点来说早已 “无需信任地被敲定了”。 所以,到底怎么做到呢?那就要讲得再深一点了…… 每个状态后面最多可以接一个争议断言。如果一个状态后面没有争议断言,那么任何人都可以生成一个争议断言接在后面,作为一个新的分叉点。结果就是产生了一棵平行未来之树。 平行未来之树 押注协议的另外一个重要的部分是押注。任何人都可以在树上的某个方框(状态)后面下注。对某个方框押注,意味着你在断言该方框最终将被协议确认。换句话说,你在断言从当前状态到你押注的方框所在的这条分支是正确的分支。如果你错了,可以想见你的押金将被罚没。 押注行为不能被撤销。你可以将你的押注向右移动——可以在分叉点后向上或向下选择分支——但你不能向左移动押注,因为这相当于撤销你之前作出的押注承诺。 提出争议断言的参与者要在 “认可其断言有效” 的继任方框上押注。通常他们可以向右移动已存在的押注到满足条件的方框上。(在极少数情况下(译者注:比如他们的断言是无效的,被成功挑战)他们不能这样做,他们可以额外再押一注到需要的方框上。但是注意,他们将在相冲突的两条路径上押注,因此最终他们会损失至少一笔押金——通常自相矛盾不是明智的移动选择)。 关于押注还有一个细节:如果你押注的方框被确认成为被接受的历史的一部分,你可以选择收回押金。这意味着,如果你是正确的,你可以停止移动你的押注,直到系统 “追上” 你,然后你就可以收回你的押金。 一棵更标准的状态树 —— 由一连串的有效断言组成 在这一点上,你可能会担心,平行未来之树会变得非常大,而且枝繁叶茂。这在现实中是不可能发生的,因为这需要多方押注不一致的结果。只要他们中有一个是诚实的,其他所有人都会损失他们的押金。更有可能的是,这棵树实际上是一个由有效 DA 串成的链,一个接一个,所有的押注都在同一条分支上。 押注期限我们需要系统在尽可能短的时间内对每个争议断言做出决定。所以当一个争议断言被添加上链、产生一个分叉点的时候,会有一个期限与之关联。这个期限足够长,任何人如果愿意,都有足够的时间检查这个争议断言是否有效,以及产生一笔押注交易上链。任何要押注的人都必须在期限结束之前完成操作(过期的押注仍然可以上链,但它们不能决定那个争议断言的有效性)。一旦期满,所有可以决定争议断言的押注都将可知。 (责任编辑:admin) |