Aave：Stable Vaults 已通過 Certora 形式化驗證

Foresight News 消息，Aave 發布推文表示，智能合約形式化驗證公司 Certora 已完成對 Stable Vaults 的驗證，涵蓋 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合約，驗證確認其 Solidity 實現符合 Certora 的形式化規則。Stable Vaults 是一套面向固定利率穩定幣收益的一體化解決方案，可嵌入任何金融產品中，相關稽核報告已公開發布。