Aave Labs发布150万美元Aave V4安全计划透明报告

Aave Labs宣布完成Aave V4安全框架，该计划由Aave去中心化自治组织资助150万美元，历时一年。整个为期345天的项目包括形式化验证、安全审计、模糊测试及漏洞悬赏计划，参与方包括Trail of Bits、Certora等公司，进一步增强了协议的安全性与韧性。