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发布前后进一步增强安全可信度。

资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种