AI时代加密安全告急：连续审计失效，形式化验证成唯一出路

chandan1_ · x · 2026-08-07

作者指出，随着AI模型能力增强，传统的一次性审计已不足以保障加密协议安全，安全必须成为随新模型发布而持续的过程。AI本身也有局限，需与人类研究员配合。对于DeFi协议，深度流动性使其成为攻击目标，作者认为唯一出路是采用形式化验证（如zcash ironwood）或设计链上轻量协议（如near intents）。最后提醒用户，为赚取5-10%收益而承担本金损失风险并不值得。