据 Foresight News 称，形式化验证公司 Certora 已完成对 Aave 的 Stable Vaults 的验证，覆盖 StableVault、Funds Handler、Asset Registry、Allocator 以及 IOU 代币合约。该验证确认，Solidity 实现符合 Certora 的形式化规范要求。Stable Vaults 是一种集成解决方案，旨在实现固定倍率稳定币收益，可嵌入到任何金融产品中。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
