以太坊路線圖或許能借助AI更快推進,Vitalik Buterin表示

以太坊長距離協議路線圖可能比許多人預期的更快,隨著人工智慧工具的改進,Vitalik Buterin 指出,他提到最近的一個實驗,利用代理編碼組裝了一個雄心勃勃的參考客戶端,涵蓋了以太坊計劃於2030年代的架構。

這一評論是在開發者 Jiayao Qi(以 YQ 身份在 X 上發布)揭示 ETH2030 時提出的,該實驗性以太坊客戶端旨在針對網絡的草案“2030+”路線圖。該項目包含 702,000 行 Go 代碼,涵蓋八個階段的 65 項路線圖內容,通過 36,126 項官方以太坊狀態測試,並能通過與 go-ethereum v1.17.0 的整合同步主網。Qi 表示,該客戶端在大約六天內使用 Claude Code 建造,成本約為 5750 美元和 27.7 億代幣。

AI 可能加速以太坊路線圖

Buterin 稱這一努力是“相當令人印象深刻的實驗”,同時也強調以這種速度建立的原型具有明顯的限制。“在沒有 EIPs 的情況下,用兩週時間建成的這樣的東西,存在巨大限制,”他寫道。“幾乎可以肯定存在許多關鍵漏洞,並且在某些情況下,AI 甚至沒有嘗試製作完整版本,只是‘臨時’版本。但六個月前,這甚至遠遠超出可能範圍,重要的是趨勢正朝著這個方向發展。”

這個區別對 Buterin 來說比純粹的演示更重要。在他看來,AI 不僅僅是壓縮開發時間,它還可能改變以太坊工程師對保證的看法。“可能,正確的用法是將 AI 在速度上的收益的一半用於提速,另一半用於安全性,”他說。“生成更多測試案例,正式驗證所有內容,製作更多多實現版本的東西。”

他將這直接與以太坊的正式驗證工作聯繫起來。談到 Lean Ethereum 項目時,Buterin 表示,一位合作者已經利用 AI 產生了一個可機器驗證的證明,證明支撐 STARK 安全性的一個複雜定理。“@leanethereum 的核心宗旨是正式驗證一切,而 AI 大大加快了我們實現這一點的能力,”他寫道。“除了正式驗證之外,僅僅能生成大量測試案例也是非常重要的。”

ETH2030 本身更像是一個路線圖的壓力測試,而非候選客戶端。Qi 多次將其描述為草稿,而非正式軟體,並認為其價值在於迫使艱難的工程問題現在就公開,而不是幾年後。

該項目實施的路線圖旨在實現一個每秒超過 10,000 TPS 的以太坊 L1,最終確認時間縮短至幾秒而非 15 分鐘,單獨質押 1 ETH,運行在價值 7 美元的 Raspberry Pi 上的無狀態節點,以及跨 L1 和 L2 超過 100 萬 TPS。但該實驗也揭示了升級之間的深層耦合,從區塊存取列表和 gas 重新定價,到 PeerDAS、原生 rollups 和快速最終確認。

Qi 對這些差距直言不諱。純 Go 密碼學實現比生產代碼落後約 10 倍到 100 倍,共識邏輯尚未在實時信標鏈上經過充分測試,從目前每秒約 500 萬 gas 跳升到目標的每秒 10 億 gas,在現實世界的 MEV 和合約依賴模式下仍高度投機。

Buterin 並未聲稱 AI 會讓這些問題消失。事實上,他提醒不要期待從單一提示中得到一個安全的協議。“將會有大量與漏洞和實現之間不一致的鬥爭,”他寫道。“但這種鬥爭也可以更快 5 倍、更徹底 10 倍地進行。”

這比起標題數字,更是當前以太坊研究人員和客戶端團隊面前的重點。如果 AI 能加快實現和驗證的速度,路線圖可能不僅僅是一個遙遠的架構草圖。正如 Buterin 所說,人們至少應該對“以太坊的路線圖能比人們預期的更快完成、更高的安全標準”這一“可能性”保持開放。

截至發稿,ETH 交易價格為 1956 美元。

ETH-3.61%
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 留言
  • 轉發
  • 分享
留言
0/400
暫無留言
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)