The Block当地时间3月5日报道，DeFi借贷协议Aave的开发方Aave Labs公布了Aave V4安全路线图，详细列出未来一年的审计与验证安排。
据介绍，Aave Labs在治理论坛中将V4定义为“安全优先框架”。Aave Labs表示，这一版本的安全设计并非在发布前才临时进行审计，而是在智能合约设计早期就已纳入相应安全机制。
从具体方案看，Aave V4将采用组合式安全方案，涵盖正式验证、人工审计、不可变性测试、模糊测试（fuzzing）以及公开安全竞赛。
在此基础上，Aave Labs还总结出五项长期安全原则，包括：在开发早期引入正式验证、并行采用多种审计方式、在开发过程中持续开展验证、长期运行漏洞赏金计划，以及提升AI驱动的智能合约扫描能力。
此外，Aave V4代码库较此前版本更小，并采用模块化架构设计。报道还称，这一安全模型参考了风险服务提供商的意见，以及接入Aave流动性的集成开发者的意见。
记者信息
Chi-gyu Hwang
delight@d-today.co.kr