Vitalik Buterin 表示 AI 正加快以太坊的開發

• 代理式編碼在數週內產生了一個符合2030年路線圖的70萬行以太坊客戶端原型。
• Buterin 呼籲將更快的 AI 編碼與正式驗證、擴展測試套件以及多客戶端檢查相結合。
• 他還詳細說明了一個量子抗性路線圖，取代 BLS 並加入基於哈希和 STARK 的系統。

以太坊聯合創始人 Vitalik Buterin 表示人工智慧正快速推動以太坊的開發。在最近的公開發言中，他描述了代理式編碼如何使開發者在數週內建立一個符合路線圖的以太坊客戶端。這項工作於2026年初在線上完成，重點在於加快開發速度，同時通過測試和驗證來提升安全性。

AI 驅動的編碼與測試進展

據 Buterin 表示，一位開發者利用代理式編碼產生了一個符合2030年路線圖的以太坊原型。值得注意的是，該原型包含約70萬行代碼，涵蓋了65個路線圖項目，並在兩週內與以太坊主網同步。

然而，Buterin 強調這個構建存在重大限制。他表示該代碼可能包含關鍵漏洞和不完整的實現。不過，他解釋說，這樣的進展在六個月前幾乎是不可能的，突顯了開發工具的快速進步。

Buterin 補充說，AI 能加速各項任務的編碼。他舉例自己用本地模型在一小時內重建博客軟體的經驗。因此，他認為速度提升應該在更快的開發和更強的安全實踐之間平均分配。

正式驗證與安全重點

Buterin 表示，最有效的 AI 應用是結合更快的編碼與更深入的測試。具體來說，他強調擴展測試套件和正式驗證的必要性。他提到，一位 Lean 以太坊合作者曾用 AI 為一個複雜的 STARK 相關定理創建了機器可驗證的證明。

據 Buterin 所述，Lean 以太坊旨在正式驗證每個組件。然而，AI 現在大幅加快了這一努力。此外，他強調，無錯誤的代碼仍然困難，但通過反覆測試和多實現檢查可以更容易實現。

他警告說，安全系統不會從單一提示中產生。儘管如此，他表示除錯週期現在可以更快、更徹底地進行。

量子抗性路線圖詳情

另外，Buterin 概述了以太坊的量子抗性路線圖。他指出 BLS 共識簽名、KZG 基於資料可用性、ECDSA 帳戶簽名和零知證明系統存在漏洞。為了解決這些問題，他建議用基於哈希的簽名取代 BLS，並使用 STARK 聚合。

對於外部擁有的帳戶，Buterin 指向 EIP-8141。這一變更將允許多種簽名方案，包括抗量子方案。他承認會增加 Gas 費用，但表示效率應隨時間改善。

該路線圖還涉及證明系統。雖然 STARK 證明的成本高於目前的 ZK-SNARK，但聚合可以降低鏈上計算負擔。上個月，以太坊基金會表示，下一階段的生態系統將擴展容量，同時保持長期的安全性和韌性。