以太坊路线图的实施进展速览,每一条中国中材集团技术路线,都将会在“世界计算机”处交汇!

注:本文档旨在作为以太坊道路图上各个项目的进口点,为那些想要深入研讨的人供给快速的摘要以及链接。

它是一份动态文档,请假如此处供给的任何信息不清楚、不精确、过期或短少更好的链接,请随时与我联络。

正如道路图上的箭头所示,列出的各个阶段不是首尾相接的,各种尽力是并行产生的。

一、兼并(The Merge)

方针:具有一个抱负的、简略的、强健的以及去中心化的权益证明(PoS)共同。

现已完结了什么

1、2020 年 12 月 1 日 – 信标链发动。

引进由验证者质押的 ETH 维护的以太坊共同层; 在共同规范中称为阶段 0?(Vitalik 以及 Danny Ryan 的注释版别);

2、2021 年 10 月 27 日 – 预热分叉 (Altair) – 共同客户端开发人员试运转了一次和谐硬分叉晋级。

Altair 引进了同步委员会?来支撑轻客户端,并调整了一些赏罚办法; Altair 公告;? Altair 规范?(注释版?); 关于 Altair 的“What’s new in ETH2” 文章;

3、2022 年 9 月 15 日 –兼并! 不再有 PoW——共同层和履行层在区块高度到达15,537,394? 时进行了大兼并。

下一步是什么

1、提款– 使验证者能够提取悉数或部分质押 ETH 权益。

Capella 分叉?指定共同层的改变; EIP-4895? 指定了履行层的改变; Tim Beiko 关于提款的常见问题解答?; 带有其他信息的提款元规范?;

2、分布式验证器——引进多重签名,其间 n 个人同享同一个验证器,m-of-n 有必要就其行为办法达到共同。

经过避免意外罚没使其更易于拜访(例如,经过在多个参加者之间无需信赖地分配所需的 32 ETH)来增强质押; 这不是协议内的作业,SSV? 和Obol? 等团队正在为此而尽力;

3、视图兼并——调整分叉挑选规矩(验证器投票的办法),以减轻一类进犯。

本质上使诚笃的验证者能够“强加”他们对链的正确 head 的观点,以削减歹意验证者割裂投票并在之后依照自己的志愿重组区块的时机; ethresear.ch 帖子?有许多(十分技能性的)研讨布景;

4、改善聚合—— 以太坊尽力支撑尽或许多的验证者,但让每个验证者对每个区块进行投票(并验证其他全部验证者的投票)过于占用带宽。下一个最好的作业是聚合签名,但这也有其局限性,而且能够做得更好。

关于 BLS 聚合好??处的科普贴;? 潜在候选计划:Horn;?

5、单 slot 终究性(SSF)——每个 slot (12 秒)承认链,而不是按 epoch (12.8 分钟)来承认。

通往 SSF 的途径;? 除了改善的签名聚合,咱们还需求处理别的两件事:

(1)SSF 共同算法——现有与 SSF 兼容的算法是不行的,咱们想要一个即便超越 1/3 的验证器离线,也能坚持链活泼的算法;

(2)SSF 验证者经济学——假如咱们终究不得不束缚验证器的数量,咱们怎么束缚参加,咱们会做出什么献身?

6、隐秘 leader 推举(SLE)

今日,被选中提议一个区块的验证者(slot 的 leader)会提早被知道,这使得潜在的 DoS 进犯能够专门针对行将到来的区块的 leader。 ethresear.ch? 关于随机洗牌的单一 SLE 协议的帖子:除了 leader 自己,没有人知道谁将成为 slot 的 leader,直到他们提醒他们的区块以及他们的领导力证明。 非单一隐秘 leader 推举?也或许是一种挑选。

7、支撑更多的验证器——继续的长时刻尽力:安全地支撑更多验证器总是可取的。

8、量子安全的聚合友爱签名—— 使以太坊免受量子核算机进犯。

众所周知,以太坊所运用的 BLS 签名计划背面的密码学被量子核算机破解了,但已知的量子安全的代替签名计划不如 BLS 签名计划那样有效地聚合(因而需求一种既量子安全又对聚合友爱的计划); 两种抢先的量子安全办法是依据 STARK? 以及 依据 Lattice;

9、施行 EIP-4844—— 将 EIP-4844 应用到以太坊主网。

将需求一个“典礼”来创立可信设置:解说?、估计时刻表?、规范;? EIP-4844 施行时刻表概述?;

10、根底 rollup 扩容—— 依赖于以下内容:

EIP-4844 – 由于“每个节点下载全部数据”的性质束缚了 blobspace 的可用容量,扩容依然被认为是根本的/有限的; Rollup 有限的辅佐轮(拜见提议的里程碑?);

11、完好 rollup 扩容—— 依赖于以下内容:

数据可用性采样的 P2P 规划:触及对数据分片所需网络的全部尽力和研讨 DA 采样客户端:开发轻量级客户端,能够经过几千字节的随机采样快速判别数据是否可用 高效的 DA 自我修正:能够在最恶劣的网络条件下有效地重构全部数据(例如歹意验证者进犯,或许多节点的长时刻停机) 去除辅佐轮的 rollup:彻底去中心化的排序器、无需信赖的诈骗证明者、不行变的合约等。

12、量子安全以及无可信设置的许诺—— 让以太坊免受量子核算机影响。

尽管多项式许诺(KZG)高效而强壮,但它们不是量子安全的,而且需求一个可信设置。对更抱负的长时刻许诺的研讨正在进行中,终究方针是在底层“热插拔”KZG; 二、The Scourge

方针:确保牢靠可信的中立买卖包括,并避免 MEV 的中心化以及其他协议危险。

相关链接:

以牢靠的中立为辅导准则?; 关于 MEV 的各种推特帖?; 关于 MEV 和 PBS 的文章?; 关于 PBS 的链接列表?; 现已完结了什么

1、协议外 MEV 商场——MEV-Boost? 中间件答应一般验证者从 MEV 中获利,而无需自己运转杂乱的 MEV 战略。

该处理计划自身并不完好,由于它存在检查问题?; 请参阅弹性本钱?以及SUAVE?,了解使这些协议外商场更具弹性的主意和计划; 下一步是什么

1、包括列表或代替计划——让区块提议者对区块构建者施加束缚,即强制他们包括买卖。

(1)包括列表注释?;

(2)研讨在不给区块提议者增加担负的情况下束缚区块构建者?;

2、协议内 PBS– 将区块构建者的商场直接归入协议中。

3、MEV 毁掉——让区块链捕获从链上经济中提取的价值。

(1)经过提议者拍卖的直接毁掉 MEV 提案?;

(2)委员会驱动的 MEV 滑润?将使协议能够感知 MEV;

(3)经过经济鼓励束缚验证者集?,将经过负发行直接焚烧 MEV;

4、应用层 MEV 最小化——不直接与 L1 相关,该项目触及开发人员在规划 dapp 时将 MEV 考虑在内。这里是一些选用 MEV 最小化战略的 dapp 示例?。

分布式 builder 轨迹

跟着区块提案坚持去中心化,咱们现在有一个独自的问题,即区块构建变得中心化。即便道路图上的全部其他项目,都旨在最大极限地削减集中式区块构建的最坏或许负面影响,但能够跨多个节点分发区块构建依然是一个首要的优点。

Blob 构建– 寻觅办法,以减轻在一般消费硬件能够运转的多个节点进步行数据分片的高带宽和处理需求; 预承认服务– 给用户强有力的确保,他们的买卖将被包括鄙人一个区块; 抢先维护– 最大极限地削减有毒的 MEV,例如三明治买卖,以坚持分布式构建牢靠的中性;

它依然是一个活泼的研讨范畴,具有十分敞开的规划考虑,因而不清楚前两项是否应该包括在协议傍边(因而在道路图上是问号状况)。

以下是一些相关链接:

谈兼并后的区块构建?,其间说到了去中心化的区块构建; 谈谈去中心化区块构建者;? 关于分布式区块构建的一些主意;? 三、The Verge

方针:验证区块应该超级简略——下载 N 字节数据,履行一些根本核算,验证一个 SNARK 就完结了。

这个阶段本质上是经过终究完结轻客户端来添补“客户端空白?”:不是每个人都想或能够运转一个全节点。 The Verge 的方针是引进无需信赖或信赖最小化的代替计划,这些代替计划易于运转且不需求许多存储和带宽。 The Verge 的终究方针是让这些轻客户端供给与今日的全节点相同的安全确保。

全部都依赖于零常识技能,例如 SNARKs 和 STARKs,而它们自身依赖于多项式许诺计划。以下是一些相关链接:

大约介绍 zk-SNARKs 是怎么完结的?; 关于 STARK 的剖析?; 假如你懂一些数学和编程,这篇文章就能够让你理解什么是 zk-SNARKs?; 关于多项式许诺(Polynomial Commitment)计划在扩容以太坊中的效果?; 现已完结了什么

1、处理了最严峻的 EVM DoS 问题——首要是 gas 定价问题,已在柏林晋级中修正?。

2、根本的轻客户端支撑(同步委员会)——多亏了同步委员会,很简单构建遵从共同层的轻客户端。

检查Helios 客户端?怎么运用同步委员会(以及关于这些委员会怎么作业的精彩文章) 下一步是什么

1、SNARK / STARK ASIC——专为创立证明而构建的硬件。

2、Verkle 树– 用更高效的数据结构替换用于大局状况的数据结构

(1)关于 Verkle 树的链接列表?;

(2)要害的优点是具有十分短的证明,轻客户端能够轻松地验证这些证明,以仅运用区块头来验证账户余额之类的东西——他们现已能够运用同步委员会来验证给定的区块头实际上是主链的一部分;

(3)依赖于找出正确的规范,怎么安全过渡,以及它将怎么影响更新/修正状况的 EVM gas 本钱(也依赖于制止 The Purge 中的SELF-DESTRUCT);

3、依据 SNARK 的轻客户端– SNARKify 同步委员会过渡以快速证明当时同步委员会由哪些验证者组成

4、彻底 SNARKed 的以太坊– 以下 3 项加在一起构成了以太坊具有极端高效和无需信赖的区块验证结局阶段的一个重要里程碑:

(1)用于 Verkle 证明的 SNARK——经过将 Verkle 证明兼并到一个 SNARK 中,区块将包括一个关于它们修正的部分状况的简略独立证明,因而无需验证区块 N-1 的整个状况来验证区块 N 是否正确修正了它。

(2)用于共同状况转化的 SNARK——从信赖最小化的同步委员会转移到对共同层上产生的全部进行彻底无需信赖的验证。

(3)L1 EVM 的 SNARK——经过将 zk-EVM 直接集成到 L1 中,运用 rollup 团队在 zk-EVM 上所做的尽力(请参阅有关enhrined rollups?的帖子)。

5、增加 L1 gas 束缚——经过消除今日“每个节点都需求存储全部东西”的担负以无需信赖的办法验证区块,具有更大的区块将更简单取得更多的 L1 可扩展性(这将主动复合全部 L2 扩展)

6、转向量子安全的 SNARK(例如 STARK)——使以太坊免受量子核算机进犯(SNARK 的有效性,依赖于已知被量子核算机破解的密码学,而 STARK 则否则)。

四、The Purge

方针:简化协议,消除技能债款,并经过铲除旧前史束缚参加网络的本钱。

现已完结了什么

1、消除大部分 gas 退款——柏林晋级中完结的全部gas 从头定价?。

2、信标链快速同步——全部的开发作业都是从最近完结的 epoch 开端同步,而不是从来源同步(在大多数共同客户端中称为“检查点同步”)。

3、EIP-4444规范—拜见 EIP 规范? 。

下一步是什么

1、前史过期——经过让旧前史过期来削减存储要求、同步时刻以及代码杂乱性。

(1)看这个推特贴?;

(2)依赖于 EIP-4444 的完结,这取决于经过其他办法(如Portal Network)拜访代替前史记录

(3)Vitalik 关于前史到期的 AMA;?

2、状况过期——处理关于状况的整个“付出一次,数据永久存储”问题。

(1)这个主意是主动使状况的未运用部分过期,而且只保存一个 verkle 树根,用户能够在需求时运用它来康复过期状况;

(2)Vitalik 关于状况过期的 AMA?;

(3)依托:根本状况到期规范——咱们实际上是怎么做到的,检查潜在的道路图?(和其他选项?);

地址空间扩展——将地址巨细从 20 字节增加到 32 字节?,以避免抵触并增加有关状况周期的数据; 应用程序剖析——找出它或许怎么损坏当时的应用程序/合约以及它们怎么习惯;

3、日志变革——简化事情日志?的作业办法,以更有效地查找前史事情。

4、序列化和谐——履行层运用RLP? 进行数据序列化,而共同层运用SSZ?,这将脱节 RLP,而在全部当地运用SSZ。

5、删去旧的业务类型——中止支撑旧的业务类型(拜见EIP-2718?),以从客户端删去代码杂乱性(以一些向后兼容为价值)。

6、EVM 简化轨迹。

(1)制止SELFDESTRUCT——这个操作码是许多问题的本源(相关 EIP:EIP-4758? 和EIP-4760? 及评论?);

(2)简化 gas 机制——触及删去此处?说到的许多与 gas 相关的 EVM 特性;

(3)预编译——> EVM完结——脱节预编译合约?,支撑直接 EVM 完结(即大模块化运算,拜见 The Splurge);

五、The Splurge

方针:修正其他全部

全部更高优先级晋级所不需求的夸姣改善,都归于 The Splurge。最大的改善项目是帐户笼统?,但也是对现有事物的小调整。

现已完结了什么

1、EIP-1559?——这个闻名的 EIP 除了焚烧 ETH 之外还有许多优点?。

2、ERC-4337 规范?——该 ERC 旨在在不修正中心协议的情况下引进账户笼统(ERC-4337 的初始解说文章?)。

下一步是什么

1、终究阶段的 EIP-1559– 经过多维?增强 EIP-1559。

2、EVM 改善轨迹以及从 The Purge 到 EVM 终究阶段的简化轨迹。

(1)EVM 目标格局 (EOF)— 一组 EIP,答应在布置 EVM 字节码时进行验证和版别操控。请看这篇解说文章?和推特帖?;

(2)大模块化运算——道路图中的许多密码学都依赖于十分大的数字进行模运算,这能够直接在 EVM 中更有效地完结;

(3)进一步的 EVM 改善——任何其他值得增加以改善 EVM 的东西——或许为了消除杂乱性?而删去的任何东西;

3、导致终究阶段帐户笼统的帐户笼统轨迹。有关详细信息,请参阅Vitalik 对以下项目的描绘?:

(1)ERC-4337– 开发真实取得选用的兼容智能钱包;

(2)自愿 EOA 转化——经过 EIP,让一般账户不行逆地增加代码将其转化成合约账户,即成为契合 4337 规范的智能钱包;

(3)协议内转化——使全部现有帐户都有必要进行上述转化;

4、可验证推迟函数(VDF)——本质上是“不行并行的作业量证明”,它将增强PoS 以及其他事物的随机性?(请参阅关于 VDF 及其潜在用处的ethresear.ch 帖子?)

5、探究粉尘账户的处理计划——解救“粉尘资金”,这些资金的移动本钱高于其价值。在这里有一堆主意?。

本渠道所供给的金融出资信息仅供参考,不构成任何出资主张。出资者应该自行承当出资危险,并依据自己的实际情况进行决议计划

发布于 2023-09-23 11:09:37
收藏
分享
海报
2
目录