Aave 官方近日宣布，知名智能合约形式化验证公司 Certora 已顺利完成对 Stable Vaults 协议的验证工作。
此次验证涵盖了 StableVault、Funds Handler、Asset Registry、Allocator 以及 IOU token 等核心智能合约，结果证实这些合约的 Solidity 代码实现完全符合 Certora 的形式化验证规则，确保了协议逻辑的严密性。
据悉，Stable Vaults 是一套旨在实现固定利率稳定币收益的一体化解决方案，具备极高的灵活性，能够无缝嵌入各类金融产品中。目前，相关的审计报告已正式向公众发布。
