状态根

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

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

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

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