【Aave Labs发布Aave V4安全计划完整透明度审计报告】

【Aave Labs发布Aave V4安全计划完整透明度审计报告】报道，Aave Labs发布Aave V4安全计划的完整透明度报告。其中包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约345天的安全审查。该计划由DAO批准的150万美元专门安全预算支持。 Aave Labs将从Aave V4安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；优化AI扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。