Aave：Stable Vaults 已完成 Certora 形式化验证

Aave 在 X 平台发文称，智能合约形式化验证公司 Certora 已完成对 Stable Vaults 的验证。

此次验证覆盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合约。Aave 表示，验证结果确认，这些合约的 Solidity 实现符合 Certora 的形式化规则。

据介绍，Stable Vaults 是一套面向固定利率稳定币收益的一体化解决方案，也可以嵌入任意金融产品中。Aave 同时表示，相关审计报告已经公开发布。