A Certora é uma empresa de segurança de contratos inteligentes projetada para ajudar os desenvolvedores a detectar e prevenir erros de segurança antes que o código seja implantado. Eles têm uma tecnologia única chamada Certora Prover, que é capaz de verificar em tempo de compilação se todas as execuções de um contrato inteligente atendem a um conjunto de regras de segurança.