Certora se asocia con Cork y Hypernative para establecer un nuevo estándar de seguridad Web3

13 de noviembre de 2025 – Tel Aviv, Israel

Certora, el socio de garantía de seguridad en quien confían los equipos más avanzados de Web3, anunció hoy una asociación estratégica con Cork, un protocolo pionero en infraestructura de gestión de riesgos para DeFi, y Hypernative, líder en monitoreo de amenazas en tiempo real.

A través de esta colaboración, Certora se convierte en el Socio de Seguridad de Registro de Cork, integrando la seguridad en cada capa del ciclo de vida del protocolo, desde el diseño y la verificación hasta el despliegue, el monitoreo y las operaciones.

Esta asociación reúne a tres líderes comprometidos con el avance de la seguridad y la integridad de los sistemas Web3. Al combinar la verificación formal y el marco de seguridad integral de Certora con el monitoreo avanzado en tiempo real de Hypernative, los usuarios de Cork se beneficiarán de salvaguardas de nivel institucional y una mitigación proactiva de riesgos diseñada para la próxima generación de finanzas onchain.

“La seguridad habitual simplemente no es suficiente en DeFi”, dijo Baptiste Florentin, CTO de Cork. “Somos un equipo enfocado construyendo infraestructura crítica para el mercado, y los riesgos son reales. Elegimos a Certora para ir más allá de las auditorías puntuales y construir una disciplina de seguridad holística e integral que esté profundamente integrada con nuestra base de código, la gestión de cambios y las operaciones de producción.”

A medida que el ecosistema Web3 escala, el costo de una seguridad débil sigue aumentando. Según el informe 2024 Internet Crime Complaint Center (IC3) del FBI, el fraude relacionado con cripto representó pérdidas por 9.3 billions de dólares, un aumento del 66% respecto al año anterior, con casi 150,000 denuncias que involucraron activos digitales. Asociaciones como esta buscan revertir esa tendencia elevando el estándar de la industria en cuanto a seguridad y gestión de riesgos. El enfoque actual de las auditorías DeFi ya no es suficiente, la industria ahora exige una postura de seguridad más avanzada y proactiva. 

Certora marca un nuevo camino hacia la madurez de nuestro enfoque de seguridad al trabajar con los mejores del sector. Pioneros en un nuevo modelo que eleva los estándares de seguridad en DeFi, Certora y Cork están unidos para llevar esto al mercado por primera vez.

“Certora fue fundada para aportar el rigor de la garantía de nivel empresarial, utilizada en industrias como la aeronáutica y las finanzas, a los sistemas descentralizados”, dijo Seth Hallem, CEO de Certora. “Al asociarnos con Cork y Hypernative, no solo estamos ayudando a un protocolo; estamos ayudando a redefinir cómo Web3 maneja el riesgo, la transparencia y la resiliencia operativa.”“La seguridad en Web3 da hoy otro salto para filtrar a los actores maliciosos en esta industria”, añadió Gal Sagie, cofundador y CEO de Hypernative. “Pero me complace igualmente que, a través de esta colaboración, también estemos encontrando formas de elevar los estándares de riesgo para todos los que operan en este espacio.”

Juntos, Cork, Certora y Hypernative están construyendo un modelo de cómo los protocolos pueden incorporar la seguridad desde el diseño, creando sistemas que no solo son más seguros para los usuarios, sino también más robustos y escalables para los desarrolladores.

Sobre Certora

Certora es una empresa de seguridad blockchain que proporciona herramientas líderes de verificación formal y auditorías de smart contracts. El producto insignia de Certora, Prover, está ayudando a protocolos como Aave, Lido y Maker a integrar el poder de la verificación formal en su pipeline de desarrollo para detectar incluso los errores más raros y difíciles de encontrar.

Sobre Cork

Cork introduce un nuevo primitivo para el riesgo tokenizado, sirviendo como una capa de riesgo programable para activos onchain como vault tokens, stablecoins generadoras de rendimiento, liquid (re)staking tokens y RWAs. El primitivo central de Cork permite a los gestores de activos y emisores crear mercados de swap personalizados que mejoran la liquidez de redención, la transparencia del riesgo y la confianza del mercado para sus activos onchain. Respaldado por a16z crypto, OrangeDAO y Steakhouse Financial, Cork está construyendo la infraestructura de riesgo necesaria para atraer capital institucional a los mercados de crédito onchain.

Sobre Hypernative

Hypernative es una solución de monitoreo en tiempo real, detección de riesgos y respuesta automatizada que identifica amenazas con alta precisión, brindando a los clientes valiosos minutos para responder antes de que los exploits puedan causar daños. La plataforma rastrea fuentes de datos tanto onchain como offchain. Utiliza modelos de machine learning sofisticados y probados en batalla, heurísticas, simulaciones y detecciones basadas en grafos para identificar más de 300 tipos de riesgos, desde hacks de smart contracts e incidentes de seguridad en bridges hasta compromisos de frontend, manipulaciones de mercado y robo de claves privadas.

Contacto

Senior PR Manager
Wahaj Khan
Serotonin