回溯歷史,通往“世界計算機”的每一步都印在那密密麻麻的code里。
作者:freeyao
什么是以太坊
什么是以太坊?一千個人有一千個答案,而本文想探討的是最為一致的答案,即以太坊的協議是什么?或用更技術地描述——如果要開發以太坊的客戶端(PoW鏈/ETH1),我需要依照什么規則?
你沒法找到一份規范描述以太坊當前的共識規則,因為以太坊的協議是通過增量更新來描述的。以太坊黃皮書描述了創世時的完整協議,而每一次協議變更都稱為一次硬分叉(當然,也有人嘗試用「網絡升級」這個表述),需要所有的客戶端更新代碼。簡而言之,以太坊通過硬分叉來實現協議層的變化,變化的最小單元被稱為以太坊改進提案(EIP,EthereumImprovementProposal),一次硬分叉包含一組以太坊改進提案。本文將回顧以太坊的歷次硬分叉及其中包含的改進提案,試圖展現過去的七年中以太坊究竟做了什么。
歷次硬分叉介紹
概況
以太坊的歷次硬分叉可以通過此頁面查看。自2015年7月30日上線起,共進行了14次硬分叉,包含39個EIP。間隔最近的兩次硬分叉是26天,間隔最遠的兩次則是490天。
硬分叉分為「主動升級」和「被動升級」。主動升級指的是開發團隊主動對以太坊協議的修正,而被動升級則是「不得不」采取的行動,以應對潛在的安全性風險。被動升級至少包括「DAOFork」、「TangerineWhistle」、「SpuriousDragon」、「MuirGlacier」、「ArrowGlacier」、「GrayGlacier」,它們或處置黑客盜竊(DAOFork),或應對DDOS攻擊(TangerineWhistle,SpuriousDragon),或僅僅處置難度炸彈(MuirGlacier,ArrowGlacier,GrayGlacier)。而「主動升級」大致符合白皮書的規劃,Frontier(Frontier,FrontierThawing)、Homestead、Metropolis(Byzantium,Constantinople/Petersburg,Istanbul),而Berlin和London則是以太坊路線圖變更后的過渡性升級。此外,多次主動升級也包含了推遲難度炸彈的選項。
以太坊合并后增發量達4139枚,創10月21日以來新高:12月26日消息,據ultrasound.money數據顯示,合并后至今以太坊增發量約為4139枚,創10月21日以來新高。此前以太坊增發量于10月8日達到1.04萬枚左右的高峰,之后于11月9日至12月1日期間出現了較合并時總量減少的情況。[2022/12/26 22:08:41]
硬分叉是如何達成共識的呢?盡管關于硬分叉的協商并無成文規定,而是依照某種社區慣例進行,但其流程發生過一次變更,標志性事件是MartinHolstSwende提出了「以EIP為中心的升級」。這種新的硬分叉協商機制首次在Berlin升級使用,并避免了一次大型失誤,細節將在后文中介紹。
代表性硬分叉解讀
歷次硬分叉背后蘊含著一些代表性事件,頗具戲劇性,包括DAO分叉、上海DOS、雙堡奇緣和拆彈危機。
DAO分叉
DAO分叉事件是以太坊發展過程中最為深遠的一次事件。由于theDAO的智能合約被黑客攻擊,約360萬ether被黑客盜走,但有28天的凍結時間。在這期間,借助Carbonvote,持幣者表達意愿,以太坊基金會決定將這部分資金轉移到新的智能合約,允許投資者提款。此次分叉產生了EthereumClassic,也引發了大量的社會爭論。
上海DOS
在Devcon2期間,以太坊核心開發者們齊聚上海,但以太坊網絡卻遭遇了大量的網絡流量攻擊,造成了拒絕服務(DOS)。由于EXTCODESIZE操作碼所消耗的實際系統資源遠高于攻擊者所需支付的手續費,攻擊者反復調用該操作碼,造成全網大多數節點無法追上最新區塊。開發者們一面協調礦池和全節點啟用受影響較小的Parity客戶端,一面協商降低區塊gas(從5M降低至1.5M)。最終,借助TangerineWhistle和SpuriousDragon兩次硬分叉調整了相關操作碼的價格,并做了狀態清理,才緩解了DOS攻擊的影響。這次硬分叉還帶來了后續影響,由于對EIP-161(納入在SpuriousDragon中)的實現不當(Go-ethereum和Parity各自錯誤地做了實現),造成了共識分叉。
數據:自以太坊合并以來,總凈發行量僅為2,317 ETH:金色財經報道,Glassnode數據顯示,自以太坊合并以來,總凈發行量僅為2,317 ETH。總共向PoS驗證者發放了131,454個ETH,同時通過EIP1559銷毀了129,137個ETH。明年3月開放質押提現后,可能會發生變化。[2022/11/30 21:12:32]
雙堡奇兵
你也許會好奇為什么在7280000高度會有「君士坦丁堡」和「彼得堡」兩個分叉,仔細觀察會發現兩者的差別就在于「彼得堡」移除了EIP-1283。
根據ChainSecurity的報告,EIP-1283會為部分合約引入重入攻擊的風險。TrailOfBits給出了更詳盡的分析并提供了可能受影響的合約列表。在硬分叉激活前32小時,以太坊基金會發文提醒節點升級或降級以推遲君士坦丁堡升級,隨后發布新版本引入彼得堡硬分叉,客戶端需要將「雙堡」配置在同一塊高或禁用君士坦丁堡硬分叉。
拆彈危機
為什么MuirGlacier和Istanbul兩次硬分叉之間只有26天,這是因為核心開發者們錯誤計算了難度炸彈的爆炸時間,導致在Istanbul中未納入推遲難度炸彈的提案。等到發現難度炸彈即將要對網絡產生影響時,第76次核心開發者會議迅速接受了EIP-2384,并納入到MuirGlacier硬分叉中。
因“合并預期”,過去30天以太坊網絡日均新增地址數量超70,000個:金色財經報道,根據以太坊區塊鏈研究公司 Etherscan 數據顯示,截至 9 月 2 日以太坊網絡錢包地址總數達到 204,571,827 個,而在 8 月 2 日該指標數據為 202,361,298 個,增加了 2,210,529 個新地址,這意味著過去30天以太坊網絡因“合并預期”每天新增獨立錢包地址數量超過 70,000 個。此外,以太坊礦工在網絡中的地址數量也增加了,因為在備受期待的合并發生之前,他們急需通過挖礦來獲取 ETH。需要注意的是,獨立地址數并不代表獨立用戶數,因為一個人可以擁有兩個以上錢包,但隨著 9 月 15 日合并日期的臨近,該指標上漲可以說明以太坊網絡正在吸引大量活動。(bitcoinist)[2022/9/5 13:08:34]
硬分叉決策流程變更
硬分叉是如何決定的?實際上以太坊長期缺少成文文檔,更多依賴「社會共識」。EIP-233試圖規范分叉的正式流程,但并未被接受。
盡管本文無法展現以太坊社區對硬分叉決策流程的討論,但以太坊的硬分叉決定流程顯然發生過變化。在Berlin硬分叉之前,開發者首先確定硬分叉的時間,再決定要納入哪些EIP,確定之后再進行實現和測試。Berlin前的每次硬分叉都是一個MetaEIP,例如Istanbul硬分叉通過EIP-1679定義(簡稱HFM-1679)。
ETC本月漲幅達184%,市場猜測“以太坊合并將導致礦工轉向ETC”:7月29日消息,CoinDesk數據顯示,Ethereum Classic(ETC)本月上漲184%,而Polygon(MATIC)的漲幅為102%,Uniswap(UNI)的漲幅為86%,BTC的漲幅為20%,ETH的漲幅為60%。加密市場總市值已從上月的7628.2億美元低點反彈至1.14萬億美元。此外,ETC今日在主流交易所的價格一度突破45美元。
以太坊即將進行的“合并”似乎推動ETC價格反彈。IntoTheBlock研究負責人Lucas Outumuro表示,“ETC價格受到ETH礦工將轉向ETC的猜測推動,而且可能會是另一個對他們有利的硬分叉。”
數據顯示,在過往以太坊升級前后的時間里,ETC經常會出現較大漲幅,比如在2021年4月以太坊柏林硬分叉升級期間。
Messari研究分析師Sami Kassab最近在研究報告中指出,“以太坊的挖礦網絡由兩種類型的硬件組成:ASIC和GPU。ASIC的問題在于,除了挖ETH之外,它們不能被重新用于不同的應用。Ethereum Classic是唯一可以用ETH ASIC挖礦的其他PoW代幣,因其哈希算法與ETH的算法兼容。”(CoinDesk)[2022/7/29 2:46:33]
MartinHolstSwende提出了EIP為中心的硬分叉流程,其核心觀點是將EIP的接受與硬分叉剝離,核心開發者聚焦于單個EIP的認可、實現和測試,當單個EIP被接受后,后續的硬分叉可選擇納入該EIP。盡管在寫作過程中尚未找到該流程是如何被以太坊核心開發者接受的,但是Berlin硬分叉棄用了HFM-2070,而是采納了Martin提出的流程。
Eth1-Eth2合并開發者測試網Steklo發布,僅適用于今天:4月30日消息,Protolambda啟動實驗性質的Eth1-Eth2合并后測試網。目前網絡上有7個客戶端,雖然Steklo開發者網絡非常脆弱,但這是測試合并的一大步。網絡目前有4個共識客戶端:Teku、Lighthouse、Prysm和Nimbus;3個執行客戶端:Besu、Geth和Nethermind。
Protolambda表示,此次合并是分叉的以太坊開發研究人員Alex Stokes,只是對eth1-eth2組合進行了一些更改。該測試網僅適用于今天(僅1天),計劃在一周內迭代并部署一個新的更長的測試網。
此前消息,Protolambda在3月31日宣布啟動Rayonism項目,計劃使用Eth1和Eth2客戶端構建以太坊合并測試網,并在其上進行構建分片原型。[2021/4/30 21:14:48]
決策流程的變更很快就發揮了作用,在Berlin硬分叉測試網激活前兩周,圍繞EIP-2315的廢留,開發者們展開了激烈的爭論并最終移除了EIP-2315。由于新流程的采納,最后時刻的變更并未對硬分叉造成太大影響,并最終按期進行。更多細節可參考本人撰寫的《移除EIP-2315:以太坊柏林升級前的緊急剎車》
不是改變的改變
值得一提的是,以太坊的區塊空間上限(Blockgaslimit)并非共識的一部分。礦工有權更改區塊空間上限,每個區塊的上限變化最多為0.1%。不去硬編碼這個數值主要是為了避免潛在的攻擊風險。該數值變化的歷史可參見MyCrypto撰寫的研究報告。
EIP深入分析
這些EIP對以太坊究竟造成了什么影響,又是誰影響著以太坊的決策呢。本文整理了以太坊硬分叉中納入的所有EIP(不包含元提案),詳見鏈接。
https://primitiveslane.notion.site/cbd45cf0289c414b86715b8a9e71b28e?v=838baf2ac3a442a6b3fa03e58c5dc0ae
EIP都在做什么
納入硬分叉的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的所有更新,較為復雜。
誰為EIP做貢獻
共有43人,77人次參與了這些EIP的撰寫,其中參與2個以上(含)EIP的作者有11個。VitalikButerin參與撰寫的最多,共17個,占43.6%。MartinSwende和ChristianReitwiessner各參與5個,AlexBeregszaszi和JamesHancock各參與3個,其余人參與的個數均不超過2個。
MartinSwende是以太坊基金會安全負責人,Go-ethereum工程師,EIP為中心的硬分叉流程的提出者;ChristianReitwiessner是Solidity語言的發明者。
另外有趣的是在新的硬分叉流程實施之后,EIP作者的數量發生了顯著變化,這或許說明新的流程提高了EIP的參與度。Berlin之前,28個EIP,43人次,平均每個EIP有1.54個作者;Berlin之后,11個EIP,34人次,平均每個EIP有3.09個作者,增長了一倍。
總結
本文介紹了以太坊歷史上的歷次硬分叉,解讀了幾次硬分叉背后的代表性事件,并詳細描述了以太坊硬分叉決策流程向EIP為中心的轉變。文章還深入分析了歷次硬分叉中的EIP所發揮的作用以及他們背后的貢獻者。
以太坊即將迎來新的時代,往事涌上心頭,讀者朋友,你有何感受?
以太坊去中心化的穩定性是一項正在進行的工作。 圖片來自Hsiao-WeiWang我們期待已久的時刻終于到了!合并終于要在以太坊上發生了,計劃會發生在9月14-15日.
1900/1/1 0:00:00作者:VaderResearch?獨立研究機構VaderReasearch在本文中簡要介紹了該機構的五篇研究論文.
1900/1/1 0:00:009月6日,中國區塊鏈金融創新發展大會暨數字金陵發展論壇在南京建鄴舉行,會上中國通信工業協會區塊鏈專業委員會執行秘書長竇俊發布《數字藏品通用標準1.0》、《數字藏品行業發展調研報告》啟動“數藏備案.
1900/1/1 0:00:00介紹 DelphiLabs是Delphi的協議研發部門,擁有約50人的團隊,致力于構建新的Web3原語。此前該團隊專注于研究和開發Terra上的協議.
1900/1/1 0:00:00用戶對這些「數字藏品」的信任度是有限的。不那么NFT的「NFT」?因為一些原因,中國在監管層面禁止加密貨幣,但卻有一個充滿活力的「數字藏品」市場.
1900/1/1 0:00:00“相較于2021年的萬物皆可‘元宇宙’,今年聽到這個概念的頻率好像減少很多,畢竟技術還不成型。”業內人士在接受《金融時報》記者采訪時表示.
1900/1/1 0:00:00