原文作者:domothy, 由 DeFi 之道翻译编辑。
每一条技术路线,都将会在“世界计算机”处交汇。
注:本文档旨在作为以太坊路线图上各个项目的入口点,为那些想要深入研究的人提供快速的摘要以及链接。
它是一份动态文档,请如果此处提供的任何信息不清楚、不准确、过时或缺少更好的链接,请随时与我联系。
正如路线图上的箭头所示,列出的各个阶段不是首尾相接的,各种努力是并行发生的。
目标:拥有一个理想的、简单的、健壮的以及去中心化的权益证明(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)来增强质押;
以太坊核心开发者:仍将继续通过影子分叉寻找漏洞,难度炸弹实施方案仍未达成共识:金色财经消息,以太坊核心开发者Tim Beiko在Twitter上分享了The Merge会议的内容。本次会议显示,之前进行的两次影子分叉进行相对顺利,没有出现重大问题,但在测试网正式分叉前还将继续通过影子分叉来寻找可能的漏洞。在MEV方面,会议讨论的结果显示,mev-boost未来会有一个额外的约束,区块的构建者需要尊重验证者选择的Gas限制。最后,Tim Beiko表达了其对难度炸弹的看法,由于难度炸弹对矿工以及用户体验的影响较大,所以其认为针对难度炸弹的设置和启用应该谨慎,客户端团队成员甚至支持移除难度炸弹。[2022/4/30 2:41:49]
这不是协议内的事情,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)
以太坊未确认交易为192,155笔:金色财经消息,据OKLink数据显示,以太坊未确认交易192,155笔,当前全网算力为677.10TH/s,全网难度为9.05P,当前持币地址为63,346,190个,同比增加99,457个,24h链上交易量为2,688,389ETH,当前平均出块时间为13s。[2021/9/23 16:59:15]
今天,被选中提议一个区块的验证者(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 设计:涉及对数据分片所需网络的所有努力和研究
以太坊微信指数日环比上升2.44%:金色财经报道,微信指数显示,9月20日,区块链微信指数为1325508,日环比下降16.58%;比特币微信指数为451284,日环比下降12.67%;以太坊微信指数为140083,日环比上升2.44%;IPFS微信指数为221607,日环比下降11.25%。[2020/9/21]
DA 采样客户端:开发轻量级客户端,可以通过几千字节的随机采样快速判断数据是否可用
高效的 DA 自我修复:能够在最恶劣的网络条件下有效地重构所有数据(例如恶意验证者攻击,或大量节点的长时间停机)
摘除辅助轮的 rollup:完全去中心化的排序器、无需信任的欺诈证明者、不可变的合约等。
12、量子安全以及无可信设置的承诺—— 让以太坊免受量子计算机影响。
虽然多项式承诺(KZG)高效而强大,但它们不是量子安全的,并且需要一个可信设置。对更理想的长期承诺的研究正在进行中,最终目标是在底层“热插拔”KZG;
目标:确保可靠可信的中立交易包含,并避免 MEV 的中心化以及其他协议风险。
相关链接:
以可靠的中立为指导原则?;
关于 MEV 的各种推特帖?;
关于 MEV 和 PBS 的文章?;
关于 PBS 的链接列表?;
1、协议外 MEV 市场——MEV-Boost? 中间件允许普通验证者从 MEV 中获利,而无需自己运行复杂的 MEV 策略。
该解决方案本身并不完整,因为它存在审查问题?;
请参阅弹性成本?以及SUAVE?,了解使这些协议外市场更具弹性的想法和计划;
1、包含列表或替代方案——让区块提议者对区块构建者施加限制,即强制他们包含交易。
(1)包含列表注释?;
(2)研究在不给区块提议者增加负担的情况下约束区块构建者?;
2、协议内 PBS– 将区块构建者的市场直接纳入协议中。
3、MEV 销毁——让区块链捕获从链上经济中提取的价值。
共为2020 | ChainUP创始人兼CEO钟庚发:去中心化存储是未来一大趋势,中长期来看以太坊也非常有潜力:金色财经现场报道,2020年6月21日,由金色财经主办的共为2020·区块链创新应用论坛在深圳拉开帷幕。ChainUP创始人兼CEO钟庚发在《十年一顾 再谈共识》圆桌对话中指出,去中心化存储是未来一大趋势。在以太坊这类去中心化的系统上,应用场景更加容易落地,但隐私数据的存储、政府机构和企业数据的存储问题亟待解决。要解决这些问题,首先要解决数据的保护和加密。我们会成立一个基金专门投入这个方向,这是我个人比较看好的。中长期来看,以太坊也是一个非常有潜力的方向,2.0让我们看到了它发展的后劲。[2020/6/21]
(1)通过提议者拍卖的直接销毁 MEV 提案?;
(2)委员会驱动的 MEV 平滑?将使协议能够感知 MEV;
(3)通过经济激励限制验证者集?,将通过负发行间接燃烧 MEV;
4、应用层 MEV 最小化——不直接与 L1 相关,该项目涉及开发人员在设计 dapp 时将 MEV 考虑在内。这里是一些采用 MEV 最小化策略的 dapp 示例?。
随着区块提案保持去中心化,我们现在有一个单独的问题,即区块构建变得中心化。即使路线图上的所有其他项目,都旨在最大限度地减少集中式区块构建的最坏可能负面影响,但能够跨多个节点分发区块构建仍然是一个主要的好处。
Blob 构建- 寻找方法,以减轻在普通消费硬件可以运行的多个节点上进行数据分片的高带宽和处理需求;
预确认服务- 给用户强有力的保证,他们的交易将被包括在下一个区块;
领先保护- 最大限度地减少有的 MEV,例如三明治交易,以保持分布式构建可靠的中性;
它仍然是一个活跃的研究领域,具有非常开放的设计考虑,因此不清楚前两项是否应该包含在协议当中(因此在路线图上是问号状态)。
以下是一些相关链接:
谈合并后的区块构建?,其中提到了去中心化的区块构建;
谈谈去中心化区块构建者;?
关于分布式区块构建的一些想法;?
声音 | Joseph Lubin:目前唯一可行的信任层选择就是以太坊:据Trustnodes消息,以太坊联合创始人Joseph Lubin近期发表演讲时表示,对集中式信任的依赖使某些中介机构能够从交易中获取太多价值,信任革命将改变这一切。区块链的信任特征源于其去中心化程度。某些区块链网络不会被不当操纵、不会被,哪怕多达一半的节点是恶意的,这就需要选取一个可行的信任层。接着,Lubin对目前存在的Dfinity、Polkadot、Cosmos、Fabric、EOS、Corda等区块链进行了利弊分析,最终得出结论:“我承认我的观点或许有点偏见,但我认为目前只有一个可行的信任层选择,那就是以太坊。”[2019/4/6]
目标:验证区块应该超级简单——下载 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 则不然)。
目标:简化协议,消除技术债务,并通过清除旧历史限制参与网络的成本。
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。最大的改进项目是帐户抽象?,但也是对现有事物的小调整。
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、探索粉尘账户的解决方案——拯救“粉尘资金”,这些资金的移动成本高于其价值。在这里有一堆想法?。
DeFi之道
个人专栏
阅读更多
金色早8点
金色财经
去中心化金融社区
CertiK中文社区
虎嗅科技
区块律动BlockBeats
念青
深潮TechFlow
Odaily星球日报
腾讯研究院
作者:Che Kohler作为比特币用户,你使用数字签名和特定消息来证明你是发送者,这是你作为私钥所有者的合法命令。这些数字签名用于表明你知道与地址关联的私钥,而不会向网络暴露你的密钥.
1900/1/1 0:00:00这些年以来,我对生态和技术的关注主要放在以太坊上,而没有放在比特币上。乃至于说起比特币,我基本上只把它当作加密生态中的价值标杆和价值存储看待,而对其生态中发生的技术进步和生态应用极少关注,也不太重视.
1900/1/1 0:00:00原文作者:/img/20231695229/0.jpg" />对于最近低迷的市场,即将到来的世界杯无疑是为其打了一针兴奋剂。而加密投资者们也都摩拳擦掌地投入到世界杯相关的区块链项目中.
1900/1/1 0:00:00▌SBF被传唤于明年2月2日参加美德克萨斯州监管机构听证会11月30日消息,美国德克萨斯州证券委员会(TSSB)认为FTXUS违反证券法,传唤SBF参加明年2月2日举行的听证会.
1900/1/1 0:00:00作者:Eden Network,翻译:金色财经xiaozou2023年3月1日,ERC-4337上线以太坊主网,增强了智能合约代表用户进行交易的能力.
1900/1/1 0:00:00智能合约是不是合同?这是学界一直争论的问题。飒姐团队觉得这是一个伪命题,智能合约和合同不是处于同一个层级上的,因此不能同一讨论。什么是“合同”?崔建远《合同法》中将合同视作一种民事法律行为.
1900/1/1 0:00:00