Dencun 和 Pralectra:以太坊核心開發者描繪了雄心勃勃的 2024 年

以太坊的核心開發人員正在討論「Dencun」之後下一次硬分叉的優先事項,該硬分叉可能會在 2024 年末或 2025 年出現。

在周四的全核心開發者電話會議之後,Dencun 分叉的暫定時間表保持不變,Goerli 測試網將於 17 月 XNUMX 日首次上線。

隨著升級預計在三月推出,開發人員將注意力轉向布拉格-伊萊克特拉(簡稱 Pralectra)接下來的升級。

關於整體願景的爭論仍在不斷變化:要么是一組以功能為中心的小型以太坊改進提案(EIP),要么是主要協議升級以將 Verkle 樹引入執行層。

Verkle 表示,Verkle 樹是一種新的資料結構,它使用更複雜的數學技術(基於橢圓曲線配對的向量承諾)演變了目前使用的Merkle 樹,這與Merkle 樹中使用的更簡單的雜湊函數有很大不同。資訊。

這種結構使用更少的空間並且可以更快地驗證,這兩者都允許網路處理更多的交易。

簡而言之,這是解決「狀態膨脹」長期問題的一種方法,隨著以太坊的擴展,這個問題將變得越來越重要。

此次升級是以太坊長期路線圖的一個重要里程碑,這一階段被稱為「The Verge」。

會議上沒有達成明確的共識——有些人主張將重點放在 Verkle Trees 上,以太坊基金會的 Guillaume Ballet 警告說“不存在小分叉”,但另一些人則呼籲堅定地致力於升級網絡2024年再次。

人們擔心 Verkle Trees 可能需要 18 個月或更長時間才能交付——這對於加密貨幣來說是永恆的。

Dencun 原定於 2024 月舉行,但最終在去年 XNUMX 月推遲到 XNUMX 年。

閱讀更多: 核心開發者今年排除了 Dencun 分叉的可能性

「就複雜性而言,Verkle 的規模即使不是更差,也與 Merge 相當,」Ballet 說。 “你不能真正在[執行層]一側同時發送任何東西。”

Nethermind 執行客戶端團隊的 Lukasz Rozmej 對此表示同意,並建議開發人員在完全轉向 Verkle Trees 之前首先優先考慮功能豐富的分叉。

「我的經驗告訴我,國家重新設計非常困難,而且需要很長時間,」他在電話中告訴同事。 “Verkle 韌性不是規範,而是實施、優化和測試。”

功能是的,但是哪些功能呢?

Nethermind、Besu 和 Reth 的客戶團隊主張在 2024 年進行第二次分叉,重點是功能。但問題是什麼優先?

Erigon 用戶端團隊的軟體工程師 Andrew Ashikhmin 建議,EVM 物件格式 (EOF) 將成為推動下一次升級的候選者之一,同時不會分散 Verkle Trees 的長期工作,因為它可以由較小的團隊來實施,並且是對程式碼庫的更孤立的更改。

「但維爾克爾應該是主要焦點,」他說。

EOF 最初被考慮用於 Shapella 硬分叉,但被認為太大,無法與主要「驅動程式」Proto-Dank 分片或 EIP-4844 一起作為「乘客」配對。

閱讀更多: 以太坊的下一次升級將專注於 Blob 

Besu 用戶端團隊的協議工程師 Justin Florentine 表示,EOF“絕對不是乘客”,但他表示 Besu 已經在該功能上取得了“很大進展”,因此贊成在 Pralectra 中採用該功能

正在建造 Rust 以太坊 (Reth) 客戶端的投資公司 Paradigm 的首席技術官兼研究員 Georgios Konstantopoulos 表示,他的團隊“對 EOF 沒有意見,因為這是[一項]單人工作並且[需要]隔離測試。”

但以太坊基金會開發者 Marius van der Wijden 也認為「EOF 不會出現在小分叉中」。

去年 4 月,以太坊基金會的 Ansgar Dietrichs 支持將 EOF 納入 Pralectra,並在周四的電話會議上指出,維護 EVM 主要智慧合約程式語言的 Solidity 團隊強烈支持。

然而,電話會議中沒有人明確支持 EOF,這促使 Nethermind 創始人 Tomasz Stanczak 評論道:“如果在這次電話會議上沒有人支持 EOF,那麼這就總結了它尚未發布的原因。”

Stanczak 稱EIP-7002 或“執行層可觸發退出”是以太坊魔術師論壇中獲得最多支持的EIP,並且“非常重要”,因為它修復了“與質押相關的重大設計錯誤,並且無法儘早到來” 。

核心開發人員同事 Paritosh Jayanthi(綽號「Potuz」)表示,如果他必須選擇一項功能來發布,他會選擇 EIP-7002。然而,在他看來,EIP-7549「絕對應該加入」。

此功能僅影響共識層,修復了以太坊設計中的錯誤,旨在減少驗證共識規則所需的平均配對數量。配對是某些涉及橢圓曲線的密碼演算法中使用的操作。

目前,要達成共識,需要驗證至少 1366 個證明(表明驗證者之間達成一致),但在 EIP-7549 之後,這一數字將減少到僅 22 個。

「實施起來很簡單,並且可以節省大量聚合時間,」波圖斯說。 “它可以幫助去信任的橋樑——以及 zk-provers、zk-bridges——這絕對應該出現在我們下一步做的任何分叉中。”

這次電話會議的目的是啟動討論,具體方法和改進建議將在稍後決定。以太坊升級是共識驅動的;沒有明確的權力等級或投票機制來確定優先事項。

取得進展有時會顯得充滿挑戰或混亂,就像放牧的貓一樣,但這就是去中心化野獸的本質。


不要錯過下一個重大新聞 - 加入我們的免費每日時事通訊。

資料來源:https://blockworks.co/news/ethereum-devs-plan-2024