Aave Stable Vaults 通過 Certora 形式化驗證

Certora 完成 Aave Stable Vaults 形式化驗證，覆蓋核心合約，審計報告已公開。

據 Woofun AI 消息，智能合約形式化驗證公司 Certora 已完成對 Aave Stable Vaults 的驗證工作。此次驗證範圍涵蓋 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等關鍵合約，確認其 Solidity 代碼實現符合 Certora 的形式化規則。Stable Vaults 是 Aave 推出的固定利率穩定幣收益一體化解決方案，支持嵌入各類金融產品，相關審計報告現已公開發布。