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

Tel Aviv, Israel, 13 de noviembre de 2025, Chainwire

Certora, el socio de garantía de seguridad de confianza de los equipos más avanzados de Web3, anunció hoy una alianza estratégica con Cork, un protocolo pionero en infraestructura de gestión de riesgos para 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 etapa del ciclo de vida del protocolo, desde el diseño y la verificación hasta el despliegue, 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 se expande, el costo de la seguridad deficiente sigue aumentando. Según el del Centro de Denuncias de Delitos en Internet (IC3) del FBI de 2024, el fraude relacionado con criptomonedas generó pérdidas por valor de 9300 millones de dólares, un aumento del 66 % con respecto al año anterior, con casi 150 000 denuncias relacionadas con activos digitales. Alianzas como esta buscan revertir esta tendencia elevando los estándares de seguridad y gestión de riesgos del sector. El enfoque actual de DeFi ya no es suficiente; el sector exige ahora 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 quedentamenazas con alta precisión, brindando a los clientes minutos valiosos para responder antes de que las vulnerabilidades puedan causar daños. La plataforma tracfuentes 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 identificardentde 300 tipos de riesgo, desdetrace incidentes de seguridad de puentesdentvulnerabilidades 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.