文章探讨了以太坊中引入延迟执行（Delayed Execution）后可能出现的“免费DA（数据可用性）”问题，并分析了几种应对该问题的设计方案，包括乐观证明、预先验证和预收费等。文章还讨论了这些方案在用户体验、构建者复杂性、分叉选择复杂性、静态验证以及与FOCIL（强制包含列表）的兼容性等方面的权衡。
本文分析了三种延迟执行的设计方案，包括Proposer的延迟执行状态根包含、通过跳过交易的延迟执行以及通过Payload和区块分离的延迟执行。文章从区块准备时间、传播时间、验证时间以及实现复杂性等方面，对这些方案进行了对比分析，旨在理解不同设计在特定复杂性下如何实现所需的协议属性。
以太坊中文