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) 2026年2月28日ブテリン氏は、この取り組みを「急速な進歩」を示す実験だと説明しました。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支援による検証は、時間とともに開発に対する期待を変えるかもしれません。