Aave Labs 发布 V4 安全计划透明度审计报告

Aave Labs公开了涵盖Aave V4安全项目全过程的透明度报告。报告详细整理了安全审查方法论、进行程序、检查结果等内容，Trail of Bits、Blackthorn、Certora等多家安全公司参与并支持了验证工作。

多层次安全审查过程

Aave V4安全项目经历了约345天的多层次审查过程，包括手动审计、形式验证、不变性测试、模糊测试以及公开安全竞赛。该项目基于Aave DAO批准的150万美元专用安全预算进行。

五大核心安全承诺

Aave Labs通过此报告重申了Aave V4安全倡议的五大核心承诺。

第一，从协议设计初期阶段开始，即以安全为核心进行架构设计，其中包括形式验证。

第二，保持结合手动代码审查、形式验证、不变性测试、AI驱动检查、模糊测试及公开安全竞赛的分层安全策略。

第三，在协议反复升级的过程中，持续运行形式验证框架和不变性测试套件，以常态化管理安全范围。

第四，运营长期漏洞赏金计划，以扩大外部安全社区的参与，并建立持续的监控体系。

第五，基于现有测试和运营经验，优化AI驱动的扫描功能，旨在未来版本中持续提升安全威胁检测能力。

Aave Labs的目标是通过这些措施，在Aave V4发布前后进一步增强安全可信度。