Aave：Stable Vaults 已通过 Certora 形式化验证

Aave 发推表示，智能合约形式化验证公司 Certora 已完成对 Stable Vaults 的验证，覆盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合约，验证确认其 Solidity 实现符合 Certora 的形式化规则。Stable Vaults 是一套面向固定利率稳定币收益的一体化解决方案，可嵌入任意金融产品中，相关审计报告已公开发布。