Ai总结： CertiK联合创始人顾荣辉指出，人工智能正加剧去中心化金融领域攻防失衡，2023年4月成为近一年来损失最严重的单月，攻击重心转向供应链与运营环节，形式验证被视作更可靠的防护手段。

智能工具重塑去中心化金融安全格局

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

攻击效率跃升，多协议遭系统性冲击

他指出，借助AI辅助，攻击者可快速识别潜在漏洞，并实现跨协议的重复攻击模式部署。2023年4月，该领域安全形势急剧恶化，当月仅三日未发生入侵事件，累计资产损失突破6.9亿美元。

排除特定事件后，单月损失创近期新高

若剔除2025年2月Bybit遭遇的严重攻击案例，2023年4月已跃居自2022年3月以来去中心化金融项目单月损失规模之首。

防御资源分散，攻击聚焦集中优势

顾荣辉分析，攻击者可将海量算力集中于单一目标，而安全团队需同时覆盖多个客户体系，这种结构性不对称导致防守方长期处于被动。当前攻击重点已由智能合约代码缺陷，逐步转向运营流程与供应链管理薄弱点。

形式验证成可信度更高保障路径

他强调，在人工智能尚无法完全覆盖所有潜在风险的前提下，即便长时间未发现异常，也绝不等于代码绝对安全。因此，形式验证方法因其数学可证明性，目前仍是抵御复杂威胁更具确定性的技术选择。