由迈克尔和库比（Gattaca）联合撰写。特别感谢托马斯、朱利安、托尼、拉迪、贾斯汀、奥斯顿和马克斯的反馈和建议。反馈并不意味着背书。
概述
本文介绍了中继包含列表（rILs），这是一种在不引入协议更改、新的信任假设或重大技术复杂性的情况下立即提高以太坊审查抵抵性的方法。该设计旨在成为非审查中继的新默认功能，同时提供选择退出选项以适应验证者的偏好。
我们将详细说明中继包含列表如何在保持验证者风险-回报平衡的同时提高以太坊的审查抵抵性。然后，我们提出了一个构建中继包含列表的规则，该规则高效且能抵抵异常值，并配备了与现有区块验证无缝集成的执行程序。文档最后展望了未来的promising方向。
总的来说，本文详细阐述了在中继中生成、验证和执行包含列表的确切程序。它反映了EIP-7805（FOCIL）规范，以确保协议兼容性和运行完整性，为未来以低风险方式在协议中实施包含列表做准备。
分发和推广
支持中继包含列表的中继将默认为从内存池中挂起的交易为所有传送的区块生成和执行包含列表。希望选择退出的验证者可以通过中继注册API中的额外偏好字段明确表明此偏好。
中继包含列表使验证者能够立即提高以太坊的审查抵抵性，而不会产生任何额外风险或信任假设，因为包含列表的编制和执行被委托给中继，验证者在签署区块头时对其内容保持盲目。另一种协议外方法是IL-Boost，它委托区块构建，但保留在提议者级别构建包含列表。
我们注意到，该系统与验证者的经济激励是一致的。实际上，它将体现为更满的区块，由于其更大的数据占用空间，会带来轻微的延迟权衡。在所有中继都采用该设计的情况下，这种权衡将在相对基础上最小化，因为投标曲线将调整以适应这种微小且可预测的延迟开销；换句话说，最佳投标将提前提交。在某些中继不采用该设计的情况下，验证者将通过标准区块拍卖得到保险，该拍卖将继续产生支付最高的区块。
总的来说，该设计不会对验证者施加额外要求，并允许他们在不改变风险/回报曲线的情况下提高以太坊的审查抵抵性。因此，该系统对所有参与者都具有可访问性和吸引力，从独立质押者到大型节点运营商。
包含列表在每个插槽开始前计算，中继节点公开一个HTTP API端点，构建者用它来获取已完成的包含列表。构建者不受任何排序约束；包含列表上的交易可以以最有效的方式排序到区块中。
区块验证和执行
区块有效性根据FOCIL标准执行；具体而言，提议给中继节点的区块仅在满足以下条件时有效：
- 交易包含检查
- 中继节点提供的包含列表中的每笔交易要么：
- 在构建者提交的区块中明确包含。
- 在执行区块最终状态后可验证无效。
- 模拟交易验证
- 中继节点模拟执行区块中未包含的每笔包含列表交易对照区块最终状态。
- 如果区块遗漏了任何在其最终状态下验证时会通过所有预执行有效性检查的包含列表交易——正确签名、链ID、随机数、足够余额和固有gas——则该区块无效。
- 由于固有无效性（如随机数不匹配、余额不足）导致模拟失败的交易不会使区块无效。
- 包含列表的模拟和验证在区块验证的模拟部分完成。
这种方法在不引入额外阶段的情况下符合当前链下PBS管道的FOCIL标准；区块模拟仅针对每个未包含在区块中的包含列表交易略微扩展。在跳过对可信构建者的模拟阶段的乐观中继情况下，不会产生额外开销。
执行和惩罚
根据FOCIL标准，遵守包含列表被视为有效性条件。不合规至少会导致不被接受，对于乐观构建者，可能会执行惩罚。
我们建议对不合规的乐观构建者执行的惩罚应反映包含列表作为一个完整的有效性条件，并导致对构建者抵押品的区块价值没收。中继节点可以选择暂时降级不合规的构建者，直到错误被追踪，以避免过多的抵押品销毁。
未来方向
Blob类型交易的包含列表
未来，该设计可能会扩展到包含blob。这将扩大当前设计的审查抵抗力，同时改善L2的及时数据可用性。
更大的包含列表
中继包含列表可以比提议者中心的包含列表更大，因为它们不直接受验证者带宽限制的瓶颈。当前设计镜像FOCIL大小以确保带中继IL的区块在PBS拍卖中具有竞争力，并且将来可以扩展以容纳更大的总大小。
多中继包含列表
在当前设计下，每个中继维护自己的包含列表。寻求为其区块保留最大可选性的构建者可能会选择向每个中继发送不同的区块，反映中继提供的IL。
未来，通过形成多个包含列表的交集，可以实现更强的审查保证。这确保了中继之间的公平竞争，通过强制统一应用包含规则，并且可以轻松地在用于编制包含列表的交易排名上计算。这还将减少构建者的冗余，通过消除为每个中继计算定制区块的需要，或包含多个包含列表的并集。
在这种情况下，每个中继可以传播一个扩展列表，然后通过取交集确定性地缩减到标准大小的列表。实际上，这可以通过升级中继节点并使用简单的gossip协议来实现。
链接
