如果 Alice 和 Bob 在不同的方框上进行押注，会有两种情况发生：要么其中一位向右倾向另一个人的押注，要么找不到这样的路径。如果 Alice 和 Bob 之间没有一条可以连接他们的向右的路径，则他们必定存在分歧。当双方之间出现争议时，系统会在他们之间启动一个交互式的争议解决协议。该协议带来的结果是，其中一方会被证实错误的，其押金会被罚没，且押注会从方框中移除。而这些押注的部分会给争议的另一方，剩余的会被销毁。多个争议可以同时存在，但每个质押者每次最多只能选择一个争议。
Arbitrum Rollup 的一个重要性质就是无需信任 —— 单个诚实参与者就可以确保虚拟机状态正确推进。为什么？假设 Alice 总是对每个争议断言的正确分支进行押注，并且当树不再产生分支了，她就提议一个争议断言。因为 Alice 在正确的分支上押注，所以每一次争议她都是胜利方。如果其他人不用以Alice ，那么他们将在一个不相关的争议中损失他们的质押金，最终进入 Alice 所在的争议中，其押金将输给 Alice。
图：只要 Alice 是诚实的，无论其他人怎么做，绿色方框最终都会被确认因为在这种情况下，系统是无需信任的。如果 Alice 在一个方框上押注且她知道该方框的路径是正确的，那么她可以确认其所在的方框上将最终被确认。对于 Alice 来说，该路径就像被敲定了一样。
最终确定性无需信任的好处
结果最终确定性的无需信任为什么如此重要？假设一个虚拟机打算向 Alice 支付一笔交易。该支付事件位于正确的路径上，但这笔交易直到这笔交付交易所在的方框在链上被确认还需等待一段时间。最终确定性无需信任让 Alice 能够即时收到汇款。如果 Bob 手上有闲钱，他可以立即给 Alice 钱，作为交换，Alice 把未来即将被确认的支付款项转给 Bob (额外给 Bob 一点手续费)。Bob 只有确定该支付交易一定会发生才会这么做。Bob 可以通过押注诚实结果来确保这一点 —— 那么他就可以对这笔支付一定会发生抱有无需信任的信心。
English
评论（0）
Oh! no
您是否确认要删除该条评论吗？