🔗 Formal Proving

A formal proof is a sequence of mathematical statements that are used to demonstrate the logical necessity of a given conclusion.
  • Morpho Labs has its own internal formal prover.
  • Formal Proved
    $MORPHO tokens
    August 2022
    ​Double Linked List​
    Data Structure
    January 2023
  • Morpho uses Certora to formally prove the contracts.
  • Yellow Paper: Published there: Morpho formalizes the protocol and put the findings inside the Yellow Paper.