Formal Verification
| Formally Proven | Scope | Date | Tool Used |
|---|---|---|---|
| Morpho V1 - Pre-liquidation | core logic | December 2024 | Certora |
| Morpho V1 - Universal rewards distributor | Merkle tree and claim function | April 2024 | Certora & custom checker |
| Morpho V1 - Vaults V1.0 | core logic | March 2024 | Certora |
| Morpho V1 | core logic | December 2023 | Certora & Halmos |
| Morpho V0 (AaveV3) | core logic | April 2023 | Why3 |
| Morpho V0 | Merkle tree and claim function | April 2024 | Certora & custom checker |
| Morpho token | authorization system | August 2022 | Certora |
| Morpho token (old) | ERC20 and delegation logic | December 2024 | Certora |
| Morpho utils | math functions | December 2022 | Certora |
| Morpho data structures | double linked list and log buckets | January 2023 | Certora & Halmos |