Certora est une entreprise de sécurité des contrats intelligents conçue pour aider les développeurs à détecter et à prévenir les erreurs de sécurité avant le déploiement du code. Ils disposent d'une technologie unique appelée Certora Prover, capable de vérifier au moment de la compilation que toutes les exécutions d'un contrat intelligent respectent un ensemble de règles de sécurité.