Aave Labs 最近发布了 Aave V4 的安全框架，强调了“安全优先”的开发理念，确保在架构设计阶段就将安全验证嵌入，而并非仅在项目上线前进行最终审计。该安全计划的实施持续了近一年，累计完成了约 345 天的安全审查，所需资金来源于 Aave DAO 批准的 150 万美元安全预算。根据最新信息，V4 的安全流程整合了多种审计方法，包括形式化验证、人工审计、不变量测试、模糊测试（fuzzing）以及公开安全竞赛等。未来的协议开发将继续实施五项长期安全措施，包括在开发早期引入形式化验证、执行多层安全审计、持续验证机制、长期漏洞赏金计划，以及利用 AI 辅助进行智能合约的安全扫描。（The Block）
暂无讨论，说说你的看法吧