Hegotá 头条提案:FOCIL,EIP-7805 - 魔法师 / 原始汤

本文介绍了 FOCIL(Fork Choice–enforced Inclusion Lists),它是一种旨在提高以太坊交易审查抵抗性的机制,通过允许多个验证者参与区块构建,保证任何协议有效的交易在限定时间内被包含在链上。FOCIL 有助于保持以太坊作为中立的交易场所,并为以太坊的未来扩展提供安全保障。

感谢 Jihoon, Julian, NixoCaspar 提供的反馈和评论。

Heading link 总结 (ELI5)

EIP-7805 中指定的 FOCIL 代表 FOrk Choice–enforced Inclusion Lists(分叉选择强制包含列表),目前正在考虑将其纳入 Hegotá 分叉中 (CFI)。它通过允许多个验证者参与区块构建,从而显著提高交易包含的保证。

Heading link 倡导者: @soispoke, @jihoonsong

Heading link 详细理由

Heading link 为什么重要?

主要好处:抗审查性

FOCIL 保证任何协议有效的交易都会在限定的时间内被包含在链上。通过限制中心化中介机构任意过滤交易的能力,它保留了对区块空间的公平和平等的访问,确保以太坊仍然是在链上进行交易的最具可信中立性的场所。

次要好处:安全扩展

随着以太坊的扩展(例如,gas 限制增加)并转向 zkEVM,它越来越依赖于复杂的证明者和构建者。FOCIL 阻止了这些专业参与者有选择地排除公共交易,从而有效地将抗审查性与区块生产的中心化脱钩。

Heading link 为什么现在?

缓解构建者市场中心化带来的审查风险的解决方案早已应该出现。由于 MEV 和 private order flow(私有订单流),构建者市场天生就容易中心化,并且构建者、中继和搜索者之间的垂直整合持续增加。

以太坊应该为所有符合协议规则的有效交易提供协议级别的快速、可靠的包含保证,而不是让包含受制于外部偏好。如果没有 FOCIL,以太坊的这个核心价值实际上并没有得到保证,从而使协议容易受到大规模审查事件的影响。

Heading link 利益相关者影响

对于验证者而言,FOCIL 是朝着使他们能够为维护 CR 做出贡献而无需成为本地构建者并牺牲 MEV 奖励的有意义的一步。

对于用户和应用程序而言,实施 FOCIL 意味着:

  • 机构可以相信,竞争对手无法悄悄地贿赂或施压少数服务提供商,以延迟其交易上链。它降低了交易对手风险。
  • L2 可以缩短提款窗口,提供更流畅的 UX 和更强的互操作性。这意味着更快的退出和更低的跨链交换成本。
  • 使用稳定币购买 ETH 的日常用户可以获得与大型基金重新平衡其投资组合相同的协议级别的包含保证。一个很好的例子是借贷协议上的借款人,他们需要包含其交易,而不必担心因无法补足抵押品以避免清算而被阻止。

而且这个清单还在继续,因为广泛的用户和应用程序都将受益于强大的交易包含保证。

Heading link 权衡和限制

FOCIL 被广泛认为是提高受审查交易包含保证的最佳设计。大多数反对 在 Glamsterdam 中发布 FOCIL 的声音都与优先级和分叉范围有关。

也就是说,FOCIL 确实存在一些权衡和设计选择:

  • 协议复杂性:FOCIL 在一个 slot 中增加了一个新的角色/职责和相关的截止日期,并且包含列表将消耗带宽(总共 128 KiB)。

  • 不支持 blobs:FOCIL 不支持 blob 交易。

目前正在积极地研究解决方案,以提高 blob 的包含保证(即,使用 blobpool tickets)。我们认为这是一个高度优先事项,但考虑到常规交易和 blob 之间的不同属性(尤其是在确定其可用性方面),我们认为 blob CR 应该作为一个独立的 EIP 来解决,并在后续的分叉中发布。

  • 不支持 MEV 交易:通过 FOCIL 包含交易意味着它会公开,这使得它不适合携带 MEV 的交易。

可以使用加密 mempools(例如,EIP-8105, Sealed transactions)来实现 MEV 交易的协议内抗审查性。FOCIL 是一个强大的原语,可以很容易地在此基础上构建,以在将来支持加密 mempools,但考虑到它们的复杂性,我们认为应该将其作为单独的 EIP 提出。

  • 最近网络上没有发生太多审查:如今,只有极少数交易受到主要构建者和中继的审查。

但是,情况并非总是如此,并且它可能会突然和不可预测地发生变化。我们的观点是,以太坊的设计应该具有健壮性和弹性,能够持续数十年,并通过可靠的包含保证主动防止大规模审查,而不是措手不及并不得不做出反应。

  • 可绕过性:审查提议者和构建者可以通过错过一个 slot 或生成一个充满任意交易的完整区块来绕过 FOCIL。

但是,这是以牺牲提议者奖励和指数级增加基础费用为代价的。目前正在进行的关于错过 slot 惩罚或回退提议者的工作也旨在解决这一差距。

Heading link 技术准备情况

FOCIL 展示了 高水平的技术准备情况。FOCIL 规范已经过审查,并且 11 个客户端中有 8 个已经实现了 FOCIL 原型,其中 2 个是由社区成员开发的。规范和原型都已准备好在 Glamsterdam 可用时重新基于 Glamsterdam。

Heading link 安全性和未决问题

FOCIL ( EIP-7805) 包含针对关键安全风险(例如共识活跃性、伊斯坦布尔攻击以及与分叉选择相关的更改)的明确缓解策略,所有这些都在 EIP 中详细说明。该设计还与 Native AA ( EIP-7701) 以及包括 BAL ( EIP-7928) 和 ePBS ( EIP-7732) 在内的其他提案兼容。

  • 原文链接: ethereum-magicians.org/t...
  • 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
点赞 0
收藏 0
分享
本文参与登链社区写作激励计划 ,好文好收益,欢迎正在阅读的你也加入。

0 条评论

请先 登录 后评论
以太坊中文
以太坊中文
以太坊中文, 用中文传播以太坊的最新进展