イーサリアム共同創設者のVitalik Buterin氏は、AIの活用により、イーサリアムに残された開発ロードマップの完了に必要な時間を、従来の見通しと比べて大幅に短縮できる可能性があると述べた。
Buterin氏はMoneycontrolとのインタビューで、今後数年間に進める「Lean Ethereum」の中核要素として、ゼロ知識証明（ZK）、AI、形式検証を挙げた。形式検証とは、数学的手法を用いて、コードやアルゴリズムが定められた条件どおりに動作するかを確認する方法だ。
同氏は「現在残っているロードマップの作業量は、5年前の基準であれば完了に20年かかっていたはずだ」と述べ、「AIのおかげで、はるかに速く進めながら、作成されるコードやアルゴリズムの安全性も確認できる」と説明した。
Lean Ethereumは、最新の技術と開発手法を活用してネットワーク性能を高めつつ、分散化と安全性も維持することを目指している。