深潮 TechFlow 消息,03 月 05 日,Aave Labs 近日公布 Aave V4 协议完成了为期约 345 天的全面安全审查,总投入达 150 万美元。该项目采用"安全优先"策略,从架构设计阶段就开始实施多层安全控制。安全审查包括手动审计、形式验证、不变量测试、模糊测试及为期六周的公开安全竞赛,吸引了 900 多名参与者提交 950 多份报告。
审计结果显示,所有主要审计机构(包括 ChainSecurity、Trail of Bits 和 Blackthorn)均未发现高严重性漏洞。Aave V4 采用全新的中心枢纽与分支模块设计,使代码库比 V3 更小,提高了审计效率。Aave Labs 表示将继续维持形式验证框架、不变量测试套件,并计划设立持续性漏洞赏金计划,确保协议长期安全。


