Aave: Stable Vaults hanno superato la verifica formale di Certora

Secondo Foresight News, Aave ha annunciato su Twitter che la società di verifica formale dei contratti intelligenti Certora ha completato la verifica degli Stable Vaults, coprendo i contratti StableVault, Funds Handler, Asset Registry, Allocator e IOU token. La verifica ha confermato che la loro implementazione in Solidity è conforme alle regole formali di Certora. Gli Stable Vaults rappresentano una soluzione integrata per i rendimenti su stablecoin a tasso fisso, che può essere integrata in qualsiasi prodotto finanziario. Il relativo rapporto di audit è stato pubblicato pubblicamente.