原文標題:《以太坊核心開發者會議更新014》
原文來源:AllCoreDevsUpdate
原文作者:TimBeiko
原文編譯:Ethereum.cn
歡迎閱讀新一期的AllCoreDevs(以太坊核心開發者會議)更新——2022年的最后一期。
盡管這些更新最初是每月系列,但節奏逐漸趨于每季度一更。讀者可以把這些更新視為圍繞AllCoreDevs發生的重大事件摘要。如果你想要了解更多細節,我推薦閱讀ChristineKim?的記錄、BenEdginton?的共識層會議記錄和我的ACD長推文,這些更新更頻繁。
話不多說,讓我們開始吧!
概要
上海/Capella升級的內容已經敲定了:提款、EOF和一些小型修改......前提是它們不延遲提款
Blob空間要來了:EIP-4844將成為以太坊下一次升級的中心,它的召喚儀式很快就要開始
在技術方面使得執行層和共識層的升級流程能互相協調的努力正在進行中。我們還看到關于在這個過程中更好地融入社區意見的積極討論
ProtocolGuild(協議公會)發布了一份中期試點報告,以及一份在2023年擴大一層維護者的規模并更好地給他們提供支持的大概計劃
上海/Capella升級
在最近的一次AllCoreDevs?上,客戶端團隊就上海/Capella升級的最終范圍達成了共識。盡管升級的名字可能還有待商榷,但團隊對它的范圍已經明晰了。升級的主要功能是為質押者引入信標鏈提款。盡快推出這個功能是客戶端團隊不想妥協的事情,所以升級中的其他功能需要同時準備好,否則可能會被放棄。
上海執行層規范列出了所有被納入的EIP:
EIP-3540:EVM對象格式(EOF)v1
EIP-3651:降低訪問COINBASE地址的gas開銷
EIP-3670:EOF-代碼驗證
EIP-3855:新增操作碼PUSH0
EIP-3860:對initcode的大小設限并引入gas計量
EIP-4200:EOF-靜態的相對跳轉
EIP-4750:EOF-引入函數
EIP-4895:信標鏈推式提款作為系統操作
以太坊開發環境工具Hardhat發布v2.6.1,解決三個問題:以太坊開發環境工具Hardhat發布v2.6.1,該版本解決了三個問題:
1. 當用戶通過websocket連接到Hardhat節點時,該節點出現問題。現在websocket連接應該可以正常工作。
2. debug_traceTransaction可用于從模擬帳戶發送的交易。
3. evm_setNextBlockTimestamp、evm_increaseTime和evm_mine現在將接受十六進制字符串作為參數。[2021/8/21 22:28:43]
EIP-5450:EOF-堆棧驗證
盡管列表很長,它可以被分成三個不同部分:小型改良、EVM對象格式和提款。接下來將逐一介紹:
小型改良?
EIP-3651:WarmCOINBASE(降低訪問COINBASE地址的gas開銷)
這個EIP修復了在EIP-2929?里的一個疏忽,即對某些數據字段訪問的gas開銷修改是根據這些數據是已在客戶端內存中(WARM)還是需要從磁盤中檢索它們(COLD)來判斷。
EIP-2929在每筆交易開始時將客戶端內存中的兩個數據設為?WARM?:發送地址和接收地址。EIP-3651給這個列表添加第三個地址,COINBASE?地址(即?feeRecipient),因為它也是客戶端在處理區塊交易時在內存中的地址。
EIP-3855:PUSH0instruction(新增操作碼`PUSH0)
顧名思義,EIP-3855引入了一個把0值壓入堆棧的操作碼。壓入0通常用于填充EVM中的值,此操作碼將提供一種更高效、更便宜的方法來執行此操作。
EIP-3860:Limitandmeterinitcode(對initcode的大小設限并引入gas計量)
這個EIP添加了?initcode?的大小上限,并基于其長度引入gas計量。其大小上限為EVM添加了一個不變量,這使得它更易于理解和提議修改。
為?initcode?引入每32字節2gas的開銷,這是用于支付客戶端在執行前必須進行的jumpdest分析,jumpdest分析之前沒有列入gas收費表。
對象格式
上海升級納入的大多數EIP其實都是這單一功能的一部分:EVM對象格式(EVMObjectFormat,EOF)。這項工作被分解為5個不同的EIP,以幫助客戶端開發者理解每個單獨的修改,但為了提供一個更高層級的概述,開發者發布了一份統合的規范。這5個EOF的EIP分別是:
以太坊基金會開發人員:信標鏈首個升級Altair已取得進展:以太坊基金會核心開發人員Danny Ryan在以太坊官方博客發布文章宣布信標鏈首個升級Altair已取得穩定進展。Altair是計劃在年中進行的相對較小的信標鏈更新,此前以太坊開發者電話會議提到客戶端團隊在實施Altair規格方面進展相當順利。Danny Ryan透露信標鏈首個計劃升級Altair已經取得穩步進展,上周發布信標鏈spec v1.1.0-alpha.6 – Protostellar Evolution雖然是一個Alpha版本,但出于安全性或實際工程方面考慮應該不會再進行大幅調整。Danny Ryan還表示,以太坊客戶端開發團隊現在將重點放在今年夏天的倫敦分叉和Altair分叉上,之后再把工作重心轉移到Eth1和Eth2合并。[2021/5/26 22:44:49]
EIP-3540:EVM對象格式版本1
EIP-3670:EOF-代碼驗證
EIP-4200:EOF-靜態相對跳轉
EIP-4750:EOF-引入函數
EIP-5450:EOF-堆棧驗證
值得注意的是,EOF的第一步是發生在倫敦升級的EIP-3541,它為EOF合約保留了?0xEF00?的前綴。在過去的幾個月里,上海升級的EOF范圍也發生了變化。
在二月,客戶端團隊同意考慮在上海升級納入兩個最小的EOFEIP:EIPs3540&3670。它們都將作為構件,但在不引入EIP4200、4750和5450的前提下,不會提供全部功能。盡管有可能延展EOF,但向后不兼容可能需要新增一個版本。因為EOF前的或有一個特定版本的EOF合約必須一直可執行,因此每個新的EOF版本都意味著客戶端開發者必須維護一組與舊規則并行的新EVM執行規則。
在EOF之前,客戶端一次只維護一組EVM規則。代碼庫也支持之前的EVM規則,這些規則在每次網絡升級里都會修改,但一旦它們到了區塊鏈的鏈頭,就必須只應用最新的規則。部署了EOF后,客戶端將維護兩套平行的EVM規則,因此它們可以執行在EOF和非EOF合約里的代碼。換句話說,EOF的版本增加所增加的是必須維護的平行的而不是連續的EVM規則集數。
為此,在過去幾個月,客戶端團隊開始偏向于「大EOF"的方法。這樣,盡管他們必須實現更大型的修改集,但EOF版本將維持更長時間,并減少需要維護的「平行EVM"數。因此,開發者們考慮的是「大EOF」,并最終納入到了上海升級。
加拿大投資管理公司CI Global將推出首只以太坊ETF:2月25日消息,加拿大投資管理公司CI Global宣布已提交招股說明書,將于多倫多證券交易所推出全球首只以太坊ETF,股票代碼為“ETHX”。Galaxy Digital Capital將作為顧問,并代表ETF執行交易。ETHX將直接投資以太坊,其所持資產將使用彭博指數服務旗下的彭博銀河以太坊指數定價。(CoinDesk)[2021/2/25 17:53:10]
也就是說,更大型的功能顯然更難以實現和測試,且團隊也不希望看到EOF嚴重延遲信標鏈提款。因此,如果到1月,EOF的實現還沒完成,且彼此間無法快速互操作,客戶端團隊同意把EOF移出上海升級。
有了這些脈絡后,現在讓我們簡要介紹各個EOFEIP:
EIP-3540:EVMObjectFormat(EOF)v1(EVM對象格式版本1)
這個EIP為EOF合約引入了「container」。它增加了區分合約里的代碼和數據部分的標記,并防止不符合格式的EOF合約被部署。這就保證了任何鏈上的EOF合約都會遵循有效的格式,這就簡化了與這些合約的交互,以及對它們的靜態分析。
EIP-3670:EOF-CodeValidation(EOF-代碼驗證)
在由3540引入的container基礎上,EIP-3670確保EOF合約中的代碼是有效的,或者防止它被部署。
這意味著未定義的操作碼不能被部署在EOF合約中,這有一個額外的好處,即減少所需增加的EOF版本數量。如果添加了一個新的操作碼,可以簡單地改變驗證規則來啟用它,并且保證沒有已部署的EOF合約在其代碼部分引用它。
EIP-4200:EOF-Staticrelativejumps(EOF-靜態相對跳轉)
EIP-4200引入了首批EOF專用的操作碼:RJUMP、?RJUMPI?和?RJUMPV,它們將目的地編碼為有符號的即時值。這些新的JUMP操作碼可以被編譯器用來優化gas開銷,因為它們免去了運行時jumpdest分析的需要,而現有的?JUMP?&?JUMPI操作碼都是需要的。
EIP-4750:EOF-Functions(EOF-引入函數)
EIP-4750在4200的基礎上再進一步:它不允許使用?JUMP?&?JUMPI?操作碼,并為不能復制?RJUMP、RJUMPI?和?RJUMPV功能添加替代方案。它通過在EOF字節碼里引入特定函數section來實現,這些函數可以分別從新的?JUMPF、CALLF?和?RETF?操作碼跳轉到,并使用它們來調用和返回。
動態 | 以太坊開發者提議在2月底進行君士坦丁堡升級:據coindesk消息,以太坊核心開發人員在周五早上的核心開發者電話會議期間提議在2月26日到2月28日之間的某個時間段進行硬分叉,具體分叉的區塊還有待確定。據悉,本次電話會議的參與者包括以太坊創建者Vitalik Buterin以及其他開發者。[2019/1/19]
EIP-5450:EOF-StackValidation(EOF-堆棧驗證)
最后,EIP-5450為EOF合約添加了另一個驗證檢查,這次是圍繞堆棧的。這個EIP防止EOF合約部署可能導致堆棧下溢,以及某些情況上溢的代碼。有了這個EIP,客戶端可以減少在執行EOF合約時驗證檢查的次數,因為它們有了圍繞堆棧相關異常的更好保證。
作為一個非常關注EIP本身的非EVM專家,我可以介紹的就這么多了!如果讀者想要更加深入了解EOF,我推薦Geth團隊的lightclients?和Solidity團隊的Leo?發的相關推文。
信標鏈提款
最后但同樣重要的是,「Shapella」?(譯者注:Shanghai/Capella的合稱)的主要部分是信標鏈提款。這部分變更在共識層規范和EIP-4895?都有說明。現在有一份稍微過時的元規范把這些變更聯系在一起。
從高層級來看,提款的機制如下:
當提議區塊時,驗證者線性掃描驗證者索引,找出前16個有0x01憑證的驗證者,它們需要符合以下其中一個條件:
Haveabalanceabove32ETH(i.e.haveaccruedvalidatorrewards)
Are?withdrawable?(i.e.havefullyexitedthevalidatorset)
余額大于32個ETH(即已經獲得驗證者獎勵)
是?withdrawable?的(可提款的,即已經完全退出驗證者集)
Fromthese,thevalidatorwillcreatealistofwithdrawalstobeincludedintheir?ExecutionPayload.Eachiteminthatlistcontainsthefollowing:
驗證者將從這些驗證者里創建一個提款列表打包進他們的ExecutionPayload。列表里的每一項都包含以下內容:
聲音 | 美國著名作家:以太坊是一個機構:據trustnodes報道,在70年代代碼革命中發揮了作用,推廣了個人電腦術語的美國著名作家Stwart Brand在Devcon大會上表示,以太坊是一個機構,而機構是人類在事物上合作的方式。[2018/11/3]
WithdrawalIndex:所有進行過的提款交易索引——這有助于區分來自相同地址、相同驗證者的相同數額提款
ValidatorIndex:余額被提出的驗證者索引
ExecutionAddress:執行層的ETH地址,即提款應該發送到的地方
Amount:被發送到?ExecutionAddress?的數量,這個數量以?gwei(而不是wei)計量
在構建或處理區塊時,執行層客戶端將在交易執行后進行這些提款操作。換句話說,處理提款與工作量證明獎勵的入賬方式相似,它并不與用戶交易競爭區塊空間。
還有一些值得注意的細節:
在處理提款時,提出「全款」對比「部分資金」在優先級/排序上并沒有區別。當驗證者離開退出隊伍時即提出全款,而部分提款是周期性發生的,即當對驗證者集進行線性掃描并掃到某個驗證者的索引號時。
為了提款得以被處理,驗證者必須使用?0x01?憑證,它用ETH地址表示。信標鏈上線時只允許使用BLS密鑰對?0x00?憑證。為了啟動提款,有?0x00?憑證的驗證者將需要對一條?BLSToExecutionChange?消息簽名。這些將在Capella升級中被激活。會有多種工具用以簽署這條消息,驗證者可以期待對這些工具的支持和教程。
對驗證者的掃描是以每個區塊為界限的。如果在掃描完一個驗證者集的子集后沒有16筆提款需要處理,驗證者將停止掃描,而下一個驗證者將從最后一個被掃描的驗證者索引開始。
像往常一樣,在主網上線前,會有幾個開發者測試網和測試網(甚至可能有一些新的測試網!)給驗證者運行整個過程,并解決所有問題。
上海/Capella并不是唯一取得進展的升級!開發者團隊還在展望下一個升級。
坎昆升級
由于上海升級的內容已經滿了,但很多納入考慮升級的EIP(CFI)都沒能進入上海升級。客戶端團隊開始討論哪些EIP應該考慮進入下一次升級:坎昆升級(共識層名稱有待確定)
在共識層方面,EIP-4844已經成為Capella升級后第一個寫進規范的的EIP。執行層(還)沒有一個可以實現這種布局的規范,但執行層團隊同意遵循相似的路徑,并在下一個升級里以EIP-4844為中心。
按照升級使用舉辦過Devcon城市名稱的慣例,cancun.md?已經被創建,其中EIP-4844被正式納入升級。
這個決定發生在2022年最后一次AllCoreDevs會議的最后一分鐘,所以沒有時間處理其他提案。進入上海升級CFI但最終沒有被納入的EIP被移到坎昆升級的CFI清單,在EthereumMagicians?論壇也開了一個帖子用來討論坎昆的候選EIP。明年年初,坎昆升級范圍的討論工作應該會開始正式進行。
KZG儀式
另一件與坎昆升級相關且可以期待的事情是KZG儀式,這是EIP-4844的要求。
這個儀式將生成驗證blob數據有效性所需的隨機性。要使得它被認為是安全的,只需要有一個參與者是誠實的。換句話說,如果除了一個參與者外其他所有參與者都合謀了,這樣整個過程在密碼學上都是安全的。
這個儀式從1月開始,它將向所有人開放幾個月。我們的目標是有10,000個參與者,計劃會是這類儀式迄今為止規模最大的!如果你想要確保不錯過,請在推特關注TrentVanEpps!
合并后升級流程
正如在之前的更新里提到的,合并后,在執行層和共識層協調以太坊的升級流程是一個重要的待辦事項。從高層級來看,執行層使用黃皮書&EIP來說明修改,而共識層使用可執行的Python規范。
執行層流程的好處是EIP被社區所熟知,并且其格式化的方式可以清楚地展示提案背后的原因。有大量數學內容的黃皮書搭配EIP,以及需要把規范放回各個EIP的脈絡里使得執行層規范難以理解和擴展。
共識層方面的問題則相反:它有一個清晰易懂的規范,在一個單一的倉庫里,但修改并不具體可辨,而且提案淹沒在倉庫里的其他公開PR里。
隨著以太坊執行層規范的引入,我們有希望從執行層方面縮短這一差距。而且,通過一些流程爭論,我們可能能夠讓EIP引入到共識層流程!
也就是說,隨著上海升級的范圍被討論和最終敲定,很明顯,這個過程可能缺乏另一部分:讓社區去表達他們對變更的相對偏好,并參與到關于整個升級范圍(而不是個別EIP)討論里的地方,并將其作為AllCoreDevs和共識層會議決策的一部分。
現在還不清楚它會是什么樣的——我很樂意收到建議!——但隨著積極參與協議變更的利益相關者的數量以及一層變更影響的領域數量都在增加,我們顯然需要某些東西。
幸運的是,我們不需要從頭開始。EthereumMagicians?已經存在多年了,它的線下聚會、專門的小組會議或社區會議可能是很好的擴展起點。
期待在2023年初在這方面有更多進展!
協議公會更新
隨著協議公會(ProtocolGuild,PG)試點已經完成了一半,他們發布了一份報告,檢視事情的進展情況,以及思考項目的下一步計劃是什么。
提醒一下,PG是針對以太坊Layer1客戶端開發者、協議研究員和支持貢獻者(如你們)的一個無需許可的資助機制。
這個機制以個人為中心,而不是組織。簡而言之,每個成員都有資格獲得公會的Token份額,根據他們對以太坊的貢獻時長來進行加權計算。成員的增刪是以真正以太坊的方式來進行——基于一套標準,在PG內部達成大致的共識。這個列表隨后會被放到鏈上,使用0xSplit?的分割合約。然后,捐獻者可以將資金直接發送到接收者的地址,或發送到給接收者地址發放資金的鎖倉合約(vestingcontract)。
試點中期報告在這篇推文里有總結。以下是一些重點
這次試點籌得了970萬美元,這些款項來自很多的組織,例如Lido、Uniswap、ENS、NounsDAO和MolochDAO,以及一些經常進行捐助的個人(感謝Tetranode!)——感謝大家使這項計劃成為可能??!
PG在發布時有90名成員,到現在有128名,在他們之間已經分發了500萬美元
平均來說,每個成員收到39,000美元,其中最低的是1.3萬美元,最高的達到7.9萬美元
PG的架構正在變化,將會支持L2,并刪除對多簽的需求,以更新權重
這些早期的結果顯示PG正在按計劃運作:一個將一籃子Token分配給一組自我孵化、不斷增長的協議貢獻者的機制。如果沒有試點捐贈者的慷慨支持,這個項目不會有今天的成果。
展望未來,現在是時候擴大PG的影響范圍,充分發揮它的潛能:為以太坊的維護者提供有競爭力的、具有風險調節能力的補償。這里最簡單的做法是項目從一開始就給PG捐款,就像DannyRyan在啟動PG的推文里所說的。
試點里的捐款大多來自擁有大量資金的大型項目。如果協議公會可以說服這些項目從第一天就給PG捐款,即他們的Token仍然是真正「不值錢」的時候,之后,以太坊的維護者就可以從這些成功項目的整個上升軌跡中獲益。
當有足夠多的項目參與時,激勵可以讓最優秀的人才保持維護協議,而不是把他們拉走。
為了支持這一點,以及其他許多捐獻類型,PG將需要進行一次技術革新。下一個版本將支持L1和L2,并進一步減少其鏈上治理的足跡。
如果你是希望給協議公會捐款的項目,請聯系我——我的DM是開放的!
后續工作
這就是2022年的最后總結了......多么不平凡的一年!三個月前,我們甚至還沒合并!現在,以太坊已經在后臺默默運行著權益證明,焦點已經轉移到未來的事務。
隨著大家在1月份回歸,大家可以預期:
上海/Capella升級的開發者測試網和影子分叉
KZG儀式上線
圍繞Cancun的討論,以及網絡升級流程應如果發展,以更好地捕捉社區的偏好
協議公會的試點將結束,我們將公布試點后的架構
感謝你們的閱讀!以及感謝在過去一年中花時間努力改善以太坊的每一位——我們實現了很多。
2023年見!
2022年對于整個數字資產行業來說是艱難的一年。在市場低迷的大環境下,65%的數字資產市值化為烏有,而數量空前的黑客攻擊、詐騙事件和機構崩盤,讓本就損失慘重的投資者們雪上加霜.
1900/1/1 0:00:00作為虛擬世界的指稱,Web3更多意指自由交互、去中心化的生存交往空間。在此之上,虛擬經濟作為衍生產業日益成為投資人、開發者關注的重要賽道.
1900/1/1 0:00:00摘要 “Notyourkey,notyourcoin”,無論智能合約錢包還是個人賬戶錢包,私鑰都擁有對錢包的絕對控制權,一旦私鑰丟失我們的錢包就完全暴露在風險之下私鑰是錢包的基礎.
1900/1/1 0:00:00撰文:LidoFinance編譯:angelilu,ForesightNews流動性質押協議Lido自今年1月以來其總鎖倉價值超過MakerDAO,成為TVL最高的DeFi協議.
1900/1/1 0:00:00原文:《當下的NFT市場是過度杠桿化的「虛假牛市」嗎?》作者:0xLaughing,律動BlockBeats 大多數藍籌在近一個月都迎來不同程度上漲自FTX暴雷后.
1900/1/1 0:00:00原文作者:MichaelNadeau來源:TheDeFiReport本周,我們將分享我們當前對第1層區塊鏈估值框架的看法,重點是以太坊.
1900/1/1 0:00:00