该文档提议将延迟执行(EIP-7886)纳入 Glamsterdam 硬分叉。EIP-7886 引入了一种机制,将区块验证与立即执行分离,允许验证者在不预先执行每个交易的情况下证明区块的有效性,从而提高吞吐量,并将区块验证的关键路径从执行中解放出来,并使我们更接近 zkEVM 中的实时证明。
在本文档中,我们建议将 延迟执行 (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 传播,也不会消除验证者和中继之间的信任假设。
积极:
用户受益于 L1 吞吐量的增加,因为延迟执行能够实现更高的 gas 限制和更高效的区块验证,从而在 L1 上实现更快且可能更便宜的交易。
zkEVM 证明者获得了关键的灵活性:通过延迟执行输出,EIP-7886 为基于 zk 的证明者提供了更多的时间来生成有效性证明。这是朝着无执行完整节点迈出的一步,这些节点使用简洁的证明而不是重新执行来验证区块。
负面:
EIP-7886 在 exectution-specs 中已完全指定,正在进行有效实施,并且正在讨论最佳设计。它与其他提案(如 FOCIL 或 区块级访问列表)兼容。
已知问题:
未决问题:
- 原文链接: ethereum-magicians.org/t...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!