本文作者為Tim Beiko,是以太坊核心開發者,這篇文章是他對于接下去上海升級的解讀。
歡迎閱讀有關 AllCoreDevs 在 2022 年的最后一次更新。
長話短說:
上海/ Capella 升級的內容已經敲定:提款,EOF,還有一些小改動……只要不耽誤提款即可 ?
Blobspace 即將到來: EIP-4844 將成為以太坊下一次升級的中心,其召喚儀式即將開始??
開發者們正在努力協調執行客戶端和共識客戶端升級過程的技術方面。我們還看到了關于更好地將社區的意見納入流程的積極討論?
在最近一次 AllCoreDevs 電話會議上,客戶端團隊就上海 / Capella 升級的最終范圍達成了共識。雖然升級的名稱可能仍有爭議,但團隊們已經清楚了升級的范圍,這次升級的主要任務是為質押者引入信標鏈提款。盡快解決這個問題是客戶端團隊的目標,因此升級中的其他功能需要同時準備好,或者有可能會被移除。
上海 EL 規范列出了所有包含的 EIP:
EIP-3540:EVM 對象格式 (EOF) v1
EIP-3651:Warm COINBASE?
EIP-3670:EOF - 代碼驗證?
EIP-3855:PUSH0 指令?
EIP-3860:限制和計量 initcode?
EIP-4200:EOF - 靜態相對 jumps?
EIP-4750:EOF - 函數?
EIP-4895:信標鏈推送提款操作?
EIP-5450: EOF -堆棧驗證?
雖然列表很長,但我們可以將它們分為三個不同的部分:小改進、EVM 對象格式以及提款。讓我們來逐一分析:
DuckDuckGo高管:加密鯨魚正在大量積累以太坊:DuckDuckGo高管Adam Cochran表示,他對排名前1萬的以太坊地址進行了人工審計,以檢查以太坊鯨魚的活動、流動性盈利能力和市場操縱能力。在過去六個月里,現有鯨魚將以太坊頭寸增加了5.5億美元以上,增幅為4%,而去年一年比特幣的新資本流入總額約為6億美元。Cochran還表示,不僅僅是現存的鯨魚在積累:“在排名前1萬的以太坊地址中,有相當數量的新錢包是與有法幣入口交易所進行的第一筆交易,這些交易所(主要是Gemini、Kraken和Coinbase)為大型客戶提供服務。這些新地址通常購買價值10萬到25萬美元的以太坊,它們占前1萬個地址的6%左右(即在過去6個月里新購入1億美元的ETH)。”另外,數據顯示,這些大型投資者似乎無意出售他們持有的ETH。Cochran稱:“目前,在交易所出售的ETH僅有1950萬,3360萬ETH被存入交易所,這只占存款的58%,所以鯨魚是在積累,而不是出售。相比之下,任何時候ETH的價格上漲了逾25%,這個數字在歷史上一直超過75%。這是ETH首次上漲50%,而出售數量占比低于80%。”(The Daily Hodl)[2020/4/30]
該 EIP 修復了 EIP-2929 中的一個疏忽,該疏忽根據客戶端是否已將數據字段存儲在內存中(WARM)或需要從磁盤中檢索它們(COLD)來更改訪問某些數據字段的 gas 成本。
EIP-2929 在每個事務開始時,將客戶端內存中的兩段數據設置為 WARM:發送地址和接收地址。EIP-3651 在這個列表中添加了第三個地址,即 COINBASE 地址(又名 feeRecipient),因為它也是客戶端在處理區塊交易時在內存中的地址。
顧名思義,EIP-3855 引入了一個將值 0 推入堆棧的操作碼。Pushing 0 經常用于填充 EVM 中的值,此操作碼將提供一種更有效、更便宜的方法來實現這一點。
報告:目前75%的穩定幣通過以太坊網絡結算:金色財經報道,根據Ryan Sean Adams的最新文章,過去一周比特幣和以太坊并沒有直接以美元出售,而是被換成了大量的穩定幣。穩定幣在結算方面的統治最近正面臨著重大轉變。在2019年初,比特幣是世界上最大的穩定幣網絡,USDT僅在Omni上結算。而過去12個月穩定幣的增長圖表表明,USDT_ETH相對比特幣的Omni占壟斷地位。該報告顯示,目前,市場上75%的穩定幣都通過以太坊網絡結算。轉變背后的邏輯是多重的。以太坊允許其穩定幣用戶訪問DeFi協議,該領域正迅速成為借貸平臺的流行樞紐。在可伸縮性和UX網絡方面,也有了實質性的改進。此外,由于ETH網絡的效率和功能遠高于比特幣,某些銀行也一直在考慮在以太坊上發行穩定幣。[2020/4/8]
該 EIP 增加了 initcode的最大大小,并引入了基于其長度的 gas 計量。 大小限制為 EVM 添加了一個不變量,這將使推理和提出更改變得更容易。
引入了一個2 gas/32 字節的initcode 開銷,以說明客戶端在執行之前必須執行的 jumpdest 分析,這在以前的 gas 計劃中并沒有被考慮到。
上海升級包括的大多數 EIP 都是單一功能的一部分 : EVM 對象格式(EOF)。這項升級工作被分解為 5 個不同的 EIP,以幫助客戶端開發人員單獨地解釋每個更改,但為了提供更高層次的概述,本周發布了一個統一的規范。這 5個 EOF EIP 分別是:
1、EIP-3540: EVM 對象格式(EOF) v1
2、EIP-3670: EOF -代碼驗證
3、EIP-4200: EOF -靜態相對跳轉
4、EIP-4750: EOF -函數
5、EIP-5450: EOF -堆棧驗證
動態 | Codebase Ventures子公司測試以太坊游戲加密貓:金色財經報道,Codebase Ventures區塊鏈子公司Arcology正在其區塊鏈網絡上測試基于以太坊的游戲CryptoKitties(加密貓)。由于交易量大,該游戲可能會造成嚴重的網絡擁堵。Arcology提供了一個允許并行處理多筆交易的解決方案,可以根據可用的計算機數量線性擴大交易處理。[2020/2/20]
值得注意的是,EOF 的第一步是在倫敦升級中使用 EIP-3541,它為 EOF 合約保留了 0xEF00 前綴。在過去的幾個月里,上海 EOF 升級的范圍也發生了變化。
2 月份,客戶端團隊同意為上海升級考慮兩個最小的 EOF EIP:EIP 3540 和 EIP 3670。它們將充當構建塊,但如果不引入 EIP 4200、EIP 4750 以及 EIP 5450 將無法提供全部功能。雖然有可能 擴展 EOF,但向后不兼容的擴展可能需要一次版本升級。 由于具有特定版本的前 EOF 或 EOF 合約必須始終可執行,因此每個新的 EOF 版本都意味著客戶端開發人員必須維護一組與舊規則并行的新 EVM 執行規則。
在 EOF 之前,客戶端一次只維護一組 EVM 規則。代碼庫還支持歷史 EVM 規則,這些規則可以改變每次網絡升級,但一旦它們到達鏈的頂端,就只能應用最新的規則。而使用 EOF,客戶端將維護兩個并行的 EVM 規則集,因此它們可以在 EOF 和非 EOF 合約中執行代碼。換句話說,EOF 版本bumps 增加了并行的數量,而不是順序的,必須維護的 EVM 規則集。
出于這個原因,在過去的幾個月里,客戶端團隊開始更喜歡一種“大 EOF” 方法。 這樣,雖然他們必須實施更大的變更集,但 EOF 版本將保持更長時間,從而減少要維護的“并行 EVM”的數量。因此,“大 EOF”被考慮并最終納入到接下來的上海升級中。
分析 | 基于以太坊的DeFi借貸服務需求與ETH價格呈反比關系:CoinDesk文章稱,DeFi借貸服務收益令人印象深刻,但它們與ETH價格的關系值得關注。基于以太坊的DeFi借貸服務需求與ETH價格呈反比關系。當ETH價格下跌時,鎖定在DeFi中的ETH數量會上升。最新數據表明該關系也以其他方式起作用。如果這種明顯的關系持續下去,這可能意味著循環使用DeFi貸款,該貸款可能僅限于現有ETH持有者的一小部分。也就是說,現有的DeFi貸款產品可能沒有足夠的吸引力來跨越鴻溝,吸引新用戶進入以太坊。該分析的最早采用者是ETH長期持有者,其動機是相信ETH的價值會在未來增加。對于此類投資者,DeFi貸款提供一種賺取收入或釋放資本的方式。 其中一些用途,例如賺取收入的存款和現金轉換,可能在價格下跌期間加速,這解釋了以太坊價格與鎖定在DeFi借貸中的以太坊之間的明顯反比關系。價格下跌增加了被迫出售的成本。杠桿購買可能是一個例外。MakerDAO智能合約負責人Mariano Conti表示:“ DeFi正在創造一個良性循環,在這個循環中,具有較高風險承受能力的投資者正在鎖定ETH,以生成Dai,并利用做多ETH。” (CoinDesk)[2020/2/16]
也就是說,更大的功能顯然更難以實施和測試,而客戶端團隊們并不希望看到 EOF 顯著延遲信標鏈提款。 因此,客戶端團隊們同意,如果到明年 1 月, EOF 實施不完整且相互之間無法快速互操作,則將 EOF 從上海移除。
在這個背景下,現在讓我們簡單地介紹一下各種 EOF EIP:
該 EIP 為 EOF 合約引入了“容器”。 它在合約中添加了區分代碼和數據部分的標記,并防止部署不符合格式的 EOF 合約。 這保證了任何鏈上 EOF 合約都將遵循有效的布局,從而簡化了與這些合約的交互以及對它們的靜態分析。
動態 | 以太坊未確認交易35535筆:據Etherscan.io數據顯示,以太坊未確認交易35535筆。當前挖礦難度2511.39 TH,交易處理能力6.2 TPS。截至目前以太坊全球均價為153.03美元,最近24小時漲幅為3.04%。[2019/11/28]
EIP-3670 建立在 EIP-3540 引入的容器之上,確保合約 EOF 中的代碼有效,或阻止其部署。
這意味著未定義的操作碼無法在 EOF 合約中部署,這具有減少所需的 EOF 版本更新數量的額外好處。 如果添加了新的操作碼,只需更改驗證規則即可啟用它,并且可以保證沒有 EOF 部署的合約在其代碼部分引用它。
EIP-4200 引入了第一個 EOF 專用操作碼:RJUMP、RJUMPI 和 RJUMPV,它們將目標編碼為帶符號的即時值。編譯器可以使用這些新的 JUMP 操作碼來優化 gas 成本,因為它們消除了對現有 JUMP 和 JUMPI 操作碼所需的運行時 jumpdest 分析的需要。
EIP-4750 比 EIP-4200 的功能更進一步:它不允許 JUMP 和 JUMPI 操作碼,并為 RJUMP、RJUMPI 和 RJUMPV 無法復制的函數添加了替代方案。它通過在 EOF 字節碼中引入特定的函數部分來實現這一點,這些函數部分可以分別使用新的 JUMPF、CALLF 和 RETF 操作碼跳轉到、調用以及返回。
最后,EIP-5450 為 EOF 合約添加了另一個驗證檢查,這次是圍繞堆棧進行的。該 EIP 可防止 EOF 合約部署可能導致堆棧下溢,以及某些溢出情況的代碼。 有了這個,客戶端可以減少它們在執行 EOF 合約期間進行的驗證檢查的數量,因為它們可以更好地保證與堆棧相關的異常。
作為一名非 EVM 專家,以上就是我能帶你走的最遠的地方! 如果你想深入了解 EOF,我推薦你們閱讀 Geth 的 lightclients 或 Solidity 的 Leo 的帖子。
最后但同樣重要的是,“Shapella”的主要組成部分是信標鏈提款。這一變化在共識層規范以及 EIP-4895 中都有規定。現在稍微有點過時的元規范將這些聯系在了一起。
下面簡單說說提款的工作原理:
當提出一個區塊時,驗證器通過驗證器索引線性掃描,找到前 16 個具有 0x01 憑據的驗證器,這些驗證器要么:
余額超過 32 ETH(即已累積驗證者獎勵)
可提款(即已完全退出驗證者集)
根據這些,驗證器將創建一個提款列表,以包含在他們的 ExecutionPayload 中。 該列表中的每一項都包含以下內容:
WithdrawalIndex:所有提款中的索引——這有助于區分從同一驗證器到同一地址的相同金額的提款;
ValidatorIndex:余額被提取的驗證器的索引;
ExecutionAddress: 需要發送提款的執行層 ETH 地址;
Amount: 要發送到 ExecutionAddress 的金額,以 gwei(不是 wei)為單位;
在構建或處理區塊時,EL 客戶端將在交易執行后應用這些提款。換句話說,處理提款類似于工作量證明獎勵的記入方式,并且不會與用戶交易爭奪區塊空間。
還有一些值得注意的細節:
在處理提款時,“全部”和“部分”提款在優先級/順序方面沒有區別。 一旦驗證器離開退出隊列,就會發生完全提款,當對驗證器集的線性掃描到達驗證器的索引時,部分提款會定期發生。
為了處理提款,驗證器必須使用 0x01 憑證,它代表一個 ETH 地址。 在信標鏈啟動時,只允許使用 BLS 密鑰對的 0x00 憑據。 為了啟用提款,具有 0x00 憑證的驗證器將需要簽署 BLSToExecutionChange 消息。 這些將作為 Capella 升級的一部分啟用。 驗證者可以期待多種工具的支持和教程來簽署此消息。
對驗證器集的掃描以每個區塊為界。 如果在掃描驗證器集的一個子集后,沒有 16 個提款需要處理,驗證器將停止掃描,下一個將從上次掃描的驗證器索引中提取。
與往常一樣,將有幾個開發者測試網(devnet)和測試網(甚至可能是一些新的!)供驗證者運行整個過程,并在主網上線之前解決所有問題。
不過,上海/Capella 升級并不是唯一取得進展的升級! 開發團隊們也一直在期待下一個升級。
上海升級的內容已定,但很多 CFI 的 EIP 沒有被納入,客戶端團隊開始討論下一次 Cancun 升級應該考慮納入什么 ??
在 CL 方面,EIP-4844 已被指定為 capella 后的第一個升級?。 EL 尚未支持這種布局規范,但 EL 團隊同意遵循類似的路徑,并將下一次升級圍繞 EIP-4844 進行。
按照使用 devcon 城市名稱進行升級的慣例,開發者創建了 cancun.md,并正式將 EIP-4844 包含在這次升級當中。
這個決定是在 2022 AllCoreDevs 電話會議的最后幾分鐘做出的,所以沒有時間討論其他提案。那些在上海升級獲得 CFI ,但沒有入選的 EIP,已被轉移到 Cancun 的 CFI 名單上,以太坊魔術師論壇已創建了帖子?來討論 Cancun 候選 EIP。明年初,關于 Cancun 范圍的討論將正式開始。
另一件與 Cancun 升級相關的事情是 KZG 儀式???,這是 EIP-4844 的一項要求。
儀式將生成驗證 blob 數據有效性所需的隨機性。 要使它被認為是安全的,必須只有一個參與者誠實地參與。
從明年 1 月開始,這個儀式將向所有人開放幾個月。 目標是獲得 10,000 名貢獻者,這計劃成為迄今為止規模最大的此類儀式! 如果你想確保自己不錯過它,請關注 Trent Van Epps?!
正如之前的更新中提到的,合并后的一個大的待辦事項是在 EL 和 CL 中協調以太坊的升級過程。 EL 使用黃皮書和 EIP 來指定更改,而 CL 使用可執行的 Python 規范。
EL 流程的優勢在于 EIP 被社區所熟知,并且其格式能夠清楚地呈現提案背后的原因。 大量數學的黃皮書與 EIP 相結合,并且需要將規范置于 EIP 的上下文中,這使得執行層規范既難以理解又難以擴展。
CL 方面有相反的問題:它有一個清晰易懂的規范,存在于一個單一的存儲庫中,但是更改不能明確地識別,并且提案被隱藏在存儲庫中的其他開放 PR 中。
隨著以太坊執行層規范的引入,我們有望彌合 EL 方面的差距。 而且,通過一些流程爭論,我們也許能夠將 EIP 作為 CL 流程的一部分引入……!
也就是說,隨著上海升級范圍的討論和最終確定,很明顯這個過程中可能會缺少另一個“部分”:讓社區表達他們對更改的相對偏好,參與關于升級整體范圍的討論(而不是單個 EIP),并將其納入 AllCoreDevs 和 CL 電話會議的決策中。
目前還不太清楚這是什么樣子的——我很樂意提供建議! - 但隨著積極參與協議更改的利益相關者數量以及 L1 變更對兩者影響的領域數量的增長,顯然需要一些東西。
幸運的是,我們并不是從頭開始:以太坊魔術師論壇已經存在多年,其 IRL 聚會以及臨時分組討論室或社區電話會議可能是擴展的良好起點。
期待 2023 年初,有關于這方面的更多更新!
2022 年就這樣結束了,多棒的一年啊!三個月前,我們甚至還沒有合并 ! 而現在,以太坊正在后臺默默地運行權益證明(PoS),重點已經轉移到即將發生的事情上。
隨著一月份假期的結束,你可以期待:
上海/Capella 開發者測試網(devnets)和影子分叉(shadow fork)?
KZG 儀式正在進行??
圍繞 Cancun 升級的討論,以及網絡升級過程應該如何演進以更好地捕捉社區的偏好??
謝謝閱讀!感謝在過去一年中花時間努力改進以太坊的每個人-我們做了很多工作。
DeFi之道
個人專欄
閱讀更多
金色財經 子木
金色早8點
去中心化金融社區
CertiK中文社區
虎嗅科技
區塊律動BlockBeats
深潮TechFlow
念青
Odaily星球日報
騰訊研究院
作者:Michael Blau、Joseph Bonneau、Noah Citron、Valeria Nikolaenko、Carra Wu、Guy Wuollet 和 Michael Zhu編.
1900/1/1 0:00:00簡單整理了一下ftx的事件(多方信息匯總),不得不說整個事態發展真的是充滿反轉… 2017年: SBF成立 加密貨幣量化交易服務公司Alameda Research 2019年: SBF成立加密.
1900/1/1 0:00:00元宇宙在2020年和2021年得到許多人的關注,然而在2022年,元宇宙熱潮降溫。相比前兩年,全球大公司進軍元宇宙以及開展相關布局的消息都少了許多,市場也趨于理性.
1900/1/1 0:00:00FTX 爆雷,帝國坍塌,一系列頭部平臺遭受重創,做市商和借貸成為重災區:Alameda 作為加密貨幣行業最大的做市商之一,在這場鬧劇中覆滅.
1900/1/1 0:00:0012月16日,《阿凡達:水之道》在全國的IMAX影院公映。這是被譽為“卡神”的詹姆斯·卡梅隆的最新力作.
1900/1/1 0:00:00撰寫:Simran Jagdev編譯:深潮 TechFlow 如今阻礙區塊鏈技術和 Web3 大規模應用的關鍵因素之一是其孤島性質.
1900/1/1 0:00:00