以太网路线图

日期：2023年04月15日 12:18 浏览量：1

最新以太路线图内容注释[ xy 002 ] [ xy 001 ] [ xy 002 ] [ xy 001 ] [ xy 002 ] [ xy 001 ]本文档是一个入门指南，旨在帮助读者了解以太路线图的各个部分如果想详细了解，本文还附有详细链接。

这是一个不断更新的文档、如果此处提供的信息有不明、不准确、过时或遗漏的地方，请随时联系我们。

注意：路线图中的箭头所示，列出的各个部分不是连续的工作，它们的推进是并行的。

[ xy 001 ]合并[

]

目标：理想化、简洁、具有鲁棒性和去中心化的销售点共识机制

完成) xy002 )

2020年12月1日-信标链启动

引入以太网PoS共识层，验证者质押ETH以维护此层的网络安全

信标链在一致规范中被称为第0阶段(0(vitalik注释版本和Danny Ryan注释版本) (

)

2021年10月27日—预热叉(Altair )共识层的客户端开发者们在调整硬叉升级的基础上进行了试点测试。

Altair引入了支持轻型客户端的同步委员、以及对处罚进行了一些调整的

Altair主网升级公告

Altair规范[注释版本[ xy 002 ] [ xy001 ]“whats Nair

2022年9月15日，—合并！ PoW退休-在区块高度15、537、394处完成共识层和执行层的整合。

下一步的工作

提款-允许验证者提取全部或部分质押金

Capella分支协议层变更

EIP-4895指定执行层变更

Tim Beiko提款常见问题解答

提款来源规范和其他信息

作为分布式验证者的“多签名，但用于质押”在该技术中，n人共享同一验证者，且m-of-n必须就其行为方式达成协议

通过防止意外的惩罚来强化质押机制，使其更容易参与()通过在多个参与者之间信任并划分所需的32个ETH，

这不是协议内的工作，而是SSV和Obol等团队致力于该研究

视域合并(View merge ) -分支选择规则)调整验证者的投票方式)以减少一种攻击) xy002 )

本质上，“强制”诚实的验证者看到正确的链头减少作恶的验证者分裂投票，重组对其有利的区块的机会。

ethresear.ch post有很多关于这项研究的[非常技术性的]背景

改进的聚合-以太网虽然努力支持尽可能多的验证者，但每个验证者对每个块进行投票和验证每个其他验证者的投票会消耗过多的带宽。其次，要求聚合签名，这也是有极限的，可以做得更好

bls关于聚合签名好处的文章

潜在的签名技术候选： Horn

单个slot实现最终确定性(SSF )。每隔一个Epoch )每隔一个slot (每12秒确定链接状态)

单一slot实现最终确定性的途径(中文版(xy002 )

除了改进签名聚合外，

- SSF共识算法-与现有SSF兼容的算法已足够，希望有1313名以上的验证者离线时也能保持链条活性的算法。

- SSF验证者经济学-如果最终必须限制验证者的数量，应该如何限制参与率，做出什么样的牺牲？

秘密指导选举(SLE )

目前，被选中提出一个块的验证者(一个slot的领导人)稍有了解，潜在的DoS攻击可能会影响将来块的

ethresear.ch上有一个帖子，就基于随机洗牌的单一秘密领导人选举达成了共识。不仅是领导者自己，在把自己的区块和领导者的证明一起公开之前，谁会成为这个slot的领导者是谁也不知道的。

不是单一秘密领导人的选举也可能是选择支持

更多的验证者。长期努力：安全支持更多验证者始终是我们的目标

量子安全、聚合友好的签名-在量子计算机成为合理的担忧之前，使以太体安全是我们长期努力的一部分

中使用的基于BLS签名方式的密码学是由量子计算机进行的然而，众所周知，量子安全替代签名方案并不像BLS那样有效地聚合签名(因此，需要量子安全和聚合友好两种方案)。

两个主要的量子安全方案基于STARK和Lattice[ xy 002 ] [ xy001 ] the scourge [ xy 002 ] [ xy001 ]目标：确保可靠、中立的事务打包流程，避免MEV中心化和其他协议风险。

相关链接：

关于以可靠中立为指导的

mev的多个推送列

mev和PBS的文章

关于PBS的链接列表[

协议外的MEV市场— MEV-Boost中间件使公众验证者可以从MEV中获益，而无需自己运行复杂的MEV策略

解决方案本身这是因为存在检查的问题

阅读“成本保留”和“价值主张”文章，了解使这些非合同MEV市场更灵活的计划

下一步工作

程序包列表或备选方案-限制块构建者，即交易

程序包列表相关备注

讨论如何约束构建者而不增加提案者的负担

协议内的PBS —将块构建市场直接写入协议内

MEV废弃—原本是链上的

提议在发起人拍卖中直接进行MEV丢弃

委员会推进MEV的平均分配，在协议中由MEV

通过经济激励设定验证者子集的上限，负增发

最小化APP应用层MEV -此任务与L1无关，而是与开发人员在设计dapp时必须记住mev有关。这里有几个采用MEV最小化策略的dapp的例子

由于

分发构建者根

块建议流程保持中心化，因此我们目前存在块构建中心化的个别问题。即使路线图的其他所有部分都是以将块状物构筑中心化导致的最坏情况控制在最小限度为目的的，能够将块构建分布在很多节点上仍然是一大优势。

Blob结构-寻找一种方法来降低许多节点上的数据片的高带宽和处理要求，这些节点可以在普通消费者级硬件上运行。

预确认服务-为用户提供强有力的保证。他们的交易打包在下一块

抢跑保护-最大限度地减少有毒MEV (如夹层攻击)，并使分布式构建过程保持可靠的中立性

这仍然是一个活跃的研究领域，由于具有非常开放的设计考虑，不知道前面的两个框是否应该写入协议内[因此，路线图中存在问号]

关于合并后的模块构筑的演讲去中心化块构建

关于去中心化构建者的演讲

论述了关于分布式块构建的几点思考

theverge

目标：块验证必须非常简单。下载n字节数据，执行一些基本计算，验证SNARK，完成验证。

的部分基本上是关于最终使写客户机成为可能，并不是每个人都想要或能够运行完整节点来填补“客户端不足”。 The Verge的目标是部署不需要大量存储和带宽、易于运行、最大限度地减少可靠性或可靠性的替代方案。 The Verge的最终目标是确保这些灯光客户端提供与当前所有节点相同的安全性。

所有这些都依赖于诸如SNARKs和STARKs之类的零知识技术，而这本身又依赖于多项式承诺程序。这里有几个关于这方面的链接。

ZK-snark为什么要用中文版

分析STARK

，假设你是懂数学和编程的人。

关于多项式承诺方案在扩展以太网中的作用

已完成的工作

解决了最严重的EVM DoS问题——主要是gas定价问题，通过柏林升级解决

基本写客户端支持(同步委员会) -通过同步委员会，可以轻松构建符合共识层的写客户端(了解xy 002 [ xy 001 ] Helios客户端如何利用同步委员会)

下一步工作

EIP-4844实现-要在主网络上部署EIP-4844

，请创建可靠的初始化说明、日程、规格

EIP-4844时间线概述

基本rollup扩展-取决于以下任务：

EIP-4844 -的扩展性仍然被认为是基础性的/有限的，这是因为"各节点下载所有数据"的性质限制了blobspace的可用容量，[

]

rollup的有限辅助轮阶段(在文章中为去除rollup辅助轮的路线图)

扩展完整rollup依赖于以下任务： [ [ xy002 ] [ xy001 ]数据可用性采样(P2P设计)数据片网络连接问题的一些工作和研究(xy 002 ) )。

数据可用性采样客户端：开发轻量级客户端，通过几千字节的随机采样可以快速确定数据是否可以通过

中的有效DA自我恢复。在最差的网络条件下可以有效地重建所有数据()、恶意验证者攻击或大节点长时间停止

不使用辅助环的rollup :完全中心化排序者、信任欺诈证书、不变合同等

不需要量子安全可靠的初始化约定——在量子计算机成为合理的担忧之前，让以太体安全是我们长期努力的一部分

虽然高效且强大但是，到处使用的多项式承诺(KZG )不是量子安全的，需要可靠的初始化。致力于更理想的长期使用的研究正在进行，最终目标是在底层对KZG进行热转换

SNARK STARK专用集成电路-专用于创建证书的硬件

Verkle tree —将全局状态数据结构替换为更高效的版本

Verkle Tree的链接列表

的主要优点是可以生成非常简洁的证书，客户只需块标题就可以简单地验证这些证书，为了验证账户余额之类的——它们已经利用同步委员会，可以验证特定的块头实际上是主链的一部分

，需要制定相应的规范，进行安全迁移以及它如何影响处于更新/编辑状态的EVM gas开销(这取决于在The Purge部分取消“自定义”的工作)

)。

基于snark的写客户端-为同步委员会的状态转换生成snark证书，以快速验证哪些验证者构成当前的同步委员会

完全基于SNARK的以太网—以下三者相加是《以太网最终图景》(中文版)的重要里程碑，可实现极其高效可靠的块验证。

通过将用于

verkle证书的SNARK-verkle证书合并到一个snark中，块包含部分已更改状态的短的独立证书因此，不需要验证块N-1的整个状态来验证块n是否被正确修改。

转换共识状态的SNARK —从信任最小化的同步委员会转移到完全信任共识层发生的一切的验证[ xy 002 ] [ xy 001 ]利用针对l1evm的snark—Rollup团队在zk-EVM上所做的工作，将zk-EVM直接集成到

-阅读有关写入协议中rollup的文章[ xy 002 ] [ xy001 ]提高l1gas的上限-通过消除当前“所有节点必须存储所有内容”的负担来信任块中选择所需的族。这样可以很容易地形成更大的块，并获得更多的L1可扩展性。这将自动增强所有L2扩展的效果。

在量子计算机成为合理的担忧之前，转移到量子安全的SNARK (等)我们知道，使以太体实现量子安全是我们长期努力的一部分

SNARK可以由量子计算机解读，而STARK是[ xy 002 ] [ xy001 ] the purge [ xy001 ] the purge [ xy001 ]

目标：简化合同、明确技术债务、清理历史数据限制参与网络的成本

完成工作

清除所有gas返还—

信标链快速同步—这方面的所有开发工作都是从最近确定的epoch同步(在大多数共识层客户端上称为“检查点同步”)开始完成的，而不是从创造开始同步。

EIP-4444规范阅读EIP规范

下一步骤

使历史数据休眠-使旧的历史状态休眠以降低存储要求

阅读该Twitter的长篇文章[ xy 002 ] [ xy 001 ]实现EIP-4444，即通过门户网络等其他方法访问历史状态的替代方案

Vitalik是历史数据

状态休眠—针对状态修复“一次支付，永久保存数据”问题

此思想主要针对自动休眠状态中未使用的部分，只保留一个verkle tree路由在中，用户使用它对休眠状态

Vitalik的状态休眠机制的AMA

取决于这些任务。

-基本状态休眠规范：你打算如何实现它？，请看这个潜在的路线图

-地址空间扩展。将地址大小从20字节增加到32字节以防止冲突，并增加有关状态周期的数据

[ xy 001 ]-APP应用分析：阐明当前APP应用程序/合同如何被破坏，以及这些APP应用程序/合同如何应对

的日志改革-事件日志

序列化调整-执行层使用RLP序列化数据，一致层使用SSZ。这将逐渐放弃RLP，并使用SSZ

删除旧交易类型-停止支持旧交易类型以消除客户端代码复杂性。

EVM的简化路线

取消self destruct -消除此操作码是许多问题的根源

-selfdestruct的可行解决方案是解释为什么要删除此操作码以及如何删除

-相关EIP:EIP-4758，EIP-4760，讨论

[ xy001 ]简化gas机制-涉及移除许多与gas相关的EVM功能，在此讨论[ xy 002 ]

预编译- EVM实现-放弃预编译合同，直接采用EVM实现(即大规模模块化计算，请参见The Splurge ) xy002 ) [ xy 001 ] the splurge ()

所有不需要更高优先级的好东西都属于The Splurge部分。最大的项目是帐户抽象，但也有对现有内容的小调整。

已完成的工作

EIP-1559 —这一知名的EIP不仅取消了ETH

ERC-4337规范，还提供了许多好处。此ERC旨在在不修改核心协议的情况下部署帐户抽象

解释ERC-4337

下一步工作[ xy 002 ] [ xy001 ]通过形成EIP-1559的最终形式—多维来完成EIP-1559，通过AMM曲线和感知时间的[

EVM补充根和The Purge的简化根一起形成了EVM的最终格式

EVM对象格式(EOF )—一组多个EIP中选择所需的族。 EVM字节码可以在部署时进行验证和版本控制。请看这篇文章和推特帖子

大型模拟运算——路线图中的许多密码学依赖大量数字模拟运算，这可以直接通过EVM更有效地进行

[ xy 001 ]进一步完善EVM实现最终帐户抽象形式的帐户抽象途径，删除其他值得添加的内容或其他内容以消除复杂性。以下详细信息请参见Vitalik的说明。

ERC-4337 —开发兼容且实际使用的智能钱包

并自发转换EOA帐户—通过一个EIP在中，如果允许普通帐户不可逆地添加代码并将其转换为合同，它将成为与4337兼容的智能钱包。

写入协议-强制对所有现有帐户执行上述转换

可验证延迟函数(VDFs ) -本质上是“非并行工作量证明”，用于提高PoS和其他物品的随机性

为老客户寻找解决方案-要拯救这些“尘土飞扬的资产”，gas成本必须超过其自身的价值。你可以在这里看到很多想法

以太网路线图

推荐阅读