Vitalikの最新の見解は見逃せません：「AIハッカーがいればネットワークセキュリティは必ず失敗する」という考え方を彼は受け入れていません。彼の見立てでは、形式化検証の手法が成熟すれば、安全性は自然と防御側により有利になります。彼が引き続き純資産の約90%を暗号資産に置いているのは、その判断への賭けそのものです。

核心となる論理はこうです。もしAIがナヴィエ–ストークス方程式やフェルマーの大定理のような複雑な命題を証明できるのなら、「このプログラムは安全である」という証明も数学の定理として導けるはずです。本当の難しさはコードの複雑さではなく、「安全性」の定義が狭すぎてはいけない、という点にあります。そうしないと、メッセージプロトコル、サンドボックス、ネットワーク、キャッシュ、データベースといった領域が見落とされ、攻撃面になってしまいます。

そのため彼は、自称して重要だとされるモジュールだけではなく、すべてのプログラムを検証すべきだと主張します。これは「善人が悪人より先に脆弱性を見つける」ためではなく、コードを生まれつき攻撃に強くするためです。この道がなければ、特にスケーリングとプライバシーが中核の要件になる局面では、ブロックチェーンに長期的な未来を見出すのは難しいでしょう。

$ETH

#以太坊 #网络安全 #AI