Aave：Stable VaultsはCertoraの形式検証を完了しました

Foresight Newsの報道によると、AaveはTwitterで、スマートコントラクトの形式的検証を行う企業である Certora が Stable Vaults の検証を完了したと発表しました。この検証は、StableVault、Funds Handler、Asset Registry、Allocator、IOU token などのコントラクトを対象としており、Solidity実装が Certora の形式的ルールに適合していることが確認されました。Stable Vaults は、固定金利型ステーブルコインの利回り向けの統合型ソリューションであり、任意の金融プロダクトへ組み込むことができます。関連する監査報告書はすでに公開されています。