Aave: Stable Vaults have passed Certora formal verification

Foresight News reports that Aave has tweeted that smart contract formal verification firm Certora has completed verification of Stable Vaults, covering contracts such as StableVault, Funds Handler, Asset Registry, Allocator, and IOU token. The verification confirmed that their Solidity implementation complies with Certora’s formal specification rules. Stable Vaults is an integrated solution focused on fixed-rate stablecoin yields, which can be embedded in any financial product. The related audit report has been published.