TLDR----* AIは2週間で70万行のEthereumクライアントを構築した* 試作は65件のロードマップ項目をカバーし、メインネットと同期する* ブテリンはさらなるテストと形式検証を求める* AIが機械検証可能なSTARK証明の作成を支援した* * *ビタリック・ブテリンは、AIが前例のないセキュリティ水準でEthereumの2030年ロードマップを加速できる可能性があると述べています。彼は、エージェント型コーディングを使って、2週間でロードマップに沿ったEthereumクライアントのプロトタイプを開発した最近の実験を挙げました。プロトタイプには約70万行のコードが含まれ、65件のロードマップ項目をカバーし、Ethereumメインネットと同期します。AIが2030年のEthereumロードマップに沿ったプロトタイプを構築----------------------------------------------------Ethereum共同創設者のビタリック・ブテリンは、AIがEthereum開発を加速していると述べました。彼は、エージェント型コーディングを使って2030年ロードマップに沿ったクライアントを構築した開発者を引用しました。プロトタイプは約2週間で完成しました。約70万行のコードを含み、65件のロードマップ項目をサポートします。クライアントはEthereumメインネットと同期しています。> これはかなり印象的な実験です。数週間で2030年ロードマップ全体を“雰囲気コーディング”するなんて。> > もちろん、EIPすらない状態で2週間でこんなものを作ったとなると、重大な注意点が大量にあります。おそらく重大なバグがたくさんあり、場合によっては「スタブ」版のようなものも… > > — vitalik.eth (@VitalikButerin) February 28, 2026ブテリンはこの取り組みを、急速な進展を示す実験だと説明しました。彼は、6か月前には同様の作業は現実的ではなかったと述べました。さらに、AIの進歩の方向性が最も重要だと付け加えました。彼は個人的な例も共有しました。彼は、エージェント型コーディングを使って1時間で、自身のブログと同様のソフトウェアを作ったと言いました。使用したモデルは、自身のラップトップでローカルに動かしていました。スピードの向上には技術的なリスクが伴う-------------------------------------ブテリンは、迅速なAI構築にはリスクがあると警告しました。彼は、EIPが確定していない状態で2週間で完了したプロジェクトには、重大なバグが含まれている可能性が高いと述べました。さらに、一部はスタブ版である可能性があると付け加えました。1つのプロンプトで安全なプロダクションコードが生成できると決めつけないよう注意しました。実装間でバグや不整合が生じることになると彼は述べています。 しかし、AIによってこのプロセスを5倍速く進められると彼は述べました。開発者は、コードをレビューし比較する必要が依然としてあると説明しました。テストと検証は、必要な手順のままです。 AIは反復作業に費やす時間を減らし、反復のスピードを高めます。ブテリンは、この実験は完了したインフラとして見なすべきではないと述べました。彼はそれを、開発手法が変わりつつあるというシグナルとして位置づけました。AIは現在、Ethereumの技術的ワークフローの一部です。* * ** * *テストと形式検証に注目----------------------------------------ブテリンは、AIによる成果はスピードとセキュリティに分けるべきだと言いました。生産性向上の半分は、より強力なテストに振り向けるべきだと提案しました。これには、より多くのテストケースの生成や形式検証の実行が含まれます。彼は、Ethereumの構成要素を形式的に検証することを目指すLean Ethereumの取り組みに言及しました。共同研究者は、複雑なSTARK定理の機械検証可能な証明を作るためにAIを使いました。ブテリンは、形式検証がトラストレスなシステムを支えると述べました。さらに、AIはテストの量を拡大し、複数実装のチェックを改善できると付け加えました。これらの手順は、不具合のあるコードに関連するリスクを低減します。彼は、総合的なセキュリティは達成できないと述べました。完璧なセキュリティには、コードと人間の意図との完全な一致が必要だと説明しました。 それでも、特定のセキュリティ主張は検証可能だとも彼は指摘しました。ブテリンは、人々がEthereumのロードマップが予想より早く完了する可能性を考慮すべきだと言いました。また、検証ツールが改善すれば、セキュリティ基準も引き上げられる可能性があるとも述べました。定義された条件の下でバグのないコードが達成可能になるかもしれないと彼は述べています。この考えはかつて非現実的だと見られていたとも。AI支援による検証は、時間とともに開発の期待を変えるかもしれない、と彼は言いました。
Vitalik Buterinは、AIがイーサリアム2030ロードマップの迅速化に寄与する可能性があると述べました
TLDR
ビタリック・ブテリンは、AIが前例のないセキュリティ水準でEthereumの2030年ロードマップを加速できる可能性があると述べています。彼は、エージェント型コーディングを使って、2週間でロードマップに沿ったEthereumクライアントのプロトタイプを開発した最近の実験を挙げました。プロトタイプには約70万行のコードが含まれ、65件のロードマップ項目をカバーし、Ethereumメインネットと同期します。
AIが2030年のEthereumロードマップに沿ったプロトタイプを構築
Ethereum共同創設者のビタリック・ブテリンは、AIがEthereum開発を加速していると述べました。彼は、エージェント型コーディングを使って2030年ロードマップに沿ったクライアントを構築した開発者を引用しました。プロトタイプは約2週間で完成しました。約70万行のコードを含み、65件のロードマップ項目をサポートします。クライアントはEthereumメインネットと同期しています。
ブテリンはこの取り組みを、急速な進展を示す実験だと説明しました。彼は、6か月前には同様の作業は現実的ではなかったと述べました。さらに、AIの進歩の方向性が最も重要だと付け加えました。彼は個人的な例も共有しました。彼は、エージェント型コーディングを使って1時間で、自身のブログと同様のソフトウェアを作ったと言いました。使用したモデルは、自身のラップトップでローカルに動かしていました。
スピードの向上には技術的なリスクが伴う
ブテリンは、迅速なAI構築にはリスクがあると警告しました。彼は、EIPが確定していない状態で2週間で完了したプロジェクトには、重大なバグが含まれている可能性が高いと述べました。さらに、一部はスタブ版である可能性があると付け加えました。1つのプロンプトで安全なプロダクションコードが生成できると決めつけないよう注意しました。実装間でバグや不整合が生じることになると彼は述べています。
しかし、AIによってこのプロセスを5倍速く進められると彼は述べました。開発者は、コードをレビューし比較する必要が依然としてあると説明しました。テストと検証は、必要な手順のままです。
AIは反復作業に費やす時間を減らし、反復のスピードを高めます。ブテリンは、この実験は完了したインフラとして見なすべきではないと述べました。彼はそれを、開発手法が変わりつつあるというシグナルとして位置づけました。AIは現在、Ethereumの技術的ワークフローの一部です。
テストと形式検証に注目
ブテリンは、AIによる成果はスピードとセキュリティに分けるべきだと言いました。生産性向上の半分は、より強力なテストに振り向けるべきだと提案しました。これには、より多くのテストケースの生成や形式検証の実行が含まれます。彼は、Ethereumの構成要素を形式的に検証することを目指すLean Ethereumの取り組みに言及しました。共同研究者は、複雑なSTARK定理の機械検証可能な証明を作るためにAIを使いました。
ブテリンは、形式検証がトラストレスなシステムを支えると述べました。さらに、AIはテストの量を拡大し、複数実装のチェックを改善できると付け加えました。これらの手順は、不具合のあるコードに関連するリスクを低減します。彼は、総合的なセキュリティは達成できないと述べました。完璧なセキュリティには、コードと人間の意図との完全な一致が必要だと説明しました。
それでも、特定のセキュリティ主張は検証可能だとも彼は指摘しました。ブテリンは、人々がEthereumのロードマップが予想より早く完了する可能性を考慮すべきだと言いました。また、検証ツールが改善すれば、セキュリティ基準も引き上げられる可能性があるとも述べました。定義された条件の下でバグのないコードが達成可能になるかもしれないと彼は述べています。この考えはかつて非現実的だと見られていたとも。AI支援による検証は、時間とともに開発の期待を変えるかもしれない、と彼は言いました。