形式化验证

• 以太坊

  Aave Labs公布V4分层安全计划，完成150万美元审计项目

  Aave Labs公布了Aave V4的分层安全框架，包括形式化验证、多层审计和持续错误赏金计划。该安全计划历时近一年，耗资150万美元，正值Aave生态系统内部治理紧张时期，多个关键贡献者计划退出协议。

  链新社

  2026年3月5日

  1000