吴说获悉,据 Aave Labs 公告,Aave V4 协议已完成为期约 345 天的全面安全审查,总投入约 150 万美元。官方称该项目采取“安全优先”策略,自架构设计阶段即实施多层安全控制;审查范围涵盖手动审计、形式验证、不变量测试、模糊测试及为期六周的公开安全竞赛,吸引逾 900 名参与者提交 950 余份报告。
吴说获悉,据 Aave Labs 公告,Aave V4 协议已完成为期约 345 天的全面安全审查,总投入约 150 万美元。官方称该项目采取“安全优先”策略,自架构设计阶段即实施多层安全控制;审查范围涵盖手动审计、形式验证、不变量测试、模糊测试及为期六周的公开安全竞赛,吸引逾 900 名参与者提交 950 余份报告。