Certora asegura casi $200 mil millones en valor DeFi en 2025, previniendo más de 700 vulnerabilidades en los principales protocolos

Fuente: CryptoDaily Título original: Certora asegura casi $200 mil millones en valor DeFi en 2025, previniendo más de 700 vulnerabilidades en los principales protocolos Enlace original: Nuevos datos destacan el rápido crecimiento de Certora, su papel en la seguridad continua y su liderazgo en verificación formal.

Certora, un proveedor líder de herramientas de verificación formal y auditorías de contratos inteligentes para protocolos Web3, publicó su Informe de Revisión del Año 2025, revelando que la compañía ayudó a asegurar un total de (196.5 mil millones en valor bloqueado (TVL) en todo el ecosistema DeFi y evitó que más de 720 vulnerabilidades llegaran a producción. Según el informe, 14 de los 20 principales protocolos DeFi por TVL trabajaron con Certora en 2025, lo que representa aproximadamente el 70% de la categoría, mientras que 7 de los 10 principales protocolos mantienen compromisos de seguridad continuos y a largo plazo con la empresa.

Se perdieron entre 2.1 y 2.4 mil millones de dólares en exploits de criptomonedas en 2025, marcando un aumento año tras año a medida que la actividad DeFi se recuperaba y las arquitecturas de los protocolos se volvían más complejas. El informe de Certora destaca varios cambios estructurales en la forma en que los equipos líderes abordan la seguridad, incluyendo:

• Un alejamiento de auditorías puntuales hacia relaciones de seguridad continuas
• Mayor enfoque en invariantes a nivel de protocolo en lugar de verificaciones a nivel de función
• Ampliación del alcance de las auditorías para incluir configuración de despliegue, gobernanza y seguridad operativa
• Reconocimiento creciente de que las actualizaciones de blockchain y el comportamiento de los validadores introducen nuevos riesgos de seguridad

En 2025, Certora realizó aproximadamente 150 auditorías de seguridad, identificando 80 problemas críticos y 180 de alta severidad, con un 99% de todos los hallazgos corregidos antes del despliegue. En 11 casos, Certora aconsejó a los equipos de los protocolos retrasar o detener completamente los lanzamientos tras descubrir riesgos severos que podrían haber resultado en fallos sistémicos o pérdida de fondos.

“Estas cifras reflejan cuánto ha cambiado la industria,” dijo Seth Hallem, CEO de Certora. “La seguridad hoy no se trata de detectar errores obvios en el último momento. Se trata de demostrar la corrección en sistemas que gestionan miles de millones de dólares, evolucionan continuamente e interactúan entre cadenas. Nuestro crecimiento en 2025 refleja el cambio del ecosistema hacia una seguridad a largo plazo, a nivel de infraestructura.”

“Los protocolos más maduros ya no consideran la seguridad como una auditoría única,” dijo Mooly Sagiv, fundador y científico jefe de Certora. “Eligen un socio de seguridad que entienda su economía, su arquitectura y cómo se comporta su sistema con el tiempo. Lo que estamos viendo es un cambio claro en la industria, de ‘cobertura de auditoría’ a ‘garantías de corrección’.”

Para satisfacer esta demanda, Certora duplicó su equipo de investigación en seguridad en 2025, alcanzando aproximadamente 40 investigadores, incluyendo 25 doctores en filosofía, ampliando la experiencia profunda en entornos de ejecución como Ethereum, Solana, Sui, Aptos y la infraestructura blockchain emergente.

El informe destaca cómo la frontera del riesgo se ha desplazado de vulnerabilidades superficiales hacia casos límite económicos, supuestos entre cadenas, trampas específicas del lenguaje y comportamiento del protocolo bajo condiciones cambiantes de la cadena, incluyendo actualizaciones de red.

En 2025, Certora aseguró más de ) mil millones en TVL por diseño, utilizando verificación formal para demostrar matemáticamente invariantes críticos del protocolo, como solvencia, tasas de interés monótonicas y condiciones de seguridad del usuario.

Sobre Certora

Certora es el socio de garantía de seguridad confiable por los equipos más avanzados en Web3. Fundada en 2018 por pioneros en lenguajes de programación y métodos formales, Certora ayuda a protocolos líderes como Lido, Aave, ciertas plataformas DEX y Compound a asegurar miles de millones en valor con confianza.