文章主要介绍了FOCIL(Fork Choice–enforced Inclusion Lists),它是一种旨在提高交易包含保证的方案,通过允许多个验证者参与区块构建,从而增强以太坊的审查抵抗能力和安全扩展性。FOCIL 确保在限定时间内将所有协议验证的交易都包含在链上,对验证者、用户和应用都有积极影响。
_感谢 Jihoon, Julian, Nixo 和 Caspar 提供的反馈和评论。_
FOCIL,如 EIP-7805 中所规定的,代表 FOrk Choice–enforced Inclusion Lists(分叉选择强制包含列表),目前正在考虑将其包含在 Hegotá 分叉中(CFI)。它通过允许多个验证者参与区块构建,显著提高了交易包含保证。
主要优势:抗审查性
FOCIL 保证任何协议有效的交易都会在限定的时间范围内被包含在链上。通过限制中心化中介机构随意过滤交易的能力,它维护了公平和平等的区块空间访问权,确保以太坊仍然是在链上进行交易的最具可信中立性的场所。
次要优势:安全扩展
随着以太坊的扩展(例如,gas 限制增加)并朝着 zkEVM 发展,它越来越依赖于复杂的证明者和构建者。FOCIL 可以防止这些专业参与者有选择地排除公共交易,从而有效地将抗审查性与区块生产的中心化脱钩。
缓解构建者市场中心化带来的审查风险的解决方案早就应该出现了。由于 MEV 和 私有订单流,构建者市场本质上容易中心化,并且构建者、中继器和搜索者之间的垂直整合持续增加。
以太坊应为 所有符合协议规则的有效交易 提供协议级别的快速、可靠包含保证,而不是让包含受制于外部偏好。如果没有 FOCIL,以太坊的这一核心价值实际上无法得到保证,从而使该协议容易受到大规模审查事件的影响。
对于验证者,FOCIL 是朝着使他们能够为维护 CR 做出贡献迈出的有意义的一步,而无需成为本地构建者并牺牲 MEV 奖励。
对于用户和应用程序,发布 FOCIL 意味着:
而且这个清单还在继续,因为各种各样的用户和应用程序都从强大的交易包含保证中受益。
FOCIL 被广泛认为是改进审查交易包含保证的最佳设计。大多数反对 在 Glamsterdam 中发布 FOCIL 的声音都与优先级排序和分叉范围有关。
也就是说,FOCIL 确实带来了一些权衡和设计选择:
协议复杂性:FOCIL 在一个 slot 中增加了一个新的角色/职责和相关的截止日期,并且包含列表将消耗带宽(总共 128 KiB)。
不支持 blobs:FOCIL 不支持 blob 交易。
目前正在积极进行解决方案的研究,以提高 blob 的包含保证(即,使用 blobpool tickets)。我们认为这是一个高度优先事项,但鉴于常规交易和 blob 之间的不同属性(尤其是在确定其可用性方面),我们认为 blob CR 应该作为独立的 EIP 来解决,并在后续的分叉中发布。
可以使用加密 mempool(例如,EIP-8105, Sealed transactions)来实现 MEV 交易的链上抗审查性。FOCIL 是一个强大的原语,可以很容易地在此基础上构建,以支持未来加密的 mempool,但鉴于它们的复杂性,我们认为它应该作为单独的 EIP 提出。
然而,情况并非总是如此,而且它可能会突然且不可预测地发生变化。我们的观点是,以太坊的设计应该在未来几十年内保持稳健和弹性,并通过可靠的包含保证主动防止大规模审查,而不是措手不及并做出反应。
然而,这是以牺牲提议者奖励和呈指数增长的基础费用为代价的。目前正在进行的关于错过 slot 惩罚或后备提议者的工作也旨在解决这一差距。
FOCIL 展示了 高度的技术准备情况。FOCIL 规范已得到审查,并且 11 个客户端中有 8 个已实施 FOCIL 原型,其中 2 个由社区成员开发。一旦 Glamsterdam 可用,规范和原型都可以重新定位到 Glamsterdam 上。
FOCIL(EIP-7805)包括针对关键安全风险(如共识活跃性、IL 含义模糊和分叉选择相关更改)的明确缓解策略,所有这些都在 EIP 中详细说明。该设计还与 Native AA(EIP-7701)和其他提案(包括 BAL(EIP-7928)和 ePBS(EIP-7732))兼容。
- 原文链接: ethereum-magicians.org/t...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!