感谢Potuz提出了这个想法：如果提议者选择了不正确的可审计构建者出价，插槽nn的证明者应直接使信标区块无效。感谢Francesco在共识问题上的指导，以及Terence的反馈。
背景
在EIP-7732中指定的内置提议者-构建者分离（ePBS）是以太坊的一个拟议更新，旨在促进构建者和信标提议者之间的无信任交互。在Fusaka转向点对点数据可用性采样（PeerDAS）后，未订阅所有数据块列子网的ePBS提议者（即较小的验证者）可能会错误地认为数据可用并在错误的头部上继续扩展。如果实施FOCIL，插槽n+1n+1的提议者同样需要对插槽n-1n−1中的IL及时性做出主观判断。因此，提议者将受益于确认有效载荷满足及时IL的证明。
（后续内容以此风格继续翻译）- 在 T_1T1 – 包含列表（ILs）和未封装交易（UTs）通过点对点广播和传播。
- T_1T1 – 插槽 nn 的证明者冻结他们对已传播的包含列表和未封装交易的视图。
- 在 T_1T1 – 一旦构建者确信他们已观察到所有相关的未封装交易和包含列表（大多数证明者冻结视图中的那些），他们为获得构建区块的权利投放仲裁区块标书（ABBs）（彩色矩形）。
ExecutionPayloadHeader扩展了一个包含列表位域，构建者在其中声明其有效载荷遵守的包含者，以及声明将包含其对应未封装交易的特殊交易（STs）的未封装交易位域。就像在 EIP-7732 中一样，ExecutionPayloadHeader对象也应更改为仅包含承诺构建者有效载荷所需的最少信息。 - T_2T2 – 在插槽 nn 开始时，提议者选择一个获胜的仲裁区块标书，该标书至少涵盖其对所需包含列表和未封装交易的视图，并将该仲裁区块标书包含在信标区块中。
- T_3T3 – 插槽 nn 的证明者对当前链头投票。如果信标区块丢失，或者包含的仲裁区块标书因缺少包含列表或未封装交易而未通过审核，他们将指出在其当前视图中作为链头的前一个区块。如果仲裁区块标书通过审核，他们将乐观地对该区块进行证明。这些投票仍将计入分叉选择中的完整和空区块 nn，因为有效载荷尚未发布。
- T_4T4 – 当构建者通过审查传播的证明确信信标区块将成为规范区块时，它会发布有效载荷。
- 在 T_4T4 – 有效载荷发布后，可以审核以确保其遵守仲裁区块标书的规定。从 T_4T4 开始，所有确定包含列表和未封装交易遵守情况所需的信息都是可用的（执行时的遵守情况在本地检查，插槽 nn 的证明仍在传播）。这些信息自然将被插槽 n+1n+1 的提议者和证明者使用，但此时任何跟踪链的节点也可以直接使用。结合对数据可用性和有效载荷及时性的检查，可以以高精度评估有效载荷成为规范区块的可能性。
AC的剩余角色是对有效载荷的及时性和数据可用性进行投票。未来的文章将探讨在这些新的放松约束下，AC的角色如何进一步发展。一个额外的好处是，插槽n的包含者可以提前获得关于插�span�n的有效载荷将遵循�易信息p。这些是包含者不应出的易如载荷及时）。
在常规MEV-boost中式，继是一个确保转发为出价的构建者区块有效性的可信方。在FOCIL下，这个有效性检查变成了一个主观决定，取决于中间层的及时性。一些验证者可能更愿意自行执行这个主观检查，查，因此ABB也可以在MEV-boost中实施（无需ePBS）。这将提高当前现MEV-boost设计的无信任任性，并为ePBS中的ABB奠励定础。<
关于如何处理ePBS中空区块期间的密封交易，可以做一个单独的说明。就像原始设计中一样，包含在区块A中的ST必必须保证相应的及时UT被包含在后续区块B的区块顶部，即使在区块A后提出的第一个区块未能成为规范区块。然而，由于ePBS中区块可以为空，一系列空区块可能会产生大量尚未被UT履行的未完成ST。因此，一旦明确存在积压力，，可能希望阻止信标提议者包含新的ST。针对ePBS中先前的的的间层，建议的方法是通过阻止插槽<>1n的有效载荷丢失（感谢Potuz）。这允许插槽n+1n-1；<+2满<有效>n；n+3满足n+2（最终赶上）。对于密封交易，这种方法可能导致在插槽nspan的交易者在插槽n+1的有效载荷构建之前就揭示UT（这将不会被包含）。因此，对于空区块n的解决方案是指定，来自插槽n-1和n的>须在插槽n+1的UT中得到遵守，同时阻止插槽n+1的提议者包含新的ST，以使积压不再继续增长。。
请注意，无论选择�择�果要包含多个块的UTBS，，来自特定信标区块的相同ST集的的UT必须在有效载荷中分组，与最早信标区块关联的组必位于区块顶部，依此类推。然而，每个组内的UT顺序仍应遵循已揭示的顶部费用。
