一位開發者與 Vitalik Buterin 打賭，認為單一個人就能透過代理式程式開發完成一個對準 2030 路線圖的 Ethereum（ETH）客戶端，結果在兩週內打造出 ETH2030：70 萬 2 千行 Go 程式碼，涵蓋 65 個路線圖項目，並能與 Ethereum 主網同步。
Buterin 於週五在 評論 中稱這是「相當令人印象深刻的實驗」，同時列出重大但書，並提出 AI 可能讓 Ethereum 路線圖的完成速度超過社群目前預期的可能性。
Buterin 也直言這個專案「不是什麼」：由於並非在正式的 Ethereum 改進提案（EIP）基礎上打造，它幾乎可以肯定存在關鍵漏洞，並很可能在 AI 沒有嘗試完整實作的地方，包含許多功能的「樣板（stub）」版本。
他主張，重點在於「發展軌跡」而非「輸出成果」。他寫道，六個月前，就算只是這種規模的原型，都「遠遠超出可能的範圍之外」。
速度 vs. 安全
Buterin 在其貼文中將 AI 加速開發的正確做法，描述為在「速度」與「安全性」之間分配收益，而不是把全部紅利用在「衝高開發速度」上。
他偏好的模式是：用 AI 產生更大的測試案例套件、對實作做形式化驗證，並為同一個元件產生多個互相獨立的版本以供交叉檢查。
LeanEthereum 專案的一位協作者——該專案目標是形式化驗證所有 Ethereum 程式碼——最近使用 AI，產出了一個可由機器驗證的證明，針對的是支撐 STARK 安全性的最複雜定理之一。
在 Buterin 的框架下，這才是更高價值的使用情境：不是「更快出貨」，而是「出貨時程式碼在可驗性上更正確」。
延伸閱讀： Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
他認為可能達成的事
Buterin 小心地把自己的樂觀，界定為「一種可能性」而非「預測」。他表示，人們應該開放地看待這種情況：Ethereum 路線圖可能會在比目前時間表更短的時間內完成，同時達到更高的安全標準。
在安全面，他也表達自己對「無錯誤程式碼」潛力的興奮——從過去被視為「理想化的妄想」，有可能轉變成關鍵基礎設施的基本期待。
他也承認，在絕對意義上「完全安全」是不可能的——那將需要程式碼與開發者心中思想內容之間達到精確對應——但他主張，AI 形式驗證已經能消除超過 99% 的負面後果，也就是那些源於具體且定義明確的程式碼失敗所造成的結果。
ETH2030 的程式庫仍公開可存取，位於 github.com/jiayaoqijia/eth2030。