Aave : Stable Vaults a passé la vérification formelle de Certora

Selon Foresight News, Aave a déclaré sur Twitter que la société de vérification formelle de smart contracts Certora a terminé la vérification des Stable Vaults, couvrant les contrats StableVault, Funds Handler, Asset Registry, Allocator ainsi que le token IOU. La vérification a confirmé que leur implémentation en Solidity respecte les règles formelles de Certora. Stable Vaults constitue une solution intégrée pour le rendement des stablecoins à taux fixe, pouvant être incorporée dans tout produit financier ; le rapport d’audit correspondant a déjà été publié.