Links

🔗 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 (More to come)
    Scope
    Date
    Token​
    $MORPHO tokens
    August 2022
    ​
  • Morpho uses Certora to formally prove the contracts.
  • Yellow Paper (Coming soon): Morpho thus formalizes the protocol and put the findings inside the Yellow Paper.