据 Foresight News 称，形式化验证公司 Certora 已完成对 Aave 的 Stable Vaults 的验证，覆盖 StableVault、Funds Handler、Asset Registry、Allocator 以及 IOU 代币合约。该验证确认，Solidity 实现符合 Certora 的形式化规范要求。Stable Vaults 是一种集成解决方案，旨在实现固定倍率稳定币收益，可嵌入到任何金融产品中。