A Certora é uma empresa de segurança de smart contracts projetada para ajudar desenvolvedores a detectar e prevenir erros de segurança antes que o código seja implantado. Eles possuem uma tecnologia única chamada Certora Prover, que é capaz de verificar em tempo de compilação que todas as execuções de um Smart Contract atendem a um conjunto de regras de segurança.
