ヴィタリック氏、AIと数学的検証で暗号資産セキュリティ強化の可能性

イーサリアム（Ethereum）共同設立者のヴィタリック・ブテリン氏が、AI（人工知能）ベースの「形式検証（Formal Verification）」技術が将来的に暗号資産およびインターネットインフラのセキュリティを大幅に強化する可能性があるとの見方を示したと、CoinDeskが報じた。 形式検証は、ソフトウェアが意図した通りに動作することを数学的に証明する手法である。ブテリン氏は、近年のAIの発展がコードと検証証明の作成を大幅に効率化していると説明した。 同氏は「AIは大量の不正確なコードを迅速に生成できるが、形式検証はその正確性を再び確保してくれる」と述べ、スマートコントラクト、ゼロ知識証明（ZK）、コンセンサス・メカニズム、耐量子暗号化などの分野でその重要性が高まるだろうと明らかにした。 ただし、ブテリン氏は「形式検証も万能ではなく、誤った仮定やハードウェアの脆弱性まですべて解決できるわけではない」と付け加えた。