PANews 3月5日消息，据官方消息，Aave Labs发布Aave V4安全计划的完整透明度报告，包括方法、流程及结果等方面，Trail of Bits、Blackthorn、Certora等多家安全机构联合背书。通过手动审计、形式化验证、不变量测试、模糊测试以及公开安全竞赛，累计进行了约345天的安全审查。该计划由DAO批准的150万美元专门安全预算支持。
Aave Labs宣布将从Aave V4安全计划中延续五项核心承诺：在早期开发阶段嵌入形式化验证，以确保架构设计得到安全方法指导而不仅是验证；采用分层安全方法，包括手动审查、形式化验证、不变量测试、AI辅助检查、模糊测试及公开安全竞赛，以覆盖更多潜在漏洞；保持持续安全覆盖，形式化验证框架和不变量测试套件将随协议迭代持续运行；设立长期漏洞赏金计划，利用更广泛的安全社区提供持续监控；以及优化AI扫描能力，基于现有测试经验不断提升未来版本的智能安全检测水平。
内容来源：PANews
财华网所刊载内容之知识产权为财华网及相关权利人专属所有或持有。未经许可，禁止进行转载、摘编、复制及建立镜像等任何使用。
如有意愿转载，请发邮件至 content@finet.com.hk，获得书面确认及授权后，方可转载。
财华财经APP下载 
或
按钮分享