FOCIL (Fork-Choice Inclusion Lists) 旨在通过允许多个验证者确保所有有效的交易都被包含在区块中,来提高以太坊的抗审查性。当前以太坊区块生产高度中心化,FOCIL 通过赋予去中心化的验证者集合对构建者的区块执行包含约束,从而恢复公平性并确保以太坊保持去中心化和中立。
感谢 Jihoon Song, Caspar Schwarz-Schilling , Terence Tsao, Jacob Kaufmann 和 Francesco D’Amato 对本文档的反馈和评论。
本文档遵循了 @timbeiko 设计的模板,用于提议一个分叉包含的重点项目。
概要 (通俗解释):
Fork- Choice Inclusion Lists (FOCIL, EIP-7805) 通过允许多个验证者确保任何在协议规则下有效的交易都包含在区块中,从而提高以太坊的抗审查性。
为什么这很重要:
抗审查性、无需许可性和可信中立性是以太坊的核心价值。如今,超过 80% 的区块由两个构建者生产,他们可以单方面决定是否包含或排除交易(censorship.pics 的数据清楚地说明了这一点,构建者的审查程度随时间显著波动)。FOCIL 通过授权去中心化的验证者集合对构建者的区块强制执行包含约束来解决这个问题,恢复公平性,并确保以太坊保持去中心化和中立。
谁直接受益:
这直接使所有用户受益,只要网络不拥堵,就可以确保他们的交易及时包含在链上,而不必依赖两个中心化实体不审查他们。
为什么是现在?
缓解构建者市场中心化带来的审查风险的解决方案早就应该有了。由于 MEV 和 private order flow,构建者市场本质上容易中心化,而且我们观察到随着时间的推移,构建者、中继和搜索者之间的垂直整合越来越多。以太坊必须强制执行协议级别的保证,即用户的交易将落在链上,只要它们根据协议规则是有效的,不受外部偏好的影响。FOCIL 应该立即实施,赶在出现更严重的审查行为之前,否则协调和采用旨在提高抗审查性的协议级变更会更加困难。
详细理由:
主要优势:
技术准备情况:
FOCIL 展示了很高的技术成熟度。它已经被六个客户端团队实施,并且成功运行在具有 Prysm、Lodestar、Teku 和 Geth 互操作性的 local devnet 上。它目前正在进行规范测试,计划在未来几周内使用 Assertoor 进行额外的本地 devnet 测试。共识层规范已经过 CL 客户端团队的初步审查,执行层规范现在正在接受 EL 客户端团队的审查。
安全性和未决问题:
FOCIL ( EIP-7805) 包含了针对关键安全风险(如共识活跃性、IL 加粗 equivocation 和分叉选择相关的变更)的明确缓解策略,所有这些都在 EIP 中详细说明。该设计还与 EIP-7702 和其他提案(如 Delayed Execution (EIP-7886)、BALs (EIP-7928) 或 ePBS (EIP-7732)) 兼容。
资源:
有关 FOCIL 的实施进展、研究文章和演讲都可以在 https://meetfocil.eth.limo/ 上找到。
- 原文链接: ethereum-magicians.org/t...
- 登链社区 AI 助手,为大家转译优秀英文文章,如有翻译不通的地方,还请包涵~
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!