O código aberto é o caminho.

O Certora Prover desempenhou um papel importante na verificação formal do Morpho.