状态根

该EIP提出了区块级访问列表（Block-Level Access Lists, BALs），记录区块执行期间所有账户和存储位置的访问及其执行后值。BALs旨在通过在区块头中包含其哈希值并在执行负载中传输列表，实现并行磁盘读取、并行事务验证、并行状态根计算和无执行状态更新，从而提高以太坊的可扩展性和效率。

本文深入探讨了 Optimistic Rollups (ORUs)，这是一种旨在降低以太坊使用成本并提高速度的 Layer 2 解决方案。文章详细介绍了 ORU 的架构、工作原理，包括交易如何进入、使用和退出 rollup，以及欺诈证明机制。此外，还对比了 ORU 与 ZK Rollups 的差异，并列举了当前主要的 ORU 项目及其相关工具。

本文档介绍了L2输出根提案规范，这是Optimism Rollup中将L2状态同步到L1（结算层）的关键环节。Proposer的角色是构建并提交输出根到L1上的L2OutputOracle合约，以此作为桥梁的L2 状态视图，并可接受fault proof挑战。其中详细说明了L2输出承诺的构建方式和L2OutputOracle智能合约的接口定义与配置，以及安全方面的考虑，例如 L1 重组。

本文介绍了以太坊的延迟执行方案，该方案将区块验证与交易执行解耦，从而提高吞吐量。核心思想是先进行静态验证（仅依赖先前的状态），然后延迟执行交易，允许跳过无效交易。区块提议者预先支付交易包含成本，以补偿网络。这种机制可以提高效率，但也带来了对提议者流动性需求和协议复杂性的权衡。

本文提出了一种协议，允许L2提议者选择性地将同一插槽中发出的L1消息直接注入到L2中，无需等待状态根导入。通过将此协议与L2→L1提款机制相结合，用户可以执行可组合的L1<>L2捆绑，例如从L1存入ETH，在L2上将其兑换为USDC，然后提取回L1，所有这些都在单个插槽内完成。

该文章提出了一种快速提款方案，允许L2用户在相同的L1 slot内将代币从L2提款到L1。该方案依赖于“解算器(Solvers)”，解算器观察L2的提款请求，并在L1上提供解决方案。为了降低解算器的风险，提款解决方案取决于包含该提款请求的L2批次是否成功提交到L1。只有包含提款请求的状态根在L1上被证明后，解算器才能获得报酬。

本文分析了三种延迟执行的设计方案，包括Proposer的延迟执行状态根包含、通过跳过交易的延迟执行以及通过Payload和区块分离的延迟执行。文章从区块准备时间、传播时间、验证时间以及实现复杂性等方面，对这些方案进行了对比分析，旨在理解不同设计在特定复杂性下如何实现所需的协议属性。

Optimism 主网于 2023 年 6 月 6 日升级到 Bedrock，介绍此次迁移的设计具备可验证性和可重复性。文章介绍了OP Labs 工程师为迁移日所做的准备工作，并分享了如何运行迁移脚本以及确认升级按预期进行。此外，Bedrock升级将OP Stack 转换为更灵活和模块化的系统。