Michael Saylor喊单：立即购买比特币

ChainCatcher 消息，Aave Labs 公布了 Aave V4 的安全框架，提出“安全优先”的开发模式，在架构设计阶段即嵌入安全验证，而非仅在上线前进行最终审计。该安全计划持续约一年，累计完成约 345 天的安全审查，资金来自 Aave DAO 批准的 150 万美元安全预算。据悉，V4 安全流程结合形式化验证、人工审计、不变量测试、模糊测试（fuzzing）以及公开安全竞赛等多层审计方法，未来协议开发将持续采用五项长期安全措施，包括在开发早期引入形式化验证、实施多层安全审计方法、持续验证机制、长期漏洞赏金计划以及利用 AI 辅助智能合约安全扫描。