安全研究员Taylor Hornby借助Anthropic Claude Opus 4.8 AI模型发现Zcash Orchard隐私池潜伏近四年的致命漏洞，理论上可无限铸造不可检测的伪造ZEC代币。CertiK CEO将其定性为不对称安全战争，多名专家呼吁将形式化验证纳入持牌机构信息安全合规标准。
