接着,Alice 执行与 Bob 初始步骤相同的操作,并确定与其端点不一致的子部分。 这个分解过程将继续进行,直到 Alice 和 Bob 确定了一个他们不同意的指令。 这个指令被发送至 L1 的合约中,这个合约负责执行该指令并决定争议的获胜者。 争议的输方将被没收质押金,其中一部分将被销毁 (以免攻击者对冲他们的质押金),其余的部分将作为奖励提供给诚实质押者。 在整个分解过程中,L1 合约作为这场游戏的裁判并不知道任何关于指令的信息,它只是检查每个玩家是否遵守了这场分解游戏的规则。 在争议发生期间,所有其他验证者都可以在争议最终确定之前自行确定争议的结果;这意味着软分叉已产生,验证者可以继续在有效链上提交 rollup 区块。 挑战期有时间限制,每个质押者大约有一周的时间。 每个质押者在这一周之内必须有所动作,否则将会输掉争议。 在挑战协议期间由两位质押者参与的多轮、交互式分解游戏。实际上,有争议的断言将会有更多的指令 (如图中的波浪线),因此这场游戏将会有更多轮,但原理是相同的。 验证者验证者是 Arbitrum 链上的一个节点,它选择监测 Rollup 协议上的活动并推进链的状态进行。 并非所有节点都充当验证者。 Offchain Labs 希望验证者在「主动、防御或者瞭望塔」三种策略中选择一样;但是,这并不是协议强制执行的。 「主动验证者」 (active validator) 通过提议新区块不断努力推进链的进行。每条链只需要一个诚实的主动验证者;增加主动验证者的数量并不会提高链的效率。 「防御验证者」 (defensive validator) 监测 Rollup 协议,并且仅当他们目击到作恶行为时才会采取行动。要么提议一个有效的区块;要么在其他验证者提议的有效区块上进行质押。 「瞭望塔验证者 "(watch tower validator) 像防御验证者一样监测着 Rollup 协议。但当他们目击到作恶行为时,他们不会亲自提议有效区块或者对有效区块质押,而是提醒其他验证者这样做。
Offchain labs 将在他们的 Arbitrum 链上运行一个主动验证者。 大多数时间,防御验证者和瞭望塔验证者不需要做任何事情,因此攻击者永远不会知道链上有多少个防御验证者。 尽管任何人都可以成为验证者,但是估计主要参与者还是在链上投资了大量资产的各方,或者被投资者聘为验证者的各方。
(责任编辑:admin)
|