本文介绍了 FOCIL (Fork Choice–enforced Inclusion Lists)，它是一种旨在提高交易包含保证的机制，通过允许多个验证者参与区块构建，从而增强以太坊的审查抵抗能力和安全扩展性。FOCIL 有利于验证者、用户和应用，但也存在协议复杂性、不支持 blobs 和 MEV 交易等局限性。
_感谢 Jihoon, Julian, Nixo 和 Caspar 的反馈和评论。_
标题链接 摘要 (ELI5)
EIP-7805 中指定的 FOCIL 代表 FOrk Choice–enforced Inclusion Lists（分叉选择强制包含列表），目前正被考虑包含 (CFI) 在 Hegotá 分叉中。它通过允许多个验证者参与区块构建，从而显著提升了交易包含的保证。
标题链接 为什么它很重要？
主要优点：抗审查性
FOCIL 保证任何协议有效的交易都会在有限的时间内被包含在链上。通过限制中心化中介机构任意过滤交易的能力，它维护了对区块空间的公平和平等的访问，确保以太坊仍然是在链上进行交易的最具可信中立性的场所。
次要优点：安全扩展
随着以太坊的扩展（例如，提高 gas 限制）并朝着 zkEVM 发展，它越来越依赖于复杂的证明者和构建者。 FOCIL 阻止了这些专业参与者有选择地排除公共交易，从而有效地将抗审查性与区块生产的中心化分离。
缓解构建者市场中心化带来的审查风险的解决方案早就应该有了。由于 MEV 和 private order flow，构建者市场天生就容易中心化，并且构建者、中继和搜索者之间的垂直整合持续增加。
以太坊应该为 所有符合协议规则的有效交易 提供协议级别的快速、可靠的包含保证，而不是将包含受制于外部偏好。如果没有 FOCIL，以太坊的这一核心价值实际上无法得到保证，从而使该协议容易受到大规模审查事件的影响。
对于验证者 而言，FOCIL 是朝着使他们能够为维护 CR 做出贡献迈出的有意义的一步，而无需成为本地构建者并牺牲 MEV 奖励。
对于用户和应用程序 而言，发布 FOCIL 意味着：
- 机构 可以相信，竞争对手无法悄悄地贿赂或施压少数服务提供商，以延迟其交易上链。它降低了交易对手风险。
- L2 可以缩短他们的提款窗口，提供更流畅的 UX 和更强的互操作性。这意味着更快的退出和更低的跨链交换成本。
- 用稳定币购买 ETH 的日常用户 可以获得与大型基金重新平衡其投资组合相同的协议级别的包含保证。一个很好的例子是借贷协议上的 借款人，他们需要将其交易包含在内，而不必担心被阻止补充抵押品以避免清算。
随着各种用户和应用程序从强大的交易包含保证中受益，这个列表还会继续下去。
FOCIL 被广泛认为是提高审查交易包含保证的最佳设计。 大部分人反对在 Glamsterdam 中发布 FOCIL 涉及优先级和分叉范围。
也就是说，FOCIL 确实存在一些权衡和设计选择：
/*
目前正在积极进行解决方案的研究，以提高 blob 的包含保证（即，使用 [blobpool 票证](https://ethresear.ch/t/on-the-future-of-the-blob-mempool/22613)）。
我们认为这是一个高度优先事项，但鉴于常规交易和 blob 之间的不同属性（尤其是在确定其可用性方面），我们认为 blob CR 应该作为一项独立的 EIP 来解决，并在随后的分叉中发布。
*/
- 不支持 MEV 交易：通过 FOCIL 包含交易意味着它会公开，这使得它不适合携带 MEV 的交易。
/*
可以使用加密 mempool（例如，[EIP-8105](https://github.com/ethereum/EIPs/pull/10943), [密封交易](https://learnblockchain.cn/article/19464)）来实现 MEV 交易的协议内抗审查性。
FOCIL 是一个强大的原语，可以很容易地在其基础上构建，以在未来支持加密 mempool，但鉴于它们的复杂性，我们认为它应该作为单独的 EIP 提出。
*/
- 最近网络上没有发生太多审查：如今，很少有交易受到主要构建者和中继的审查。
/*
然而，情况并非总是如此，而且它可能会突然和不可预测地发生变化。
我们的观点是，以太坊应该被设计成在未来几十年内都具有稳健性和弹性，并通过可靠的包含保证来主动防止大规模审查，而不是措手不及并做出反应。
*/
- 可绕过性：审查提案者和构建者可以通过错过一个 slot 或生成一个充满任意交易的完整区块来绕过 FOCIL。
/*
然而，这是以牺牲提案者奖励和分别呈指数增长的基础费用为代价的。
目前正在进行的关于错过 slot 惩罚或回退提案者的工作也旨在解决这一差距。
*/
FOCIL 展示了很高的技术准备水平。 FOCIL 规范已经过审查，11 个客户端中有 8 个已经实现了 FOCIL 原型，其中 2 个由社区成员开发。 规范和原型都已准备好在 Glamsterdam 可用时重新基于 Glamsterdam。
标题链接 安全性与未决问题
FOCIL ( EIP-7805) 包含了针对关键安全风险（例如共识活跃性、IL 含糊不清 和与分叉选择相关的更改）的明确缓解策略，所有这些都在 EIP 中详细说明。 该设计还与 Native AA ( EIP-7701) 和其他提案兼容，包括 BAL ( EIP-7928) 和 ePBS ( EIP-7732)。
