Bitget App
Trading Inteligente
Comprar criptoMercadosTradingFuturosEarnCentroMás
Certora se asocia con Cork y Hypernative para establecer un nuevo estándar de seguridad en Web3

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

Daily HodlDaily Hodl2025/11/14 03:43
Mostrar el original
Por:by Chainwire

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

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

0

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.

PoolX: Haz staking y gana nuevos tokens.
APR de hasta 12%. Gana más airdrop bloqueando más.
¡Bloquea ahora!

También te puede gustar

Los ETFs spot de bitcoin registran salidas por 869 millones de dólares, marcando la segunda mayor salida registrada.

Los ETF de bitcoin al contado en EE.UU. registraron salidas de fondos por 869,9 millones de dólares el jueves, marcando su segunda mayor salida en la historia. Bitcoin cayó un 6,4% en las últimas 24 horas, situándose en 96.956 dólares al momento de escribir esto.

The Block2025/11/14 06:46
Los ETFs spot de bitcoin registran salidas por 869 millones de dólares, marcando la segunda mayor salida registrada.

DerivaDEX gobernado por DAO es el 'primer' protocolo descentralizado de derivados en recibir la licencia de la Bermuda Monetary Authority

La Autoridad Monetaria de Bermudas (BMA) supuestamente ha emitido su primera licencia a un protocolo descentralizado de derivados: DerivaDEX, que está por lanzarse y será gobernado por una DAO. La BMA es la entidad que emitió la primera licencia de Coinbase Derivatives.

The Block2025/11/14 06:46
DerivaDEX gobernado por DAO es el 'primer' protocolo descentralizado de derivados en recibir la licencia de la Bermuda Monetary Authority

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.

The Block2025/11/14 05:52
CleanSpark completa una oferta ampliada de notas convertibles por 1.15 billones de dólares para apoyar su expansión