Arbitrum 是多轮交互式的 Rollups 方案从上述来看，Arbitrum 和 Optimistic 同为欺诈证明范畴的 Rollups 方案，两个方案的核心问题都是：如何验证结果的正确性？会不会有人发送恶意的证明？因此，两者都有挑战机制。验证人可以向链上发送断言，提出争议。如果断言为假，则会失去其质押的保证金资产。 Arbitrum 和 Optimistic 之间的主要不同在于解决分歧的方式。当有验证者向 L1 提交 rollup 区块，有人认为不正确，这个时候怎么办？ Arbitrum 采用的是多轮互动协议来解决争议，将规模大的争议细分成小的争议，直到找到最关键的那一步，然后再通过以太坊合约来确定它是否正确。通过拆分争议，Arbitrum 试图实现更高效的解决方案。 Arbitrum 中的参与者可以质押保证金，断言某个状态最终会被确认。如果断言错误，用户的质押保证金会罚没。两个用户质押在不同的方块上，这意味着只能其中一个是真的。为了防止有人攻击，争议的断言者需要质押保证金资产，防止其作恶。 在刚开始的设计中，Arbitrum 协议采用了一次处理一个争议断言的做法。由某个参与者提出争议断言，争议断言存在挑战期，在这个期间任何人都可以挑战该争议断言。如果没有人挑战，那么，该争议断言将被视为有效。 不过这种单线推进模式存在瓶颈。一次激活一个争议断言，效率低下，VM 进程受限。同时，作恶者可以故意通过挑战争议断言来延缓 VM。即便需要付出质押资金，但也可以拖延。 因此，在新的设计中，Arbitrum 可以同时处理多个争议断言，不是线性进行。作恶者减缓进程的实现难度更高。目前 Arbitrum 采用多个争议断言同时处理的方法，一个质押者一次一个断言，不同的质押者则可以同时处理多个断言。 随着断言被确认为有效，其 VM 的状态也不断向前推进。通常来说，人们会选择诚实行为，因为这样可以确保其质押保证金不会被罚没。除非有恶意攻击理由，人们没有必要将其资产质押在错误的分支上。 为了实现无须信任的特性，在 Arbitrum 的设计中，任何一个诚实参与者可以推进 VM 正确性和进展。如果一个参与者总是在正确的分支上质押，TA 会赢得所有的争议断言。如果其他人不同意，只会失去其质押保证金。只有诚实参与者一起，才能免遭惩罚。
如果上图中的 Alice 断言证明为正确，那么 Bob 质押的保证金资产会失去，而 Alice 则获益。 在单轮互动的 Rollups 中，断言包括每个调用结果，挑战者指向断言中具有错误结果的特定调用。链上合约模拟被挑战的调用并检查是否有错。如果有错，则整个断言被取消，其断言者失去质押的保证金。如果挑战窗口期过后，没有成功的挑战，则断言被接受，并具有最终性。 (责任编辑：admin) |
Alice 和 Bob 质押在不同分支上，来自 Arbitrum 的 Ed Felten