Vitalik：AIはプログラム全体を検証可能、イーサリアムは今後数年間ソフトウェアセキュリティを推進へ

Odaily：Vitalik氏はXプラットフォームへの投稿で、自身の純資産の約90%を暗号資産で保有していると述べ、関連技術が成熟するにつれてサイバーセキュリティは防御側により有利になるとの見方を示した。

同氏は、AIは「プログラムの安全性」を数学的定理として検証できるが、安全性の定義は鍵、サーバー、デバイス、オペレーティングシステム、データベース、ネットワーク、キャッシュ層などのリスク要因をカバーする必要があり、セキュリティ上重要なコンポーネントについてはプログラム全体を検証すべきだと述べた。Vitalik氏によれば、イーサリアムは今後数年間この方向に沿って推進し、ブロックチェーン、特にスケーラビリティとプライバシーを兼ね備えたブロックチェーンはソフトウェアセキュリティを実現する必要があるという。