安全审计

以太坊基金会宣布启动100万美元的审计补贴计划，旨在帮助开发者支付智能合约安全审计费用。该计划将为以太坊主网建设者提供资金支持，覆盖专业安全审查成本，涉及Certora、Zellic等20多家安全公司参与。

Aave Labs本周公布了Aave V4的详细安全框架，描述了近一年的审计、形式化验证和公开测试计划，旨在加强这个被认为是去中心化金融领域最大借贷协议的安全性，然后才正式上线。

Aave代币在V4安全审计结果公布后反弹，345天的审计未发现高危漏洞。然而，Aave生态系统内部治理危机加剧，ACI宣布逐步减少运营，BGD Labs也将结束技术贡献。技术透明度提升市场信心，但治理问题给V4升级蒙上阴影。