以太坊共同創辦人 Vitalik Buterin 表示，運用 AI 可大幅縮短完成以太坊剩餘開發路線圖所需的時間，較過去預期更快。
Buterin 在接受 Moneycontrol 訪問時，將零知識證明（ZK）、AI 與形式化驗證列為未來數年推進「精簡以太坊（Lean Ethereum）」的核心要素。形式化驗證是運用數學方法，確認程式碼與演算法是否按照既定條件運作的一種方式。
他表示：「按照五年前的標準，目前剩餘路線圖的工作量需要 20 年才能完成。」他解釋說：「多虧 AI，我們可以更快推進，同時也能驗證正在撰寫的程式碼與演算法的安全性。」
精簡以太坊旨在運用最新技術與開發方式提升網路效能，同時維持去中心化與安全性。