Formal Verification
Formal verification is the process of mathematically checking that the behavior of a system, described using a formal model, satisfies a given property. In essence, it proves the smart contract performs as it should.
Morpho Vaults' (formerly known as MetaMorpho) core properties have been formally verified using CVL, Certora's Verification Language. It is done by giving a high-level description of the verification and then describing the folder and file structure of the specification files.
For all the formal verification performed on Morpho Vaults to date, visit the dedicated folder in the Github repository.
The following table lists all formal verifications conducted on Morpho Vaults smart contracts.