根據 Foresight News，形式化驗證公司 Certora 已完成對 Aave 的 Stable Vaults 之驗證，範圍涵蓋 StableVault、Funds Handler、Asset Registry、Allocator，以及 IOU 代幣合約。該驗證確認 Solidity 實作符合 Certora 的形式化規格要求。Stable Vaults 是一種整合式解決方案，旨在提供可嵌入任意金融產品的固定倍率穩定幣收益。
免責聲明：本頁面資訊可能來自第三方來源，僅供參考，不代表 Gate 的立場或觀點，亦不構成任何財務、投資或法律建議。虛擬資產交易具有高風險，請勿僅依賴本頁資訊作出決策。詳情請參閱
免責聲明。
