AIによる脆弱性発見の手法はあまりにも強力すぎる、Zcashはほぼ無限に通貨を印刷されそうになった、38％の下落幅で買い注文一つの教訓：形式的検証を早急に導入しよう

仮想通貨界のニュース、安全専門家は先進的なAIが暗号通貨と銀行のハッカー危機を引き起こす可能性を警告。Zcashで発見された4年にわたる隠された脆弱性は、Shielded LabsがAnthropic Opus 4.8を用いて明らかにし、既に修正済み。もし発見されなければ攻撃者は無限にトークンを偽造でき、Zcashは24時間以内に約38％下落。Dragonfly Capitalのパートナー、Haseeb Qureshiは、AIによる脆弱性発見は良いことであり、形式的検証を通じてコードの安全性を向上させる推進力になると述べた。