本文档是L2链推导规范,描述了如何从L1数据中推导出L2区块,包括批量提交、架构设计以及有效负载属性推导等关键步骤。主要内容包括:从L1读取数据、构建通道、解码批次、重新排序交易,最终形成L2区块。文档还涵盖了L1重组的处理以及如何同步L1和L2状态。
本文介绍了Fault Dispute Game (FDG) 的机制,这是一种通过迭代二分执行轨迹来验证根声明有效性的争议解决游戏。参与者通过提出声明来缩小执行轨迹,直至争议点为单个状态转换。游戏依靠虚拟机(VM)来验证声明的有效性,并最终通过对声明的争议情况来确定胜者。文章还涉及了参与者、移动类型、游戏时钟和最终的解决方案等关键概念。
本文档介绍了在L1上发起并在L2上执行的Deposit交易类型,包括其结构、在L1上的发起方式以及在L2上的验证和授权条件,以及两种类型的 Deposit 交易:L1 属性 Deposit 交易和用户 Deposit 交易。还详细说明了 L1 属性预部署合约和用户 Deposit 交易的 Deposit 合约。
本文档是执行由链上治理批准的Security Council Phase 0的剧本,指导Optimism安全委员会成员如何使用Ledger硬件钱包对交易进行签名,并验证交易的正确性,最后将签名发送给执行者完成链上操作,涉及更新仓库、设置Ledger、模拟和验证交易、批准签名以及发送输出等步骤。