Mã nguồn mở là con đường đi đúng. Certora Prover đã đóng vai trò quan trọng trong việc xác thực chính thức Morpho.