ビタリック・ブテリンは、人工知能がイーサリアムの構築方法を変え始めていると述べています。
最近のX（旧Twitter）投稿で、彼はAIを使って「バイブコード」し、数週間でイーサリアムの2030年ロードマップの多くを作成した実験について説明しました。彼はその結果を素晴らしいと称賛しましたが、依然として非常に実験的な段階であることを警告しました。
このプロジェクトは、イーサリアム改善提案（EIP）を完成させることなく完了しました。彼はこれだけで、コードに深刻なバグが含まれている可能性が高いと指摘しました。いくつかの機能は部分的な実装にすぎないかもしれません。彼は6ヶ月前には、この段階に到達することさえ不可能に思えたと付け加えました。
これは非常に印象的な実験です。数週間で2030年ロードマップ全体をバイブコーディング。
明らかに、EIPsがなくても2週間でこれを構築することには大きな制約があります：ほぼ確実に多くの重大なバグが含まれており、場合によっては「スタブ」バージョンのものもあります… https://t.co/ZlTg0r2hvI
— vitalik.eth (@VitalikButerin) 2026年2月28日
ブテリンは、AIツールが開発期間を劇的に短縮していると述べました。彼は最近、ローカルで動作するオープンソースモデルを使って、自分のブログソフトウェアのバージョンを約1時間で再現しました。より強力なモデルなら、同様の構築を一度の試行で完了できると示唆しています。
イーサリアムのロードマップは、スケーラビリティの向上、より強力な分散化、そしてブロックチェーンのセキュリティ強化に焦点を当てています。開発者は、トラフィックを削減し効率を高めるために、プロトコルの複数の層で作業しています。より高速なコーディングサイクルは、これらの並行作業を加速させる可能性があります。
それでも、ブテリンは過信を戒めました。単一のプロンプトだけでは、安全な本番コードは生成できません。エンジニアは、一貫性のなさやエッジケースの失敗、構造的なギャップを予期すべきです。彼は、これらの問題の特定と修正の速度が上がると主張しました。
ブテリンは、AIを単なるスピード向上の手段として使うのではなく、安全性に向けて一部の生産性向上を振り向けることを提案しました。これには、より多くのテストケースの生成や形式検査の拡大が含まれます。
彼は、イーサリアムのコアコンポーネントを数学的に検証する研究イニシアチブ「LeanEthereum」の取り組みを指摘しました。パートナーは最近、AIを使ってSTARKベースの暗号技術の複雑な定理の機械検証証明を構築したと述べました。
STARKは、ブロックチェーンネットワークのスケーリングに使われるゼロ知識証明システムの基盤を形成します。こうしたシステムの形式証明を行うには、従来は多大な手作業が必要でしたが、今やAIの支援によりその障壁が低くなっています。
形式検証は、コードが正確に仕様通りに動作することを数学的に確認する方法です。ブロックチェーンのセキュリティにおいては、このプロセスが脆弱な部分や悪用や資金損失につながる可能性のある点を限定します。
ブテリンは、絶対的でバグのないソフトウェアは不可能であると認めました。コードは、人間の意図を完全に捉えることはできません。
しかし、彼は、ターゲットを絞った検証可能なセキュリティ保証が、実際のリスクの大部分を排除できると主張しました。
分散型システムでは、他者を信用しない設計が、より高い検証基準を求め、社会的調整や手動監視への依存を減らします。ブテリンは、AIコーディングの継続的な進歩が、イーサリアムのセキュリティ期待を高めつつ、その開発期間を短縮する可能性があると述べました。
関連記事
