该文档提议将延迟执行（EIP-7886）纳入 Glamsterdam 硬分叉。EIP-7886 引入了一种机制，将区块验证与立即执行分离，允许验证者在不预先执行每个交易的情况下证明区块的有效性，从而提高吞吐量，并将区块验证的关键路径从执行中解放出来，并使我们更接近 zkEVM 中的实时证明。
延迟执行：Glamsterdam 提案
由 Toni & Francesco 撰写。
这份简短的笔记遵循了由 @timbeiko 设计的模板，用于提出一个用于分叉包含的重点功能。
在本文档中，我们建议将 延迟执行 (EIP-7886) 纳入 Glamsterdam 硬分叉中。
摘要
EIP-7886 引入了一种机制，将区块验证与立即执行解耦。通过引入静态的、预执行的检查，并允许执行输出被延迟，验证者可以在不预先执行每笔交易的情况下证明区块的有效性。这为更高的吞吐量提供了一条途径，减轻了区块验证关键路径上的执行压力，并使我们更接近 zkEVM 中的实时证明。
详细理由
目前，验证者必须在证明每个区块之前完全执行它。这种设计将区块验证直接与执行联系起来，为可扩展性创建了一个瓶颈。
延迟执行通过将结构正确性与执行正确性分离，引入了异步区块验证。如果执行失败或超过区块 gas 限制，信标区块仍然有效，但执行 payload 变成一个空操作（即，状态恢复到开始交易执行之前的状态）。这种解耦降低了关键路径的复杂性，并允许更快的证明。
主要优势
zkEVM 兼容性（长期）：
延迟执行对于基于 zkEVM 的节点尤其有利。由于执行输出（状态根、收据、日志）被延迟，zkEVM 获得了生成证明的宝贵时间。这使我们更接近于这样一种未来：区块可以通过验证简洁的证明而不是重新执行交易来验证。
更高的吞吐量潜力（短期）：
验证者可以在 slot 中更早地证明区块，并使用剩余的 slot 时间进行执行。由于执行不再是关键路径，因此可以安全地增加区块 gas 限制，而不会影响共识性能。
为什么是现在？
社区希望扩展执行层。延迟执行通过减轻关键路径上的立即执行来直接解决这个问题，从而释放了更高的 gas 限制或更短的 slot 时间的潜力。
与此同时，zk 密码学的最新突破使得以太坊区块的实时证明越来越可行。通过延迟执行输出，EIP-7886 为 zkEVM 提供了生成有效性证明所需的时间——使我们更接近于这样一个世界：节点可以验证证明而不是执行交易，从而降低硬件要求并启用无执行客户端。
与替代方案的比较
像 ePBS（嵌入式 Payload-Block 分离）这样的提案也旨在通过为网络提供更多时间来执行区块来减轻关键路径的压力。然而，ePBS 在这方面的效果较差，并且以增加复杂性为代价：它引入了新的嵌入式角色（例如，构建者），显著修改了分叉选择规则，并增加了一个新的委员会，即 Payload 及时性委员会。
相比之下，EIP-7886 将大部分复杂性置于执行层中，并避免引入新的参与者或更改分叉选择逻辑。这种设计使其更容易采用和实施，并且通过延迟执行输出来直接满足基于 zkEVM 的证明系统的需求。
与 ePBS 相比，延迟执行不会提供更多的时间用于 blob 传播，也不会消除验证者和中继之间的信任假设。
利益相关者影响
积极：
负面：
- 无效交易可能保留在规范链上。在延迟执行下，包含无效或资金不足的交易的区块仍然可以成为规范的，完整的 EL payload——以及其中的所有状态更新——都会被恢复。虽然这避免了复杂的分叉选择更改，但这意味着无效交易在链上可见，而发送者无需为此付费。然而，这带来了巨大的代价：提议者将丧失该区块的所有执行奖励（即优先级费用和 MEV-Boost 支付），从而强烈抑制包含格式错误或无法执行的交易。
技术准备情况
EIP-7886 在 exectution-specs 中已完全指定，正在进行有效实施，并且正在讨论最佳设计。它与其他提案（如 FOCIL 或 区块级访问列表）兼容。
安全与未决问题
已知问题：
- 免费 DA： 虽然实际上并非“免费”，但 EIP 中规定的当前设计侧重于不引入对分叉选择的更改、在 EL 上拥有质押实体或在 CL 侧重用验证者质押。因此，发送者可以包含交易而无需付款，但提议者必须放弃整个区块，从而强烈抑制这种行为。
未决问题：
