以太坊治理透視:EIP-2537預編譯的演變歷程解析


EIP-2537是在以太坊的PECTRA分叉升級中引入的一項提案,旨在增加對BLS12-381橢圓曲線的支持,提供多種計算功能。最初提出於2020年,該提案歷經5年才被接受,背景涉及以太坊的多次升級和對密碼學的演進。 EIP-2537經過多次開發者會議討論,解決一系列實現和復雜性問題。最終,預計將在2025年完成相關的成本模型評估,確保其在以太坊生態系統中的有效性和安全性。

作者:Shew

概述

eip-2537 pectra分叉升級中被確定添加的evm預彙編指令。該指令為evm預彙編指令。該指令為evm增加了bls12-381曲線的多種計算功能,比如曲線域上的配對計算等。

EIP-2573最初在2020年被提出,直到2025年才被確認加入以太坊升級。本文主要介紹EIP-2537的治理歷史,探究為什麼經過5年才會將此提案納入升級。

提案背景

2017年年1月份,Vitalik Buterin在探索橢圓曲線配對第一次介紹了配對算法以及alt_bn128曲線。隨後在2017年2月,Vitalik Buterin和Christian Reitwiessner提出了EIP-196和EIP-197提案,提案內容是向evm增加alt_bn128曲線計算支持。

在2017年10月byzantium升級內,正式納入,正式納入alt_bn128曲線。簡單來說,,alt_bn128第一次實現了evm內部的曲線域配對計算,這使得zk-snarks證明驗證可以在evm

但隨著密碼學發展,2017年11月,ZCASH開發團隊在BLS12-381:新的ZK-SNARK橢圓曲線構建第一次給出了BLS12-381曲線。相比於alt_bn128而言,,BLS12-381具有更高的安全性、更好的性能。相當多的區塊鏈協議在此後都使用了BLS12-381曲線而廢棄了alt_bn128曲線。

在2018年5月,賈斯汀·德雷克(Justin Drake)在中心內發布了務實的簽名聚合,bls一文,指出在以太坊未來的BLS12-381曲線的bls多簽算法。當時,以太坊研究者希望使用EIP-1011解決共識層問題,但是EIP-1011方案最多可以容納900個驗證者,因此為每個驗證者設定了1500ETH的巨大質押規模。隨著bls多簽方案的提出,EIP-1011退出了歷史舞台。事實證明BLS12-381曲線。

伴隨著eth2開發,eth2所使用的BLS12-381ETH執行層開始被呼籲。在2020年2月,一些研究員提出了EIP-2537,並且希望該提案可以在ETH2測試網一起接受測試。 EIP-2537作者ALEX Stokes alex stokes在在接下來的六個月中,ETH2在接下來的ETH2中需要什麼。

有趣的是,eip-2537的作者也是物質實驗室的聯合創始人,而物質實驗室最為著名的產品就是zksync

柏林動盪

我們在介紹後續內容前,需要首先介紹EIP-1962。 EIP-1962是物質實驗室在2019年4月,該提案支持了三條曲線,分別是:::

BLS12 BN MNT4/6(ATE配對)

EIP準備一次性增加10個預彙編指令以處理不同的曲線。但是該提案誕生後,相當多的開發者質疑提案過於復雜以至於開發者很難實現。同時由於EIP1962高度通用化,對於智能合約工程師而言,調用也是十分麻煩的。當然

為了解決EIP-1962的問題,物質實驗室於2020年2月提出了多個EIP拆分EIP-EIP-1962,這些EIP都部分繼承了EIP都部分繼承了EIP-1962的接口。這些EIP包括:

EIP-2537提供bls12-381的支持EIP-2539提供bls12-377的支持PR#2541提供bls12-377(Zexe曲線)支持

這幾個EIP內部,最重要的就是eip-2537,因為共bls12-381曲線。包括EIP-1962 eip-1962和EIP-2537 eoster識層Bls簽名的驗證。在當時

在此背景下,核心開發者希望引入bls12-381預彙編在存款合約內實現簽名驗證,ETH2資金的可能損失。這也是當時大量開發者關注EIP-1962和EIP-2537的原因。

EIP-2537剛剛提出時,Vitalik就立即發現了EIP存在的一系列問題:

EIP文檔內容方面,隨後,EIP作者對此進行了回復和討論。隨後,2020年3月6日,在以太腦核心開發#82會議中

隨後,eip-2537成為了優先級較高的任務。 2020年3月20日,在以太核心核心開發人員會議#83中,EIP-2537依舊被首先討論的提案。這次會議確認了EIP-2537替代EIP-2537替代EIP-2537 eip-1962 eip-1962成為核心bls提案並成為bls berlin berlin升級的預選柏林EIP升級的預選EIP(即

在2020年4月的以太坊核心開發人員#84會議內,會議正式將eip-2537 berlin硬分叉升級

以太坊治理觀察:EIP-2537預彙編歷程

隨後,EIP-2537進入了大量的開發和測試階段,在後續近20次核心開發者會議中,每一次會議基本都涉及了EIP-2537的討論。接下來,我們可以看看每一次會議都討論了哪些關於EIP-2537的問題。

在以太坊核心開發會議#85內,danno a to posip-eip-2537 a abi編碼問題進行了討論。隨後

在以太坊核心開發會議#86內,不同的以太坊節點實現再次同步了EIP-2537的實現情況

以太坊治理觀察:EIP-2537預彙編歷程

在以太坊核心開發會議#87內,此次開發者會議最核心的內容就是EIP-2537的實現問題。 GETH開發者表示目前存在一個16000行的pr實現EIP-2537,但是geth geth prpr是否安全且有效的實現了pr是否安全且有效的實現了Pr是否安全且有效的實現了EIP-2537,所以開發者只能通過最為簡單粗暴的模糊測試判斷代碼的情況。

Geth開發者說:“所以我的直覺反應是,Geth沒有機會在7月開始使用Mainnet發射的BLS曲線操作做好準備。”

哈德森·詹姆森(Hudson Jameson)

在這裡,我們需要補充一個背景知識

我們在上文已經介紹過EIP-2537的一個核心目標就是輔助ETH2存款合約,但是在此次會議上存款合約開發者表示不使用EIP-2537的存款合約已經過審計,所以部分開發者提出最好不要再推出一個使用EIP-2537的存款合約。

在最後,會議決定增加,Yolo測試網,該測試網的核心就是測試EIP-2537。事實上,在此次會議中,我們就可以看到eip-2537的重要性隨著存款合約的完成已經大幅下跌

在以太坊核心開發#88內

在以太坊核心開發會議#89內,更加嚴重的問題發生了,Yolo測試出現了一些問題,開發者懷疑是bls簽名導致的問題,但EIP2537開發者對此進行了反駁

在以太坊核心開發會議#90內,這次會議鎖定了7月份上線柏林ddl。當然,這次會議另一個有趣的論點是客戶端多樣性問題,在此次會議中,開發者主要討論了

在以太坊核心開發人員會議#92內

在以太核心核心開會#96內,基於celo已經將EIP-2537和EIP-2539同時納入了其網絡硬分叉升級中,所以物質實驗室希望將與eip-2537 eip-2537 eip-2539 yolo v2 yolo v2 yolov2測試網測試並且進入

在以太坊核心開發會議#99內,EIP-2537移出YOLO V3 berlin升級

EIP-2537的早期歷程,我們可以看到EIP-2537 derllin升級中最重要的EIP之一

以太坊治理觀察:EIP-2537預彙編歷程

後續發展

眾所周知,以太坊每一次升級都會有一個核心提案,比如

在柏林後的倫敦,開發者在,第369屆倫敦EIP-2537。在倫敦EIP-2537。在以太核心開發#109中,開發者同步了當前EIP-2537的開發情況,此時由於使用其他庫對EIP-2537進行實現#111內,EIP-2537因為複雜性被移出了倫敦EIP-2537標準實現更換了依賴庫

在2021年6月,問題#343內正式提出了將EIP-2537納入上海昇級。但是需要注意倫敦升級後升級後,實際上,實際上,合併升級或者被稱為,pos升級。 20222年9月

在2022年11月,以太坊核心開發會議#150內短暫討論了EIP-2537的是否納入上海昇級,但開發者認為EIP-2537需要推遲

cancun cancun升級一直沒有對EIP-2537進行討論,cancun cancun升級的核心是執行層節點支持EIP-4844。 EIP-4844為以太坊二層提供了blob以方便二層使用以太坊作為數據可用層。

終於,在,在2024年2月的以太坊核心開發#181內

在2024年12月12月1219日的以太核心開發#202內,nethermind開發者最終確定了EIP-2537的定價模型。是的,作為EIP-2537的最初提案者eip-2537的最初提案者物質實驗室此時已經近乎退出了討論。在隨後的,2025年1月的以太核心核心Devs Devs Devs Devs#203內

總結

日期事件2020年2月EIP-1962正式提出EIP-2537 2020年4月-2020年10月開發者會議多次討論EIP-2537實現問題,並最終因為無法實現而被柏林昇級放棄2021年3月-2021年4月開發者會議討論EIP-2537煤氣成本問題,最終因為複雜性被倫敦升級放棄2022年11月開發者會議討論是否納入上海昇級,無果2024年2月開發者認為EIP-2537沒有任何實現問題,仍存在部分,仍存在部分,pectra升級2024年12月-2025年1月1月開發者會議討論具體的成本計算模型,正式解決EIP-2537成本問題

可見,eip是否被納入以太坊升級,“當然要靠自我奮鬥,但是也要考慮到歷史的行程”,。每一次以太坊升級都會有自己的主題

資訊來源:由0x資訊編譯自互聯網。版權歸作者所有,未經許可,不得轉載

Total
0
Shares
Related Posts