Certora es una firma de seguridad de contratos inteligentes diseñada para ayudar a los desarrolladores a detectar y prevenir errores de seguridad antes de que el código sea desplegado. Tienen una tecnología única llamada Certora Prover, que es capaz de verificar en tiempo de compilación que todas las ejecuciones de un contrato inteligente cumplen un conjunto de reglas de seguridad.