Anthropic的Opus 4.8 AI模型在Zcash隐私网络中发现了存在四年的关键漏洞，攻击者可利用该漏洞无限铸造伪造代币。Zcash确认问题已修复，但代币价格24小时内暴跌近38%。SingularityNET首席执行官Ben Goertzel等安全专家警告，其他加密货币和传统银行软件可能也存在类似漏洞。该事件引发了关于AI在安全领域作用的讨论：AI既暴露漏洞，也推动了形式化验证等解决方案。Dragonfly的Haseeb Qureshi看好AI辅助形式化验证，认为这是强化所有软件的道路。然而，CertiK的顾荣辉指出存在不对称安全战争——黑客可将AI资源集中于单个目标，而防御者需同时保护多个系统。专家共识是，形式化验证——通过数学证明代码正确性——可能是抵御日益复杂的AI驱动攻击的唯一可靠防御。

关键事实

• Anthropic的Opus 4.8 AI发现Zcash存在4年漏洞，可无限铸造代币。
• 漏洞披露后Zcash代币24小时内下跌38%。
• 专家警告其他加密货币和银行系统可能也存在类似未发现缺陷。
• 形式化验证被推荐为对抗AI发现漏洞的唯一稳健防御。
• CertiK CEO警告黑客与防御者之间存在不对称的AI代币消耗战。