Formally Verifying Morpho with Certora
MetaMorpho is an open-source, immutable, heavily audited code base that has now also been formally verified using Certora.
March 19, 2024
Morpho is building an unopinionated and trustless base layer upon which third-party developers can build and customize lending use cases. Morpho is part of the latest wave of protocols that are building highly granular, specialized layers aimed at enhancing efficiency and/or managing risk. Morpho Blue contracts are immutable and are governance-minimized. The creation of new markets is accessible to anyone interested (i.e., permissionless). All other logic (e.g., risk management, compliance, UI, etc.) is built on top of the foundational base shared by all Morpho Blue functionalities.