延迟执行

本文深入探讨了 Native Rollups，这是由 Justin Drake 提出的一种新型以太坊 Layer2 扩展方案。

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

文章探讨了以太坊中引入延迟执行（Delayed Execution）后可能出现的“免费DA（数据可用性）”问题，并分析了几种应对该问题的设计方案，包括乐观证明、预先验证和预收费等。文章还讨论了这些方案在用户体验、构建者复杂性、分叉选择复杂性、静态验证以及与FOCIL（强制包含列表）的兼容性等方面的权衡。

该文档提议将延迟执行（EIP-7886）纳入 Glamsterdam 硬分叉。EIP-7886 引入了一种机制，将区块验证与立即执行分离，允许验证者在不预先执行每个交易的情况下证明区块的有效性，从而提高吞吐量，并将区块验证的关键路径从执行中解放出来，并使我们更接近 zkEVM 中的实时证明。

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

该文章提出了以太坊的一个升级方案，即让区块的构建者负责生成该区块的有效性证明，并将该证明强制包含在下一个区块中。这个方案通过激励对齐来解决“prover killers”问题，并改善了builder的活性问题。文章还探讨了proving gas的概念，以及如何将其应用于改进用户体验和审查抵抗。