💥 ヴィタリック・ブテリン：AIは暗号のセキュリティを強化しうる──滅ぼすわけではない

イーサリアム共同創業者のヴィタリック・ブテリンは、AIを活用したハッキングが必ずしも暗号セキュリティの終わりを意味するわけではないと主張している。

彼の見立てでは、ますます高性能になっていくAIは、形式的検証によって防御側を強化することにもつながり得る。形式的検証とは、複雑なソフトウェアが定義されたセキュリティ要件を満たしているかどうかを、数学的な証明で確認する方法だ。テストや人のコードレビューだけに頼るのではなく、開発者は潜在的にシステム全体を検証できる可能性がある。

ブテリンは、「安全」とは実際に何を意味するのかを定義することが難しい点だと認めている。証明が示せるのは、その仕様に含まれる性質だけである。

イーサリアムの研究者はすでにAIエージェントを使って脆弱性を発見し、再現しており、この技術が攻撃・防御の両方のセキュリティに取り込まれつつあることを示している。

AIは将来的に、暗号開発者により強いセキュリティ上の優位性をもたらしうるのだろうか？

#ETH #AI #CyberSecurity #CryptoSecurity
#ThuyBNB
$ETH $BNB $NEAR