回溯歷史,通往“世界計算機”的每一步都印在那密密麻麻的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 則是以太坊路線圖變更后的過渡性升級。此外,多次主動升級也包含了推遲難度炸彈的選項。
報告:以太坊合并后有望被機構大力采用:金色財經報道,Bernstein在一份研究報告中表示,以太坊合并下的新經濟模式與代幣銷毀相結合,可能會導致在需求旺盛時期出現通縮的情況。
以太坊的合并,可能會導致機構大力采用。Bernstein表示,鑒于其經濟轉型、可擴展性路線圖以及其充滿活力的數字經濟,區塊鏈將“成為數字資產類別的領導者”。由于其領先的市場份額、市值和流動性,他預計以太坊 (ETH) 將被機構廣泛采用。[2022/9/15 6:59:07]
硬分叉是如何達成共識的呢?盡管關于硬分叉的協商并無成文規定,而是依照某種社區慣例進行,但其流程發生過一次變更,標志性事件是 Martin Holst Swende 提出了「以 EIP 為中心的升級」。這種新的硬分叉協商機制首次在 Berlin 升級使用,并避免了一次大型失誤,細節將在后文中介紹。
歷次硬分叉背后蘊含著一些代表性事件,頗具戲劇性,包括 DAO 分叉、上海 DOS、雙堡奇緣和拆彈危機。
DAO 分叉事件是以太坊發展過程中最為深遠的一次事件。由于 the DAO 的智能合約被黑客攻擊,約 360 萬 ether 被黑客盜走,但有 28 天的凍結時間。在這期間,借助 Carbonvote ,持幣者表達意愿,以太坊基金會決定將這部分資金轉移到新的智能合約,允許投資者提款。此次分叉產生了 Ethereum Classic,也引發了大量的社會爭論。
OKX CEO:支持以太坊合并,將根據需求評估上線硬分叉Token:8月8日消息,OKX CEO Jay Hao于社交媒體表示,OKX積極關注并將支持以太坊合并。本次網絡升級可能會出現以太坊硬分叉,OKX 將根據需求評估上線硬分叉 Token。[2022/8/8 12:09:56]
在 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 小時,以太坊基金會發文提醒節點升級或降級以推遲君士坦丁堡升級,隨后發布新版本引入彼得堡硬分叉,客戶端需要將「雙堡」配置在同一塊高或禁用君士坦丁堡硬分叉。
以太坊核心開發者:若測試網合并順利,將于8月11日商定以太坊主網合并總難度:8月5日消息,以太坊核心開發者Tim Beiko在社交媒體表示,為確保社區對于以太坊主網合并做好重組準備,團隊將盡快確定主網合并時間。如果Goerli測試網的合并進展順利,開發團隊將會在8月11日的電話會議上對以太坊主網合并總難度(TDD)進行初步設定。然后根據后續進展,在8月18日對該TDD進行再次確定。[2022/8/5 12:03:49]
為什么 Muir Glacier 和 Istanbul 兩次硬分叉之間只有 26 天,這是因為核心開發者們錯誤計算了難度炸彈的爆炸時間,導致在 Istanbul 中未納入推遲難度炸彈的提案。等到發現難度炸彈即將要對網絡產生影響時,第 76 次核心開發者會議迅速接受了 EIP-2384,并納入到 Muir Glacier 硬分叉中。
硬分叉是如何決定的?實際上以太坊長期缺少成文文檔,更多依賴「社會共識」(如果我錯了請改正)。EIP-233 試圖規范分叉的正式流程,但并未被接受。
盡管本文無法展現以太坊社區對硬分叉決策流程的討論,但以太坊的硬分叉決定流程顯然發生過變化。在 Berlin 硬分叉之前,開發者首先確定硬分叉的時間,再決定要納入哪些 EIP,確定之后再進行實現和測試。Berlin 前的每次硬分叉都是一個 Meta EIP,例如 Istanbul 硬分叉通過EIP-1679定義(簡稱 HFM-1679)。
以太坊測試網Goerli/Prater合并于8月4日開始,合并后保留Goerli名稱:7月28日消息,以太坊協議支持團隊發布Goerli–Prater合并公告,稱在最后一次測試網PoS轉換中,Goerli即將與Prater合并,且合并后的網絡將保留Goerli的名稱。其中合并過程分為兩個步驟,首先從共識層上的網絡升級Bellatrix開始,預計于UTC時間2022年8月4日12:24(北京時間8月4日20:24)開始,隨后是執行層的Paris升級,預計將在UTC時間2022年8月6日至12日之間進行(總難度10790000)。合并后,Goerli的驗證節點網絡將保持開放,供各個權益者運行測試網驗證節點。
假設在Goerli/Prater合并過程中沒有發現任何問題,一旦客戶端發布了功能完整的版本,將在主網信標鏈上為Bellatrix升級選擇插槽高度,并為主網過渡設置總難度值。然后,客戶端將發布在主網上啟用The Merge(合并)的版本。[2022/7/28 2:42:58]
Martin Holst Swende 提出了EIP 為中心的硬分叉流程,其核心觀點是將 EIP 的接受與硬分叉剝離,核心開發者聚焦于單個 EIP 的認可、實現和測試,當單個 EIP 被接受后,后續的硬分叉可選擇納入該 EIP。盡管在寫作過程中尚未找到該流程是如何被以太坊核心開發者接受的,但是 Berlin 硬分叉棄用了HFM-2070,而是采納了 Martin 提出的流程。
動態 | 日本加密交易所Zaif和FISCO將于2月12日合并:據官方消息,Fisco集團宣布將于2月12日合并旗下加密交易所Zaif和FISCO。當前FISCO交易所的用戶賬戶余額將全部轉至Zaif。此前2019年9月消息,加密交易所Zaif母公司宣布停止所有數字貨幣交易業務,并將Zaif等全部轉讓給Fisco集團。[2020/1/17]
決策流程的變更很快就發揮了作用,在 Berlin 硬分叉測試網激活前兩周,圍繞 EIP-2315 的廢留,開發者們展開了激烈的爭論并最終移除了 EIP-2315 。由于新流程的采納,最后時刻的變更并未對硬分叉造成太大影響,并最終按期進行。更多細節可參考本人撰寫的《移除EIP-2315:以太坊柏林升級前的緊急剎車》
值得一提的是,以太坊的區塊空間上限(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星球日報
一級市場數據融資概覽 Alpha & Beta 項目趨勢總結部分頭部機構主要投資偏好 投資總結 首先定義我們研究涉及的投資方向.
1900/1/1 0:00:00采訪:Frank Fan,Arcane 基金合伙人,Arcane Labs 創始人受訪者:Prof. Agostino Capponi.
1900/1/1 0:00:00“相較于2021年的萬物皆可‘元宇宙’,今年聽到這個概念的頻率好像減少很多,畢竟技術還不成型。”業內人士在接受《金融時報》記者采訪時表示.
1900/1/1 0:00:00原文標題:《What will mark zuckerberg''s metaverse actually look like.
1900/1/1 0:00:00當購買 NFT 時,你實際上擁有什么?大多數人把購買 NFT 說成是 "購買 jpegs",即我們在網上看到的頭像和 OpenSea 等交易市場上的圖像文件.
1900/1/1 0:00:00原文標題:《Messari:迎來下一次牛市的三個加密趨勢和挑戰》 撰文:Messari 編譯:PANews 下一個牛市將會由當前熊市中仍堅持構建的技術和趨勢驅動.
1900/1/1 0:00:00