Vitalik 最新ツイートが「AI ハッカーがネットセキュリティを必然的に失敗させる」と反論：「安全は本来、防御側に有利だ」と彼は考えている。前提は、正しい方法をきちんと実装することだ。彼は引き続き、純資産の約 90% を暗号資産に置いており、これはまさにこの判断に賭けていることにほかならない。

核心は、攻撃者より先に脆弱性を見つける競争をすることではなく、コード自体を生まれつき攻撃に強くすることだ。もし AI が複雑な数学定理の証明を助けられるのなら、「このプログラムは安全である」という主張も、機械で検証できる数学的証明に変換できる。

本当の難しさは、「安全」を定義しすぎて狭くしてしまうと、メッセージプロトコル、サンドボックス、SNARK、FHE などの構成要素に存在する攻撃面を見落としやすいことにある。過去の形式的検証は、往々にして自分が重要だと考えるモジュールだけをカバーするにとどまり、データベース、ネットワーク、キャッシュといった部分は依然として突破口になり得た。Vitalik は将来、すべてのプログラムを検証すべきだと主張しており、いまの AI はその道をより現実的にしている。

彼は、特にスケーラビリティとプライバシー機能を備えたブロックチェーンにとって、この基盤がなければ未来はないと述べており、イーサリアムは今後数年でこの方向へ進むだろう。

#以太坊 #AI #网络安全 $ETH