1人の開発者が、「1人でもエージェント的コーディングでEthereum（ETH）の2030ロードマップ対応クライアントを作れる」とVitalik Buterinと賭けをし、2週間でETH2030を構築した。Goで書かれた70万2,000行のコードで65個のロードマップ項目をカバーし、Ethereumメインネットと同期している。
Buterinは金曜日にその成果についてコメントし、「かなり印象的な実験だ」と評価する一方で、多くの重要な但し書きを挙げ、AIがEthereumロードマップの完了を、コミュニティが現在想定している以上に加速させる可能性に言及した。
Buterinは、このプロジェクトが「何ではないか」を率直に説明した。正式なEthereum Improvement Proposal（EIP）に基づかずに作られているため、クリティカルなバグを含んでいる可能性が極めて高く、AIが完全な実装を試みなかった機能については、「スタブ」的な簡易実装が含まれている公算が大きい。
彼が論じたポイントは、成果物そのものではなく、その「軌道」である。6カ月前であれば、彼いわく、このスコープのプロトタイプでさえ「可能性の領域のはるか外側」にあったという。
スピードかセキュリティか
Buterinは、AIで開発を加速させる正しいアプローチは、得られた利得をすべて速度に振り向けるのではなく、スピードとセキュリティの両方に配分することだと位置づけた。
彼が好むモデルは、AIを使ってより大規模なテストケース群を生成し、実装を形式的に検証し、同じコンポーネントについて複数の独立したバージョンを作って相互チェックする、というものだ。
Ethereumの全コードの形式的検証を目指すLeanEthereumプロジェクトのコラボレーターは最近、STARKセキュリティを支える最も複雑な定理の1つについて、AIを用いて機械的に検証可能な証明を作成した。
Buterinの枠組みでは、それこそがより価値の高いユースケースだ。つまり、「より速く出荷すること」ではなく、「より形式的に正しいコードを出荷すること」である。
Read also: Kalshi Refused To Let Traders Profit From Khamenei's Death - Then Refunded Everyone On A $36M Market
彼が「可能」と考えること
Buterinは、自らの楽観を予測というより「可能性」として慎重に位置づけた。Ethereumのロードマップが、現在のタイムラインが示すよりも早く、しかもより高いセキュリティ水準で完了する可能性に、人々は心を開くべきだと述べた。
セキュリティ面では、「バグのないコード」が「理想主義的な妄想」から、重要インフラに対する基本的な期待値へと移行しうる可能性に、個人的な高揚感を示した。
彼は、完全なセキュリティが絶対的な意味で不可能であることも認めている――それにはコードと開発者の頭の中身が完全に一致することが必要になる――が、それでもAIによる形式検証は、特定の明確に定義されたコード不具合から生じうる悪影響の99%以上をすでに排除できると主張した。
ETH2030のリポジトリは、現在も github.com/jiayaoqijia/eth2030 で公開されている。