// the find
morpho-org/morpho-blue
Morpho variable rate market
Morpho Blue is a minimalist, immutable lending protocol for EVM chains that handles supply, borrow, collateral, and liquidations in a single singleton contract. Markets are permissionless and oracle-agnostic, meaning anyone can create a loan market with any pair of tokens and any IRM/oracle. Aimed at DeFi protocol builders and integrators who want a low-level primitive to build on top of, not end users.
- Formal verification via Certora covers reentrancy, health invariants, exchange rate monotonicity, and liquidation correctness — 13 separate spec files is serious coverage for a lending protocol
- Three independent audits (OpenZeppelin, Cantina managed, Cantina competition) all completed before mainnet, with audit PDFs committed directly to the repo
- The singleton design with shares-based accounting keeps the core contract tight (~600 lines in Morpho.sol) and measurably reduces gas vs. pool-per-market designs
- Free flash loans and callback hooks are built into the base layer without fees, which is a concrete advantage over Aave/Compound for integrators building atomic strategies
- Permissionless market creation means bad oracle or IRM addresses are entirely the caller's problem — the contract will happily let you create a market with a malicious oracle, and there's no safety net for end users who don't understand this
- Immutability is a double-edged sword: a critical bug cannot be patched, and the 'owner' role (for fee setting) is the only governance surface, so any unforeseen math edge case is permanent on deployed instances
- Only 319 stars and 167 forks suggests limited ecosystem tooling and integrations compared to Aave/Compound, meaning you're on your own for things like liquidation bots, subgraph indexers, and SDK support
- The periphery libraries (MorphoBalancesLib, MorphoStorageLib) that integrators need are not part of the audited core and have weaker guarantees — this distinction is easy to miss