【ビタリクが「イーサリアムはAIで全プログラムの安全性を検証する」と提案】

イーサリアムの共同創設者ビタリクが、AIとサイバーセキュリティに関する最新の技術ロードマップについて公に説明しました。彼は「AIがネットセキュリティを完全に破壊してしまう」という見方を退け、防御側には本質的な優位性があると指摘し、核心はより攻撃に強いコードを“能動的に書き、検証する”ことにあると述べました。

ビタリクは、将来のAIはプログラム全体を検証することに注力すべきであり、重要な部分だけをチェックするのではなく、データベース、ネットワーク、キャッシュまで含めるべきだとしました。彼はたとえ話として、もしAIがナビエ‐ストークス方程式やフェルマーの最終定理を証明できるのであれば、「プログラムは安全である」という主張を数学の定理として形式化し、さらに偽造、リプレイ、サーバー侵害、鍵の漏えい、サイドチャネルなどの攻撃シナリオまでカバーできる可能性があると述べています。

彼はこの方向性を、今後数年のイーサリアムの発展における重点分野として定義しました。この発言は、スマートコントラクトのセキュリティ分野におけるイーサリアムの長期的な技術ストーリーを強化し、形式化検証によってプロトコルの基盤となる安全性を高めることを強調する狙いがあります。市場としては、この方針が具体的なオンチェーン検証ツールやエコシステムのアプリケーションとして実際に落とし込まれるかどうかに注目する必要があり、これがイーサリアムの技術ロードマップの実行力を測る重要な観察ポイントとなります。