Les coffres stables d’Aave finalisent la vérification formelle avec Certora
D’après Foresight News, la société de vérification formelle Certora a achevé la vérification des Stable Vaults d’Aave, couvrant les contrats StableVault, Funds Handler, Asset Registry, Allocator ainsi que les contrats de tokens IOU. La vérification a confirmé que l’implémentation Solidity respecte les exigences de la spécification formelle de Certora. Stable Vaults est une solution intégrée conçue pour générer des rendements en stablecoin à taux fixe, et peut s’intégrer à n’importe quel produit
AAVE5,36%
GateNews·07-27 15:41
