Aave Stable Vaults 通过 Certora 形式化验证

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