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 |