ビタリック・ブテリンは、AIがイーサリアムの開発を加速させていると述べました
- エージェンティックコーディングにより、2030年ロードマップに沿ったEthereumクライアントのプロトタイプが数週間で700,000行のコードで作成されました。
- ブテリンは、より高速なAIコーディングと形式検証、拡張されたテストスイート、多クライアントチェックの組み合わせを推奨しています。
- さらに、BLSを置き換え、ハッシュベースおよびSTARKベースのシステムを追加する量子耐性ロードマップについて詳述しました。
イーサリアム共同創設者のビタリック・ブテリンは、人工知能がイーサリアムの開発を急速に加速させていると述べました。最近の公開発言で、エージェンティックコーディングにより、開発者が数週間でロードマップに沿ったイーサリアムクライアントを構築できた方法を説明しました。この作業は2026年初頭にオンラインで行われ、開発のスピードアップとテスト・検証によるセキュリティ向上に焦点を当てていました。
AI駆動のコーディングとテストの進展
ブテリンによると、開発者はエージェンティックコーディングを用いて、2030年ロードマップに沿ったイーサリアムクライアントのプロトタイプを作成しました。特に、このプロトタイプは約70万行のコードを含み、65のロードマップ項目をカバーしていました。また、2週間以内にイーサリアムメインネットと同期しました。
しかし、ブテリンはこのビルドには重大な制限があることを強調しました。コードには重要なバグや未完成の実装が含まれている可能性が高いと述べました。それでも、6ヶ月前には不可能だった進展であり、開発ツールの急速な進歩を示しています。
ブテリンは、AIがタスク全体のコーディングを加速させると付け加えました。彼は、自身がローカルモデルを使って1時間以内にブログソフトウェアを再作成した経験を例に挙げました。したがって、彼は速度向上はより迅速な開発とより強固なセキュリティ実践の両方に均等に分けるべきだと主張しました。
形式検証とセキュリティ重視
ブテリンは、最も効果的なAIの活用は、より高速なコーディングと深いテストの組み合わせだと述べました。具体的には、大規模なテストスイートの生成や形式検証の拡張を強調しました。彼は、Lean Ethereumの協力者がAIを使って複雑なSTARK関連定理の機械検証可能な証明を作成した事例を挙げました。
Lean Ethereumは、すべてのコンポーネントを正式に検証することを目指していますが、AIはその努力を大幅に加速しています。さらに、バグのないコードは依然として難しいものの、繰り返しのテストと複数実装のチェックによって実現可能性が高まると述べました。
彼は、セキュアなシステムは単一のプロンプトからは生まれないと警告しましたが、それでもデバッグサイクルはより速く、より徹底的に行えると述べました。
量子耐性ロードマップの詳細
また、ブテリンはイーサリアムの量子耐性ロードマップについて概説しました。彼は、BLSコンセンサス署名、KZGベースのデータ可用性、ECDSAアカウント署名、ゼロ知識証明システムの脆弱性を指摘しました。これらに対処するため、BLSをハッシュベースの署名に置き換え、STARK集約を導入することを提案しました。
外部所有アカウントについては、EIP-8141を指摘しました。この変更により、量子耐性を含む複数の署名方式をサポートできるようになります。彼は、ガスコストの増加を認めつつも、効率は将来的に改善されると述べました。
このロードマップは、証明システムにも言及しています。STARK証明は現在のZK-SNARKよりコストが高いものの、集約によりオンチェーンの計算負荷を軽減できる可能性があります。先月、イーサリアム財団は次のエコシステムフェーズで容量を拡大しつつ、長期的なセキュリティとレジリエンスを維持すると発表しました。
関連記事