EIP-7886

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

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

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