宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > 火星币 > 正文

2022 更新版以太坊路线图内容注解

作者:

时间:1900/1/1 0:00:00

译者注:本文基于最新以太坊路线图进行内容注解,下图为ECN译制的中文版。

本文档旨在为读者了解以太坊路线图上各个部分提供入口点,每一部分都做了简单的概要介绍,如想深入了解,文内亦附上了详细的链接。

注意:如路线图上箭头所示,所列出的各个部分并非连续进行的工作,它们的推进是并行的。

TheMerge(合并)

目标:实现一个理想化的、简洁的、拥有鲁棒性的以及去中心化的PoS共识机制

已完成工作

?2020年12月1日—信标链启动

引入以太坊PoS共识层,由验证者质押ETH来维护该层网络安全

信标链在共识规范中被称为阶段0(Vitalik的注释版本以及DannyRyan的注释版本)

?2021年10月27日—热身分叉(Altair)-共识层客户端开发者们在协调硬分叉升级方面进行了一次试运行

Altair引入了同步委员会来支持轻客户端,并对惩罚进行了一些调整

Altair主网升级公告

Altair规范(注释版本)

“What’snewinETH2”中对Altair进行解释的那期

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

下一步的工作

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

Capella分叉指定共识层中的变更

EIP-4895指定执行层中的变更

TimBeiko关于提款的FAQ

提款元规范和其他信息

?分布式验证者—“多签,不过是用于质押的”,这项技术中,n人共享同一个验证者并且m-of-n必须就其行为方式达成共识

通过防止意外的罚没来强化质押机制,并使其更加容易参与(比如,通过在多个参与者之间去信任地切分所需的32个ETH)

澳大利亚加密立法或将延至2024年及以后:3月6日消息, 据澳大利亚财政部的一份文件显示,该国政府计划在2023年第二季度发布加密立法相关咨询文件,并将在第三季度举行有关加密货币许可和托管的利益相关者圆桌会议,预计要到今年年底才会向内阁提交最终报告,这可能会将有关加密立法的任何决定延至2024年及以后。同时,政府还通过文件透露,已在财政部内设立了一个专门的“加密货币政策部门”。(AFR)[2023/3/6 12:44:44]

这并非协议内的工作,SSV和Obol等团队正致力于这项研究

?视域合并(Viewmerge)—调整分叉选择规则(验证者投票的方式)以减轻一类攻击

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

ethresear.chpost中有许多关于这项研究的(非常技术性的)背景

?改良的聚合—以太坊努力支持尽可能多的验证者,但是让每个验证者对每个区块投票(并验证每个其他验证者的投票)太占用带宽了。退而求其次就是聚合签名,但这也有其局限性,而且可以做得更好

关于BLS聚合签名的好处的解释帖子

潜在的候选签名技术:Horn

?单个slot实现最终确定性(SSF)—每隔一个slot(12秒)敲定一次链状态,而不是每隔一个epoch(12.8分钟)

通往单个slot实现最终确定性之路(中文版)

除了改良签名聚合之外,我们还必须弄清楚两件事:

-SSF共识算法-现有的与SSF兼容的算法是不够的,我们想要一个即便是超过1313名验证者离线也能保持链的活性的算法。

-SSF验证者经济学-如果我们最终不得不限制验证者的数量,我们如何限制参与率,以及我们需要做出什么牺牲?

?秘密领导选举(SLE)

目前,被选中提议一个区块的验证者(单个slot的领导者)是稍微提前知道的,这使得潜在的DoS攻击能够专门针对即将到来的区块的领导者

ethresear.ch有一篇帖子是关于基于随机混洗的单一秘密领导选举的协议:除了领导者自己,没有人知道谁将是这个slot的领导者,直到他们将自己的区块与领导者证明一起公布出来。

巴西央行行长:希望在2024年让央行的数字货币运转起来:金色财经消息,巴西央行行长内托:我们的央行数字货币只不过是一种代币化的存款。希望在2024年让央行的数字货币运转起来。(金十)[2022/8/12 12:20:04]

非单一秘密领导者选举可能也是一种选择

?支持更多验证者—正在进行的长期努力:安全地支持更多的验证者始终是我们的目标

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

所用的BLS签名方案基于的密码学已知会被量子计算机破解,但已知是量子安全的替代签名方案并不像BLS那样有效地聚合签名(因此需要一个既量子安全又聚合友好的方案)。

两个主要的量子安全方案是基于STARK的和基于Lattice的

TheScourge(解决隐患)

目标:确保可靠且可信中立的交易打包过程,避免MEV带来的中心化以及其他协议上的风险。

相关链接:

以可信的中立为指导原则

关于MEV的多条推串

关于MEV和PBS的文章

关于PBS的链接清单

已完成工作

?协议外的MEV市场—MEV-Boost中间件允许普通验证者从MEV中获利,而无需自己运行复杂的MEV策略

这个解决方案本身不完整,因为它有审查问题

阅读文章"TheCostofResilience"和"TheFutureofMEVisSUAVE",了解使得这些协议外的MEV市场更加有弹性的计划

下一步的工作

?打包列表或者备选方案—让区块提议者对区块构建者进行限制,即强迫他们纳入交易

打包列表相关笔记

研究如何在不增加提议者负担的情况下约束构建者

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

?MEV销毁—让区块链获取原本从链上经济中提取的价值

Crypto.com 2022年Q1游说支出达30万美元:金色财经消息,根据游说披露文件,Crypto.com在2022年第一季度花费了30万美元进行游说,成为加密游说领域最大的参与者之一。这是该公司首次披露游说信息。Crypto.com全球总部位于开曼群岛,但在美国通过特拉华州注册的Foris DAX, Inc.运营。Foris DAX发起了一项内部游说活动,游说价值13万美元。该公司还招募了Hill East Group、Atlas Crossing、S-3 Group、Miller Strategies和K&L Gates的团队,在第一季度签订了总额为17万美元的合同。(The Block)[2022/4/26 5:11:56]

通过提议者拍卖来直接进行MEV销毁的提案

委员会驱动MEV均匀分配让协议意识到MEV

通过经济激励措施设置验证者子集的上限,将通过负增发间接销毁MEV

?应用层MEV最小化—这个工作与L1没有直接关系,它涉及到开发者在设计他们的dapp时需要记住MEV。这里有几个采用MEV最小化策略的dapp的例子

分布式构建者路线

由于区块提议过程是保持去中心化的,我们现在有一个单独的问题,即区块构建变得中心化。即便路线图上的所有其他部分都旨在最大限度地减少区块构建中心化可能带来的最坏情况,能够将区块构建分布在许多节点中仍然是一个很大的好处。

Blob结构-寻找方法来减轻数据分片在许多节点上的高带宽和处理要求,而这些节点是普通消费者级别的硬件可以运行的。

预确认服务-给予用户强有力的保证,他们的交易将被打包进下一个区块中

抢跑保护-尽量减少有的MEV,如三明治攻击,使得分布式的构建过程保持可信的中立

这依然是一个活跃的研究领域,具有非常开放的设计考虑,所以目前还不清楚前面两个框框是否应该被写入协议内(因此路线图上有问号)

这里是相关的链接:

关于合并后区块构建的演讲,提到了去中心化区块构建

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

由于尼日利亚央行对加密实体的打击,Kurepay将于2022年一季度暂停运营:11月23日消息,为加密货币和法币提供社交支付应用程序的尼日利亚初创公司Kurepay表示,尼日利亚央行(CBN)目前对加密货币实体的打击已迫使其暂停在尼日利亚的业务。Kurepay将于2022年第一季度开始暂停运营。届时,APP利用区块链技术的Kurepay将开始将其业务限制在OTC和加密货币咨询服务。Kurepay首席执行官Abikure Tega表示:“今年对于尼日利亚加密货币的采用和扩张来说是非常可怕的,CBN继续采取极端措施,以减缓和挫败尼日利亚参与这个世界上增长最快的新兴行业的能力。”Tega补充说,当CBN拒绝加密公司进入银行生态系统时,这导致许多加密货币业务关闭。同样的封锁也迫使其他公司使用P2P系统大幅减少业务流。据Tega称,CBN 2月5日的指令迫使Kurepay切换到代理网络模式,使客户可以直接相互交易。(Bitcoin.com)[2021/11/23 7:06:24]

关于分布式区块构建的一些想法

TheVerge(边界)

目标:验证区块应当超级容易—下载N个字节数据、执行一些基本计算、验证一个SNARK然后你就完成验证了。

这一部分基本上是关于通过使得轻客户端最终可行,以填补“客户端方面的不足”:并非每个人都想或者能够运行一个全节点。TheVerge的目标是引入去信任或者信任最小化的替代方案,这种节点易于运行,不需要大量的存储和带宽。TheVerge的最终目标是让这些轻客户端提供与目前全节点相同的安全保障。

这一切都依赖于零知识技术,如SNARKs和STARKs,它们本身依赖于多项式承诺方案。这里有一些关于这方面的链接:

介绍zk-SNARK何以可能中文版

剖析STARK

假设你是懂一些数学和编程的人,向你解释zkSNARK

论多项式承诺方案在扩容以太坊中的作用

已完成的工作

?解决了最严重的EVMDoS问题—主要是gas定价问题,已在柏林升级中解决

?基本的轻客户端支持(同步委员会)—多亏了同步委员会,很容易构建遵循共识层的轻客户端

Coinbase报告:2020年存储资产总计达900亿美元:Coinbase报告显示,2020年Coinbase净收入约为3.22亿美元,总收入为12.8亿美元。2020年,其收入中约11亿美元(86%)来自交易费,其余来自订阅服务及其他。目前,Coinbase拥有约4300万注册用户和7000个机构账户,每月活跃交易者近300万。Coinbase在零售和机构平台上存储的资产总计达900亿美元。(TheBlockCrypto)[2021/2/26 17:56:59]

了解Helios客户端是如何利用同步委员会的(很好地解释了这些委员会是如何运作的)

下一步的工作

?EIP-4844实现—在主网部署EIP-4844

将需要一个“仪式”来创建受信任初始化:解释、预估时间线、规范

EIP-4844实现时间线概览

?基本的rollup扩容—依赖于下面的工作:

EIP-4844-所实现的可扩展性依然被认为较基础/有限,这是因为“每一个节点下载所有数据”的性质限制了blobspace的可用容量

rollup的有限辅助轮阶段(文章中提议了去掉rollup辅助轮的路线图)(中文版)

?完整的rollup扩容—依赖于下面的工作:

DAS(数据可用性采样)的P2P设计:涉及数据分片网络连接问题的一些工作以及研究

数据可用性采样客户端:开发轻量级客户端,可以通过对几千字节的随机采样快速判断数据是否可用

有效的DA自我恢复:能够在最恶劣的网络条件下有效地重建所有数据(比如,恶意验证者攻击、或者大块节点的长时间停机)

不使用辅助轮的rollup:完全去中心化的定序者、去信任的欺诈证明、不可变的合约等等

?量子安全的、无需受信任初始化的承诺—在量子计算机成为一个合理的担忧之前,使以太坊成为量子安全的是我们长期努力的一部分

虽然高效且强大,但到处使用的多项式承诺(KZG)并不是量子安全的,并需要一个受信任初始化。对更理想的长期使用的承诺的研究正在进行中,最终目标是在底层对KZG进行热转换(hotswap)

?SNARK/STARK专用集成电路—专门用来创建证明的硬件

?Verkletree—将用于全局状态的数据结构替换成一个更高效的版本

VerkleTree的链接清单

关键的好处是能够生成非常简洁的证明,轻客户端可以只通过区块头很容易地验证这些证明,以核实像账户余额这样的东西-它们已经可以利用同步委员会来验证给定区块头实际上是主链的一部分

需要编写出合适的规范、确保安全地迁移,以及搞清楚它将如何影响更新/编辑状态的EVMgas开销(这也取决于ThePurge那部分中取消“SELF-DESTRUCT”的工作)

?基于SNARK的轻客户端—对同步委员会的状态转换生成SNARK证明,以快速证明哪些验证者组成当前的同步委员会

?完全基于SNARK的以太坊—以下3项加在一起构成了“以太坊最终图景”(中文版)的一个重要里程碑,即实现极其高效以及去信任的区块验证:

用于Verkle证明的SNARK-通过将Verkle证明合并进单个SNARK中,区块将包含一个关于它们修改的部分状态的简短独立证明,因此不需要验证区块N-1的整个状态来验证区块N是否正确修改了它。

用于共识状态转换的SNARK—从信任最小化的同步委员会转变为对共识层上发生的所有事情进行完全去信任的验证

用于L1EVM的SNARK—利用rollup团队在zk-EVM上所做的工作,将zk-EVM直接集成到L1中

-阅读关于写入协议内的rollup的帖子

?提高L1gas上限—通过消除目前“每个节点都需要存储所有东西”的负担来实现去信任地验证区块,这将更容易地形成更大的区块以获得更多L1可扩展性(这会自动地加强所有L2扩容的效果)

?转向量子安全的SNARK(如STARK)—在量子计算机成为一个合理的担忧之前,使以太坊成为量子安全的是我们长期努力的一部分

SNARK基于的密码学是已知能够被量子计算机破解的,而STARK不是

ThePurge(清除工作)

目标:简化协议、清楚技术债和通过清理历史数据限制参与网络的成本

已完成工作

?清除大多数gas返还—所有的gas重新定价工作已在柏林升级完成

?信标链快速同步—从最近敲定的epoch同步(在大多数共识层客户端中称为"检查点同步")而不是从创世开始同步,这方面的所有开发工作已完成

?EIP-4444规范—阅读EIP规范了解

下一步的工作

?历史数据休眠—通过让旧的历史状态休眠来降低存储需求、减少同步时间和代码复杂性

阅读此条推特长文

依赖于EIP-4444的实现,即通过其他方式(如门户网络)来访问历史状态的替代方案

Vitalik针对历史数据休眠的AMA

?状态休眠—关于状态,修复“一次性支付,数据永久储存”的问题

这个想法主要关于让状态未使用的部分自动休眠,只保留一个verkletree根,如果需要的话,用户可以用它来激活休眠的状态

Vitalik针对状态休眠机制的AMA

依赖于这些工作:

-基本的状态休眠规范:我们打算如何实现它,请看这个潜在的路线图(和其他选项)

-地址空间扩展:增加地址尺寸大小,从20字节增加到32字节,以防止冲突,并增加关于状态周期的数据

-应用分析:搞清楚它会如何破坏当前的应用/合约,以及这些应用/合约需要如何适应

?日志改革—简化事件日志的工作方式,以便更有效地搜索历史事件

?序列化协调—执行层使用RLP进行数据序列化,而共识层使用SSZ,这将会使得逐渐抛弃RLP,而使用SSZ

?移除旧的交易类型—停止支持旧的交易类型(参阅EIP-2718)以移除客户端的代码复杂性(牺牲一些向后兼容性)

?EVM简化路线

取消SELFDESTRUCT—这个操作码是许多问题的根源

-消除SELFDESTRUCT的实用解决方法解释了为什么以及怎么样移除这个操作码

-相关EIP:EIP-4758、EIP-4760以及讨论

简化gas机制—涉及移除许多与gas相关的EVM功能,在此处提及过

预编译->EVM实现—舍弃预编译合约,采用直接EVM实现(即大型模运算,见TheSplurge)

TheSplurge(狂欢)

目标:完善其他东西

所有那些不需要更高优先级的好东西都属于TheSplurge这一部分中。最大的一项就是账户抽象,但也有对现有内容的小调整。

已完成的工作

?EIP-1559—这个著名的EIP带来了许多好处,而不仅仅是销毁ETH

?ERC-4337规范—这个ERC旨在不修改核心协议的情况下引入账户抽象

ERC-4337的解释

下一步的工作

?EIP-1559的最终形式—通过使其变得多维度的来完善EIP-1559,更像一个AMM曲线和感知时间的

?EVM完善路线和ThePurge中的简化路线一起形成了EVM的最终形式

EVM对象格式(EOF)—一组多个EIP,允许在部署EVM字节码时对其进行验证和版本控制。请看这篇解释文章和推特帖子

大型模运算—路线图中的许多密码学依赖于大量数字的模运算,这可以直接在EVM中更有效地完成

进一步完善EVM—任何其他值得添加以改进EVM的东西,或者移除一些东西以消除复杂性

?实现账户抽象最终形式的账户抽象路线。有关以下内容的详细信息,请参阅Vitalik的描述:

ERC-4337—开发兼容的、实际获得采用的智能钱包

自愿对EOA账户进行转换—通过一个EIP,允许普通账户不可逆地添加代码将其转换为合约,即成为4337兼容的智能钱包。

写入协议内—对所有现有账户强制进行上述转换

?可验证延迟函数(VDFs)—本质上是“非并行的工作量证明”,这将增强PoS和其他东西中使用的随机性

参阅这篇贴文,介绍VDFs以及其潜在用途

?探索针对老旧账户的解决方案—拯救这些“尘封的资产”需要花的gas成本超过它们本身的价值。在这里看到一堆想法

标签:ARKMEVNARARK币是什么币MEV价格MEV币NAR价格NAR币

火星币热门资讯
浅谈理想的代币分配模式

token经济学通常与其饼状图分配相关,其代表了团队、投资者、财库和社区之间的token百分比分配情况。这些数字通常是根据非token投资者分配基准以及团队和投资者之间的双边谈判确定的.

1900/1/1 0:00:00
苹果对NFT敞开怀抱?最新App Store审核指南解读

10月24日,苹果更新了海外版AppStore审核指南,并在3.1.1添加了NFT与加密货币相关规则。 App可以使用应用内购买进行销售以及销售NFT相关服务,如铸造、挂单和转让.

1900/1/1 0:00:00
一览以太坊旧金山黑客松获奖项目

11月7日,以太坊旧金山黑客松宣布13个获奖项目,分别为mundo、FuelScape、BB3-BEEP3R、DAOCensus、melovault、Org3、UNIC、ZKSection9、D.

1900/1/1 0:00:00
NFTFi 生态系统概述

目录 1.0/NFT概述 1.1/背景 1.2/现状 1.3/NFT市场痛点 2.0/NFTFi赛道版图 2.1/NFT交易市场 2.2/NFT估值定价 2.3/NFT借贷 2.

1900/1/1 0:00:00
Web3将在10个方面改变人类生活

Web3分化了互联网并恢复了用户的权利,保护了我们的隐私和安全,提供了新的所有权模式,并释放了人类的创造力。 像世界各地的数百万人一样,我在全球大流行病期间进入了Web3.

1900/1/1 0:00:00
用于流动质押和收益生成的 Web3 基础设施

虽然以太坊和其他第一层资产存在流动质押,但其他Web3基础设施资产基本上不可用。Tenderize通过为Web3资产提供一个非托管的、流动的质押协议来解决这个问题,并在5月推出其主网,为Live.

1900/1/1 0:00:00