El código abierto es el camino.

El Certora Prover ha desempeñado un papel importante en la verificación formal de Morpho.