Morpho V0 (Optimizers - Deprecated)
Code
morpho-optimizers morpho-aavev3-optimizer morpho-optimizers-vaultsMorpho V0 deployment addresses
| Contract | Address | Source Code |
|---|---|---|
| Morpho V0 (AaveV3 Optimizer - ETH emode) | 0x33333aea097c193e66081E930c33020272b33333 | morpho-org/morpho-aave-v3 |
| Morpho V0 (AaveV2 Optimizer) | 0x777777c9898D384F785Ee44Acfe945efDFf5f3E0 | morpho-org/morpho-optimizers |
| Morpho V0 (AaveV2 Lens) | 0x507fa343d0a90786d86c7cd885f5c49263a91ff4 | morpho-org/morpho-optimizers |
| Morpho V0 (CompoundV2 Optimizer) | 0x8888882f8f843896699869179fB6E4f7e3B58888 | morpho-org/morpho-optimizers |
| Morpho V0 (CompoundV2 Lens) | 0x930f1b46e1D081Ec1524efD95752bE3eCe51EF67 | morpho-org/morpho-optimizers |
| Bulker V0 (Gateway) | 0xF99e3796f94000462f736925Cf32162Fea82c168 | morpho-org/morpho-aave-v3 |
Tokenized Supply Vaults
ABI are different for Morpho V0 (AaveV2) & Morpho V0 (CompoundV2) vaults, and all the vaults are deployed on the Ethereum mainnet with 18 decimals. They are fully compliant with the ERC4626 standard.
Audits and Formal Verification
Morpho is known for its industry-leading security practices and follows a multi-faceted approach to security.
Morpho security practices include formal verification, mutation tests, fuzzing, unit testing, and peer reviews that can be found within respective Github repositories. External measures include professional security reviews, contests, and pre/post-deployment bounties.
A whole article was dedicated to the Morpho Security Framework.
The full list of audits and formal verifications is available below.
Audits
| Auditors | Scope | Date | Report |
|---|---|---|---|
| Spearbit | Morpho V0 (AaveV3) | 2023-06-19 | spearbit-report |
| Spearbit | Morpho V0 (AaveV3) | 2023-05-04 | spearbit-report |
| Runtime Verification | Morpho V0 (AaveV3) | 2023-05-02 | runtime-verification-report |
| Spearbit | Morpho V0 | 2023-03-01 | spearbit-report |
| Pessimistic | Morpho V0 | 2023-02-20 | pessimistic-report |
| Spearbit | Morpho V0 [Draft] | 2022-12-06 | spearbit-draft-report |
| Pessimistic | Morpho V0 | 2022-10-06 | pessimistic-report |
| Omniscia | Morpho V0 | 2022-08-25 | omniscia-report |
| Spearbit | Morpho V0 (AaveV2) | 2022-08-24 | spearbit-report |
| Chainsecurity | Morpho V0 (AaveV3) [Non Ethereum] | 2022-08-19 | chainsecurity-report |
| Omniscia | Morpho Datastructures | 2022-08-17 | omniscia-report |
| Pessimistic | Morpho V0 (AaveV2) | 2022-07-25 | pessimistic-report |
| Trail of Bits | Morpho V0 (CompoundV2) | 2022-07-21 | trail-of-bits-report |
| Trail of Bits | Morpho V0 (CompoundV2) | 2022-06-03 | trail-of-bits-report |
| Spearbit | Morpho V0 (AaveV2) | 2022-09-05 | spearbit-report |
| Pessimistic | [Beta] Morpho V0 (CompoundV2) | 2022-04-25 | pessimistic-report |
| Pessimistic | [Beta] Morpho V0 (AaveV2) | 2022-03-08 | pessimistic-report |
| Pessimistic | [Beta] Morpho V0 (AaveV2) | 2022-02-16 | pessimistic-report |
| Pessimistic | [Alpha] Morpho V0 (AaveV2) | 2022-01-11 | pessimistic-report |
| Solidified | [Alpha] Morpho V0 (CompoundV2) | 2021-11-04 | solidified-report |
| Lexfo | Morpho-related DNS's & Morpho-related Github's | 2023-05-10 | Lexfo_250523.pdf |
| Securing | [Beta] Morpho Association dApp | 2022-04-04 | MorphoDAO_Frontend_04042022.pdf |
Formal verifications
| Formally Proven | Scope | Date | Tool Used |
|---|---|---|---|
| Morpho V0 (AaveV3) | core logic | April 2023 | Why3 |
| Morpho V0 | Merkle tree and claim function | April 2024 | Certora & custom checker |
| Morpho utils | math functions | December 2022 | Certora |
| Morpho data structures | double linked list and log buckets | January 2023 | Certora & Halmos |