Aave V4 安全计划发布完整透明度报告

Aave Labs 于3月5日公布 Aave V4 安全计划的全面透明度报告，详细披露方法、流程与最终结果。该计划获得 Trail of Bits、Blackthorn、Certora 等多家安全机构联合支持，通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛等多种手段，完成约345天的安全审查周期。整个过程由 DAO 批准的150万美元专项安全预算支撑，确保审查深度与独立性。

延续五项核心安全承诺构建长期防护体系

Aave Labs 表示将从本次安全计划中延续五大核心承诺：在早期开发阶段即嵌入形式化验证，以确保架构设计始终遵循安全原则；采用分层安全策略，整合手动审查、形式化验证、不变量测试、AI辅助检查、模糊测试及公开安全竞赛，实现多维度漏洞覆盖；建立持续安全机制，使形式化验证框架与不变量测试套件随协议迭代持续运行；设立长期漏洞赏金计划，借助更广泛的安全社区实现对协议的常态化监控；并持续优化 AI 扫描能力，基于已有测试经验不断升级未来版本的智能安全检测水平。