Aave Stable Vaults 通过 Certora 形式化验证

Certora 完成 Aave Stable Vaults 形式化验证，覆盖核心合约，审计报告已公开。

据 Woofun AI 消息，智能合约形式化验证公司 Certora 已完成对 Aave Stable Vaults 的验证工作。此次验证范围涵盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等关键合约，确认其 Solidity 代码实现符合 Certora 的形式化规则。Stable Vaults 是 Aave 推出的固定利率稳定币收益一体化解决方案，支持嵌入各类金融产品，相关审计报告现已公开发布。