Aave Labs 概述 Aave V4 的分层安全计划，此前已完成 150 万美元的审计计划
内容摘要
Aave Labs 为 Aave V4 发布了一个详细的、以安全为先的框架，该框架涉及一个由 Aave DAO 资助的、耗资 150 万美元的为期一年的审计和验证过程。该流程将形式化验证从设计阶段开始嵌入，并结合了 Certora、ChainSecurity 和 Trail of Bits 等公司的手动审计、不变量测试以及在 Sherlock 上举办的公开安全竞赛。基于此次经验，Aave Labs 承诺将五项长期安全原则应用于未来的协议开发，包括早期嵌入形式化验证、保持分层方法论、持续验证、启动持续的漏洞赏金计划以及开发 AI 辅助扫描。V4 代码库被有意设计得更小、更模块化。此次安全披露正值 Aave 生态系统内部治理动荡之际，包括主要贡献者 BGD Labs 和 Aave Chan Initiative 因对资金和协议方向的紧张关系而计划退出。
(来源：The Block)