Op-chains 使用链推导进行操作，其中规范的 L2 链由排序器和验证器计算，他们注入 L1 块数据、L2 交易数据和来自 L1 的新存款。定序器处理事务、构建块并将压缩的块批次发布到 L1。验证者跟踪定序器，如果他们发现无效输出，则用欺诈证明来挑战他们。在将资产提取到 L1 或桥接到其他链时，证明系统至关重要，因为它用于确保外部链和内部 rollup 在两个系统中就资产状态达成一致。 Superchain 最终将使用 Cannon 欺诈证明引擎来处理 L1 提款纠纷。此外，由于其模块化设计，超级链将能够同时支持多个冗余证明实施。如果 Optimism 社区需要，这包括实施有效性证明。 如前所述，OP 链可以通过链工厂同步彼此的状态。这成为不共享定序器集的 OP 链的 L2 到 L2 桥接的基础。每个 OP 链将确定他们愿意使用此共享消息传递层做出的安全保证。对于某些人来说，推导过程可能就足够了，但类似于 L1 取款，确保这种 L2 到 L2 桥的有效性将需要一个证明系统来验证每个 OP 链在传输时的状态。后者代表了基于证明的桥接和去中心化排序协议通过保护跨超链交易来多样化其...