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
    Scope
    Date
    ​Token​
    $MORPHO tokens
    August 2022
    ​Double Linked List​
    Data Structure
    January 2023
    ​
  • Morpho uses Certora to formally prove the contracts.
  • Yellow Paper: Published there: yellowpaper.morpho.xyz Morpho formalizes the protocol and put the findings inside the Yellow Paper.