Aave Labs发布V4安全框架：历经345日严格审计，投入150万美元强化防护

Aave Labs公布了去中心化金融借贷协议Aave V4的安全框架，并引入“安全优先”的开发方式。其核心在于并非仅在发布前进行最终审计，而是从架构设计阶段开始就将安全验证系统性地纳入其中。

长期安全投入与多层次审计

根据Aave Labs，此次V4安全计划历时约一年，累计进行了规模达345天的安全审查。所需资金来自Aave DAO批准的150万美元安全预算。

V4安全流程结合了形式化验证、人工审计、不变性测试、模糊测试以及公开安全竞赛等多层次审计方法。Aave Labs表示，未来将对整体协议开发持续应用以下五项长期安全措施：从开发早期阶段引入形式化验证、保持多层次安全审计方式、运行持续验证机制、维持长期漏洞赏金计划，以及应用基于AI的智能合约安全扫描。

应对行业挑战的安全升级

此举是在去中心化金融协议黑客攻击与漏洞事件频发的背景下，Aave通过治理层面的预算执行与开发流程重组，旨在提升安全可靠性的重要举措。