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 Blue’s 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 Blue to date, visit the dedicated folder in the Github repository.