El principal científico de Certora, Mooly Sagiv, cree que el mayor riesgo de seguridad en criptomonedas no son las vulnerabilidades complejas en el código, sino problemas más simples como la gestión de claves y errores humanos. En la conferencia Breakpoint 2025, enfatizó que la auditoría no puede garantizar la seguridad y abogó por combinar la verificación formal con la revisión humana. Sagiv señaló que la verificación formal integrada en la canalización de integración continua (CI) puede descubrir las “desconocidas desconocidas”, pero advirtió que su efectividad depende de la correcta definición de las propiedades. También minimizó la importancia de la inteligencia artificial como una amenaza existencial, considerándola tanto una herramienta para los atacantes como para los defensores.