GitHub repository: Certora/M0-Protocol
Description: M^0 protocol