回溯历史,通往“世界计算机”的每一步都印在那密密麻麻的code里。
作者:freeyao
什么是以太坊?一千个人有一千个答案,而本文想探讨的是最为一致的答案,即以太坊的协议是什么?或用更技术地描述——如果要开发以太坊的客户端(PoW链/ETH1),我需要依照什么规则?
你没法找到一份规范描述以太坊当前的共识规则,因为以太坊的协议是通过增量更新来描述的。以太坊黄皮书描述了创世时的完整协议,而每一次协议变更都称为一次硬分叉(当然,也有人尝试用「网络升级」这个表述),需要所有的客户端更新代码。简而言之,以太坊通过硬分叉来实现协议层的变化,变化的最小单元被称为以太坊改进提案(EIP, Ethereum Improvement Proposal),一次硬分叉包含一组以太坊改进提案。 本文将回顾以太坊的历次硬分叉及其中包含的改进提案,试图展现过去的七年中以太坊究竟做了什么。
以太坊的历次硬分叉可以通过此页面查看。自 2015 年 7 月30日上线起,共进行了 14 次硬分叉,包含 39 个 EIP(「君士坦丁堡」和「彼得堡」视为同一次)。间隔最近的两次硬分叉是 26 天,间隔最远的两次则是 490 天。
硬分叉分为「主动升级」和「被动升级」。主动升级指的是开发团队主动对以太坊协议的修正,而被动升级则是「不得不」采取的行动,以应对潜在的安全性风险。被动升级至少包括「DAO Fork」、「Tangerine Whistle」、「Spurious Dragon」、「Muir Glacier」、「Arrow Glacier」、「Gray Glacier」,它们或处置黑客盗窃(DAO Fork),或应对 DDOS 攻击(Tangerine Whistle, Spurious Dragon),或仅仅处置难度炸弹(Muir Glacier, Arrow Glacier, Gray Glacier)。而「主动升级」大致符合白皮书的规划(至少在命名上),Frontier(Frontier, Frontier Thawing)、Homestead、Metropolis(Byzantium, Constantinople/Petersburg, Istanbul),而 Berlin 和 London 则是以太坊路线图变更后的过渡性升级。此外,多次主动升级也包含了推迟难度炸弹的选项。
加拿大监管机构批准Hut 8与美国比特币公司的合并:金色财经报道,加拿大监管机构批准采矿公司Hut 8 Mining和US Bitcoin(USBTC)的合并。Hut 8首席执行官Jamie Leverton表示,随着我们继续努力完成与USBTC的拟议交易,监管机构不采取行动信的公布是一个积极的进展。
根据该报告,合并的完成取决于获得其他政府机构的批准,法院和股东的批准,以及其他条件。这两家公司在2023年2月首次宣布了合并计划。新实体名为Hut 8 Corp,将设在美国,拥有5.6 EH/s的速率,可在六个地点获得825兆瓦的产能。[2023/3/11 12:55:11]
硬分叉是如何达成共识的呢?尽管关于硬分叉的协商并无成文规定,而是依照某种社区惯例进行,但其流程发生过一次变更,标志性事件是 Martin Holst Swende 提出了「以 EIP 为中心的升级」。这种新的硬分叉协商机制首次在 Berlin 升级使用,并避免了一次大型失误,细节将在后文中介绍。
历次硬分叉背后蕴含着一些代表性事件,颇具戏剧性,包括 DAO 分叉、上海 DOS、双堡奇缘和拆弹危机。
DAO 分叉事件是以太坊发展过程中最为深远的一次事件。由于 the DAO 的智能合约被黑客攻击,约 360 万 ether 被黑客盗走,但有 28 天的冻结时间。在这期间,借助 Carbonvote ,持币者表达意愿,以太坊基金会决定将这部分资金转移到新的智能合约,允许投资者提款。此次分叉产生了 Ethereum Classic,也引发了大量的社会争论。
数据:ETH完成合并以来,ETC算力已下跌逾51%:10月5日消息,数据显示,自9月15日以太坊完成合并以来,ETC 全网算力持续走低,已下跌逾51%至152.78TH/s。[2022/10/6 18:40:23]
在 Devcon 2 期间,以太坊核心开发者们齐聚上海,但以太坊网络却遭遇了大量的网络流量攻击,造成了拒绝服务(DOS)。由于 EXTCODESIZE 操作码所消耗的实际系统资源远高于攻击者所需支付的手续费,攻击者反复调用该操作码,造成全网大多数节点无法追上最新区块。开发者们一面协调矿池和全节点启用受影响较小的 Parity 客户端,一面协商降低区块 gas(从 5 M 降低至 1.5 M)。最终,借助 Tangerine Whistle 和 Spurious Dragon 两次硬分叉调整了相关操作码的价格,并做了状态清理,才缓解了 DOS 攻击的影响。这次硬分叉还带来了后续影响,由于对 EIP-161(纳入在 Spurious Dragon 中)的实现不当(Go-ethereum 和 Parity 各自错误地做了实现),造成了共识分叉。
你也许会好奇为什么在 7280000 高度会有「君士坦丁堡」和「彼得堡」两个分叉,仔细观察会发现两者的差别就在于「彼得堡」移除了 EIP-1283。
根据ChainSecurity 的报告,EIP-1283 会为部分合约引入重入攻击的风险。TrailOfBits 给出了更详尽的分析并提供了可能受影响的合约列表。在硬分叉激活前 32 小时,以太坊基金会发文提醒节点升级或降级以推迟君士坦丁堡升级,随后发布新版本引入彼得堡硬分叉,客户端需要将「双堡」配置在同一块高或禁用君士坦丁堡硬分叉。
Eth1-Eth2合并开发者测试网再次启动,官方希望运行复杂交易、强制分叉等:官方消息,protolambda第二次启动Eth1-Eth2合并开发者测试网Nocturne,与首次Eth1-Eth2合并开发者测试网Steklo相同,启用4个共识客户端:Teku、Lighthouse、Prysm和Nimbus;3个执行客户端:Besu、Geth和Nethermind,以运行PoS。这个测试网仍然是非常实验性的,但是包含了自第一个Steklo测试网以来的一些重要的bug修复。尽管是测试网,但protolambda表示希望运行复杂的交易,存款,强制进行一些分叉,重新同步节点等。[2021/5/12 21:54:28]
为什么 Muir Glacier 和 Istanbul 两次硬分叉之间只有 26 天,这是因为核心开发者们错误计算了难度炸弹的爆炸时间,导致在 Istanbul 中未纳入推迟难度炸弹的提案。等到发现难度炸弹即将要对网络产生影响时,第 76 次核心开发者会议迅速接受了 EIP-2384,并纳入到 Muir Glacier 硬分叉中。
硬分叉是如何决定的?实际上以太坊长期缺少成文文档,更多依赖「社会共识」(如果我错了请改正)。EIP-233 试图规范分叉的正式流程,但并未被接受。
尽管本文无法展现以太坊社区对硬分叉决策流程的讨论,但以太坊的硬分叉决定流程显然发生过变化。在 Berlin 硬分叉之前,开发者首先确定硬分叉的时间,再决定要纳入哪些 EIP,确定之后再进行实现和测试。Berlin 前的每次硬分叉都是一个 Meta EIP,例如 Istanbul 硬分叉通过EIP-1679定义(简称 HFM-1679)。
BitMEX Research:目前超过90%的比特币哈希率似乎在进行合并挖矿:BitMEX Research发布报告表示,在过去的一年左右,平均而言,每个挖掘出的比特币区块,在coinbase交易中的某处,都包含大约两个来自其他区块链的承诺哈希值,这表明大多数矿商正在进行多种形式的合并挖掘。目前,超过90%的比特币哈希率似乎在从事某种类型的合并挖掘。在过去的几年里,合并采矿有了相当大的增长,由于潜在的安全风险很小,而且采矿集中化的压力也越来越大,一些人对此可能关注有限。如果采用这些较新的方案,则可以通过盲目合并采矿来减轻这些风险中的大多数。
注:比特币区块链上的每个区块之中都会包含一个或者多个交易( transaction ),其中第一个交易就叫做 Coinbase 交易。合并挖矿的概念是借用比特币网络的算力,来保证寄生链的安全性。[2020/11/3 11:34:01]
Martin Holst Swende 提出了EIP 为中心的硬分叉流程,其核心观点是将 EIP 的接受与硬分叉剥离,核心开发者聚焦于单个 EIP 的认可、实现和测试,当单个 EIP 被接受后,后续的硬分叉可选择纳入该 EIP。尽管在写作过程中尚未找到该流程是如何被以太坊核心开发者接受的,但是 Berlin 硬分叉弃用了HFM-2070,而是采纳了 Martin 提出的流程。
决策流程的变更很快就发挥了作用,在 Berlin 硬分叉测试网激活前两周,围绕 EIP-2315 的废留,开发者们展开了激烈的争论并最终移除了 EIP-2315 。由于新流程的采纳,最后时刻的变更并未对硬分叉造成太大影响,并最终按期进行。更多细节可参考本人撰写的《移除EIP-2315:以太坊柏林升级前的紧急刹车》
以太坊2.0客户端Prysm已被合并至master:以太坊2.0Serenity的Prysm客户端已经合并到master,目前支持使用原生go工具和go模块完全构建、测试和运行该项目。以太坊2.0 Serenity的Prysm客户端由Prysmatic Labs使用Go语言开发。目前,有7个ETH2.0客户端正在开发当中,包括以太坊基金会的Trinity、Prysmatic Labs的Prysm,Sigma Prime的Lighthouse、Status的Nimbus、ChainSafe的Lodestar、PegaSys的Teku以及 Nethermind的Cortex。[2020/6/1]
值得一提的是,以太坊的区块空间上限(Block gas limit)并非共识的一部分。矿工有权更改区块空间上限,每个区块的上限变化最多为 0.1%。不去硬编码这个数值主要是为了避免潜在的攻击风险。该数值变化的历史可参见 MyCrypto 撰写的研究报告。
这些 EIP 对以太坊究竟造成了什么影响,又是谁影响着以太坊的决策呢。本文整理了以太坊硬分叉中纳入的所有 EIP(不包含元提案),详见链接。
https://primitiveslane.notion.site/cbd45cf0289c414b86715b8a9e71b28e?v=838baf2ac3a442a6b3fa03e58c5dc0ae
纳入硬分叉的 EIP 的类型主要包含计费模型变更、新操作码引入、难度炸弹、经济模型、预编译、安全考虑等。
计费模型变更是数量最多的 EIP,共有 10 个,占 25.6%。其通过增减操作码的单价,以平衡 gas 消耗和实际占用系统资源的不匹配,可消除系统被 DOS 攻击的隐患,或是有利于特定类型应用的部署。一部分 DOS 隐患是因为对系统资源的错误估计造成的,EIP-150 和 EIP-160 解决了这个问题;而另一部分 DOS 隐患则是系统的固有特性,伴随着状态数据增长,访问状态数据的实际资源消耗也随之增长,因此需要定期调整相应操作码的单价,典型的有 EIP-1884(我认为写得最好的 EIP 之一)。
由于以太坊的状态表示模型,计费模型必须定期调整,这是特性,而非故障。
共有 9 个 EIP 为以太坊虚拟机引入了新的操作码(不含 EIP-1884),占 23.08 % 。其中比较有影响力的包括 EIP-7 (DELEGATECALL), EIP-1014(CREATE2), EIP-3198(BASEFEE) 等。
共有 6 个 EIP 在推迟难度炸弹,占 15.4 % 。有 2 次硬分叉伴随着经济模型的调整,即降低新区块奖励。其中有 3 次仅为了推迟难度炸弹而实施的分叉,即名字中带有 Glacier 的硬分叉。有关难度炸弹的历史,可见原语里弄的报告。
有 4 个 EIP 对经济模型有影响,2 个降低了新区块奖励,1 个调整了难度计算模型(EIP-100),此外引发较多争议的 EIP-1559 调整了手续费市场。
有 4 个 EIP 将一些密码学操作预编译,因此无需在 EVM 中执行,提升运行效率。包括 EIP-152, EIP-196, EIP-197, EIP-198。
有 3 个 EIP 是出于安全考虑的,包括重放攻击保护(EIP-155),状态前缀树清理(EIP-161),合约代码大小限制(EIP-170)。
其它 EIP 还包括网络协议改进(EIP-8),增加交易执行状态接口(EIP-658),增加新的交易类型(EIP-2718)等。此外,EIP-2 包含了 Homestead 的所有更新,较为复杂。
共有 43 人,77 人次参与了这些 EIP 的撰写,其中参与 2 个以上(含) EIP 的作者有 11 个。Vitalik Buterin 参与撰写的最多,共 17 个,占 43.6 %。Martin Swende 和 Christian Reitwiessner 各参与 5 个,Alex Beregszaszi 和 James Hancock 各参与 3 个,其余人参与的个数均不超过 2 个。
Martin Swende 是以太坊基金会安全负责人,Go-ethereum 工程师,EIP 为中心的硬分叉流程的提出者;Christian Reitwiessner 是 Solidity 语言的发明者。
另外有趣的是在新的硬分叉流程实施之后,EIP 作者的数量发生了显著变化,这或许说明新的流程提高了 EIP 的参与度。Berlin之前,28 个 EIP,43 人次,平均每个 EIP 有 1.54 个作者;Berlin之后,11 个 EIP,34 人次,平均每个 EIP 有 3.09 个作者,增长了一倍。
本文介绍了以太坊历史上的历次硬分叉,解读了几次硬分叉背后的代表性事件,并详细描述了以太坊硬分叉决策流程向 EIP 为中心的转变。文章还深入分析了历次硬分叉中的 EIP 所发挥的作用以及他们背后的贡献者。
以太坊即将迎来新的时代,往事涌上心头,读者朋友,你有何感受?
PANews
媒体专栏
阅读更多
金色早8点
财经法学
成都链安
Bress
链捕手
Odaily星球日报
标签:以太坊ETHERMARTOIN以太坊交易所叫什么名字ethereal美好寓意SMARTSHIBpottercoin
投资者正在为更“疯狂”的加息做准备。周一,10年期美国国债收益率跃升至3.5%以上,创2011年以来最高水平,美联储将在9 月 20 日至 21日开启为期两天的会议,市场普遍预计官员们将在美东时.
零知识证明允许一方在不需要透露任何额外信息的前提下,向另一方进行真实性证明。因此可以用来保护隐私,在隐藏所有细节的情况下证实交易的有效性.
DeFi研究员Ignas表示,代币经济学的从0到1的创新非常困难,但偶尔出现的极具创新性的代币,会改变行业的发展轨迹。新代币经济学的独创性将推动行业向前发展,并有能力启动一个新的牛市.
站在2022年的当下看Crypto的发展趋势,在这个时候去做一个L1新公链难免有点牵强,模块化区块链的叙事不可忽视.
撰文:Peter ‘pet3rpan’编译:AididiaoJP,Foresight News如果问起比特币或加密货币的历史.
2022年,波谲云诡,在愁云惨淡的整顿潮、裁员潮中,Web3逆势为大环境开辟了一条新的路。根据相关数据显示,仅2022年一季度,Web3领域的投资额就达到了近百亿美元,是去年同期水平的两倍多.