Certora se asocia con Cork y Hypernative para establecer un nuevo estándar de seguridad en Web3
13 de noviembre de 2025 – Tel Aviv, Israel
Certora, el socio de confianza en aseguramiento de seguridad para 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, monitoreo y 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 mitigación proactiva de riesgos diseñadas para la próxima generación de finanzas onchain.
“La seguridad tradicional ya 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 integral y holística que esté profundamente integrada con nuestra base de código, gestión de cambios y operaciones en producción.”
A medida que el ecosistema Web3 escala, el costo de una seguridad débil sigue aumentando. Según el informe 2024 del 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 seguridad y gestión de riesgos de la industria. 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 en la maduración de nuestro enfoque de seguridad al trabajar con los mejores del sector. Pioneros de 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 llevar el rigor del aseguramiento de nivel empresarial, utilizado 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”, agregó Gal Sagie, cofundador y CEO de Hypernative. “Pero me alegra 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 provee 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 bugs 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, tokens líquidos de (re)staking 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 de riesgos 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
Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.
También te puede gustar
CleanSpark completa una oferta ampliada de notas convertibles por 1.15 billones de dólares para apoyar su expansión
La empresa minera que cotiza en Nasdaq anunció que ha cerrado una oferta de bonos convertibles senior sin cupón por 1.15 billions de dólares. Como parte de la transacción, CleanSpark recompró 30.6 millones de acciones, aproximadamente el 10.9% de su capital social en circulación, por cerca de 460 millones de dólares.


¿Hacia una Reserva Nacional de Bitcoin? Taiwán publicará un informe para finales de 2025

