Tel Aviv, Israel, 13 de noviembre de 2025, Chainwire
Certora , el socio de garantía de seguridad en el que confían los equipos más avanzados de Web3, anunció hoy una alianza estratégica con Cork , una infraestructura de gestión de riesgos pionera en protocolos DeFi , e Hypernative , líder en monitorización de amenazas en tiempo real. Gracias a esta colaboración, Certora se convierte en el Socio de Seguridad Oficial de Cork, integrando la seguridad en cada capa del ciclo de vida del protocolo, desde el diseño y la verificación hasta la implementación, la monitorización y las operaciones.
Esta alianza reúne a tres líderes comprometidos con el avance de la seguridad e integridad de los sistemas Web3. Al combinar la verificación formal y el marco de seguridad integral de Certora con la monitorización avanzada en tiempo real de Hypernative, los usuarios de Cork se beneficiarán de medidas de seguridad de nivel institucional y mitigación proactiva de riesgos, diseñadas para la próxima generación de finanzas en cadena.
“La seguridad convencional simplemente no funciona en DeFi”, afirmó Baptiste Florentin, director de tecnología de Cork. “Somos un equipo centrado en el desarrollo de 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 desarrollar una disciplina de seguridad integral, 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 crece, el coste de una seguridad deficiente sigue aumentando. Según el del Centro de Quejas de Delitos en Internet (IC3) de 2024 del FBI, el fraude relacionado con criptomonedas generó pérdidas por 9.300 millones de dólares, un aumento del 66 % con respecto al año anterior, con casi 150.000 quejas relacionadas con activos digitales. Colaboraciones como esta buscan revertir esta tendencia elevando los estándares de seguridad y riesgo de la industria. El enfoque actual de las DeFi ya no es suficiente; la industria exige una postura de seguridad más avanzada y proactiva.
Certora marca un nuevo camino en la consolidación de nuestro enfoque de seguridad al colaborar con los mejores del sector. Pioneros en un nuevo modelo que eleva los estándares de seguridad DeFi , Certora y Cork se unen para lanzarlo al mercado por primera vez.
“Certora se fundó para llevar el rigor de la seguridad empresarial, utilizada en sectores como la aeronáutica y las finanzas, a los sistemas descentralizados”, afirmó Seth Hallem, director ejecutivo de Certora. “Al asociarnos con Cork e Hypernative, no solo apoyamos a un protocolo; ayudamos adeficómo Web3 gestiona el riesgo, la transparencia y la resiliencia operativa”
“La seguridad de Web3 da un paso más hoy para filtrar a los actores maliciosos de esta industria”, añadió Gal Sagie, cofundador y director ejecutivo de Hypernative. “Pero me complace igualmente que, a través de esta colaboración, también encontremos maneras de elevar los estándares de riesgo para todos los que operan en este sector”
Juntos, Cork, Certora e Hypernative están desarrollando un modelo que explica cómo los protocolos pueden integrar 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. Para obtener más información sobre esta colaboración, visite este blog .
Acerca de Certora
Certora es una empresa de seguridad blockchain que ofrece herramientas de verificación formal líderes en la industria y auditorías detracinteligentes. Su producto de seguridad estrella, Prover, ayuda a protocolos como Aave, Lido y Maker a integrar el poder de la verificación formal en su proceso de desarrollo para detectar incluso los errores más raros y difíciles de detectar.
Acerca de Cork
Cork introduce una nueva primitiva para el riesgo tokenizado, que funciona como una capa de riesgo programable para activos en cadena como tokens de bóveda, monedas estables con rendimiento, tokens líquidos de (re)staking y RWA. La primitiva principal de Cork permite a los gestores de activos y emisores crear mercados de swaps personalizados que mejoran la liquidez de reembolso, la transparencia del riesgo y la confianza del mercado para sus activos en cadena. Con el respaldo de a16z crypto, OrangeDAO y Steakhouse Financial, Cork está construyendo la infraestructura de riesgo necesaria para atraer capital institucional a los mercados de crédito en cadena.
Acerca de Hypernative
Hypernative es una solución de monitoreo, detección de riesgos y respuesta automatizada en tiempo real que dent amenazas con alta precisión, brindando a los clientes minutos valiosos para responder antes de que las vulnerabilidades puedan causar daños. La plataforma trac fuentes de datos tanto dentro como fuera de la cadena. Utiliza sofisticados modelos de aprendizaje automático de eficacia comprobada, heurísticas, simulaciones y detecciones basadas en gráficos para identificar dent de 300 tipos de riesgo, desde trac e incidentes de seguridad de puentes dent vulnerabilidades de frontend, manipulaciones del mercado y robo de claves privadas. Para más información, visite hypernative.io .
Contacto
Gerente senior de relaciones públicas
Wahaj Khan
Serotonina
[correo electrónico protegido]
Aviso legal. Este comunicado de prensa es de pago. Los lectores deben investigar a fondo antes de tomar cualquier medida relacionada con la empresa promocionada o cualquiera de sus afiliados o servicios. Cryptopolitan , el uso o la confianza depositada en cualquier contenido, producto o servicio mencionado en el comunicado de prensa.
