Skip to content

Formal Verification

Formally ProvenScopeDateTool Used
Morpho V1 - Pre-liquidationcore logicDecember 2024Certora
Morpho V1 - Universal rewards distributorMerkle tree and claim functionApril 2024Certora & custom checker
Morpho V1 - Vaults V1.0core logicMarch 2024Certora
Morpho V1core logicDecember 2023Certora & Halmos
Morpho V0 (AaveV3)core logicApril 2023Why3
Morpho V0Merkle tree and claim functionApril 2024Certora & custom checker
Morpho tokenauthorization systemAugust 2022Certora
Morpho token (old)ERC20 and delegation logicDecember 2024Certora
Morpho utilsmath functionsDecember 2022Certora
Morpho data structuresdouble linked list and log bucketsJanuary 2023Certora & Halmos