What is morpho-midnight-fv?

This repository holds the code for Morpho Midnight, a lending protocol that runs on Ethereum-compatible blockchains, along with a set of formal verification checks used to mathematically prove the code behaves correctly. Morpho Midnight is described as a non-custodial, fixed-rate lending system, meaning the protocol itself never takes custody of a user's funds, and loans have a set interest rate agreed upfront rather than one that floats over time. The protocol is built around separate, independent markets that anyone can create without needing permission from the protocol's operators. Each market has a fixed end date, called its maturity. Instead of directly depositing money into a shared pool the way many lending protocols work, participants in Morpho Midnight trade credit and debt positions that behave like zero-coupon bonds, a type of financial instrument that pays out its full value only once, at a set future date. People post or accept offers to lend or borrow without their capital being locked up immediately, and the actual funds only move when a market settles at its maturity date. Markets can be backed by a single type of collateral or several at once, and optional access rules, called gates, can restrict who is allowed to participate in a given market. For developers, the project is built and tested using Foundry, a common Ethereum development toolkit, and includes a reusable base testing setup to help write new tests. It also includes formal verification work written in CVL, a specification language from Certora used to mathematically prove specific properties of smart contract code hold true under all conditions, rather than just testing a handful of scenarios. Past security audits of the code are included in the repository as well. The project's primary license is the Business Source License 1.1, which restricts certain commercial uses for a period of time, though several specific folders such as interfaces, libraries, and tests are also available under the more permissive GPL license.