Formal Verification
| Formally Proven | Scope | Date | Tool Used |
|---|---|---|---|
| pre-liquidation | core logic | December 2024 | Certora |
| morpho-token | ERC20 and delegation logic | December 2024 | Certora |
| universal-rewards-distributor | Merkle tree and claim function | April 2024 | Certora & custom checker |
| morpho-optimizers | Merkle tree and claim function | April 2024 | Certora & custom checker |
| metamorpho | core logic | March 2024 | Certora |
| morpho-blue | core logic | December 2023 | Certora & Halmos |
| morpho-aave-v3 | core logic | April 2023 | Why3 |
| morpho-token | authorization system | August 2022 | Certora |
| morpho-utils | math functions | December 2022 | Certora |
| morpho-data-structures | double linked list and log buckets | January 2023 | Certora & Halmos |