AI赋能攻击者，DeFi安全防线承压

核心提要：CertiK联合创始人顾荣辉指出，人工智能正加剧去中心化金融领域攻防失衡，2023年4月成近一年来损失最严重的单月。攻击者利用AI高效发现漏洞并重复攻击，防御方因资源分散而难以为继，形式验证成为当前最可靠的保障手段。

智能技术冲击下DeFi安全格局重塑

CertiK联合创始人兼首席执行官顾荣辉揭示，人工智能工具的普及正在显著拉大去中心化金融生态中攻击与防御之间的能力差距。

攻击效率跃升致安全事件频发

他指出，借助人工智能技术的黑客能够快速识别系统潜在缺陷，并将已验证的攻击路径复用于多个协议实例。2023年4月，该领域几乎每日均有攻击发生，仅三日未现安全事故，累计损失金额逾6.9亿美元。

排除特定事件后仍为年度最严重月份

若剔除2025年2月Bybit遭入侵案例，2023年4月已成为自2022年3月以来去中心化金融协议遭受损失最严重的单一月份。

防御资源分散难抵集中式攻击压力

顾荣辉分析，攻击方可调动大量算力聚焦于单一目标，而安全团队需同时应对多项目协作需求，这种结构性劣势导致防守端持续承压。近期攻击重点已由智能合约代码漏洞转向运营流程及供应链环节的薄弱点。

形式验证成抵御未知威胁的关键屏障

他强调，即便人工智能长期未能暴露漏洞，也不能证明代码绝对无风险。在现有技术条件下，形式验证因其数学可证性，仍是更具可信度的安全保障方案。