Skip to main content

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’s (formerly known as MetaMorpho) core properties are being formally verified using CVL, Certora's Verification Language.

For all the formal verification performed on Morpho Vaults to date, visit the dedicated folder in the Github repository.