Tel Aviv, Israel, 13 de noviembre de 2025/Chainwire/-- , el socio de seguridad de confianza de los equipos más avanzados de Web3, anunció hoy una asociación estratégica con , un protocolo pionero en la infraestructura de gestión de riesgos para DeFi, y A través de esta colaboración, Certora se convierte en el Partner de Seguridad de Record de Cork, incorporando seguridad en cada capa del ciclo de vida del protocolo, desde el diseño y la verificación hasta la implementación, el seguimiento y las operaciones. Ciertas Cork Hipnótico Ciertas Cork Hipnótico Al combinar la verificación formal y el marco de seguridad end-to-end de Certora con la monitorización avanzada en tiempo real de Hypernative, los usuarios de Cork se beneficiarán de salvaguardas a nivel institucional y de la mitigación proactiva de riesgos diseñados para la próxima generación de financiación en cadena. “La seguridad de negocios como de costumbre simplemente no la corta en DeFi”, dijo Baptiste Florentin, CTO de Cork. “Somos un equipo centrado en la construcción de infraestructuras de mercado críticas, y los riesgos son reales. “La seguridad de negocios como de costumbre simplemente no la corta en DeFi”, dijo Baptiste Florentin, CTO de Cork. “Somos un equipo centrado en la construcción de infraestructuras de mercado críticas, y los riesgos son reales. A medida que el ecosistema Web3 se escala, el coste de la seguridad débil continúa aumentando. (IC3) informe, el fraude relacionado con la criptografía representó $ 9,3 mil millones en pérdidas, un 66% más que el año anterior, con casi 150.000 quejas que involucran activos digitales. asociaciones como esta tienen como objetivo revertir esa tendencia al elevar la línea de base de la industria para los estándares de seguridad y riesgo. Centro de Reclamaciones del Crimen de Internet del FBI 2024 Centro de Reclamaciones del Crimen de Internet del FBI 2024 Certora marca un nuevo camino hacia adelante en madurar nuestro enfoque a la seguridad trabajando con los mejores en el negocio.Pioneros de un nuevo modelo que eleva los estándares para la seguridad DeFi, Certora y Cork están unidos en traer esto al mercado por primera vez. “Certora fue fundada para llevar 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. “A través de la asociación con Cork y Hypernative, no estamos solo ayudando a un protocolo; estamos ayudando a redefinir cómo Web3 maneja el riesgo, la transparencia y la resiliencia operativa”. “Certora fue fundada para llevar 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. “A través de la asociación con Cork y Hypernative, no estamos solo ayudando a un protocolo; estamos ayudando a redefinir cómo Web3 maneja el riesgo, la transparencia y la resiliencia operativa”. “La seguridad de Web3 está tomando otro salto hoy para filtrar a los malos actores en esta industria”, añadió Gal Sagie, cofundador y CEO de Hypernative. “Pero estoy igualmente contento de que a través de esta colaboración, también estamos encontrando maneras de elevar los estándares de riesgo para todos los que operan en este espacio”. “La seguridad de Web3 está tomando otro salto hoy para filtrar a los malos actores en esta industria”, añadió Gal Sagie, cofundador y CEO de Hypernative. “Pero estoy igualmente contento de que a través de esta colaboración, también estamos encontrando maneras 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 seguridad por diseño, creando sistemas que no solo son más seguros para los usuarios, sino que también son más robustos y escalables para los desarrolladores. . El blog El blog Sobre la certidumbre Certora es una compañía de seguridad de blockchain que proporciona herramientas de verificación formal líderes en la industria y auditorías de contratos inteligentes.El producto de seguridad líder de Certora, Prover, está ayudando a protocolos como Aave, Lido y Maker a integrar el poder de la verificación formal en su tubería de desarrollo para capturar incluso los errores 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 en cadena, como tokens de caucho, stablecoins de rendimiento, tokens líquidos (re)estake, y RWAs. El primitivo principal de Cork permite a los gerentes de activos y emisores crear mercados de swap personalizados que mejoren la liquidez de la redempción, la transparencia del riesgo y la confianza del mercado para sus activos en cadena. Sobre la hipnosis Hypernative es una solución de monitoreo en tiempo real, detección de riesgos y respuesta automatizada que identifica las amenazas con alta precisión, dándole a los clientes preciosos minutos para responder antes de que los exploits puedan causar daños.La plataforma rastrea tanto las fuentes de datos en cadena como fuera de cadena. utiliza modelos de aprendizaje automático sofisticados, heurísticos, simulaciones y detecciones basadas en gráficos para identificar más de 300 tipos de riesgos, desde hacking de contratos inteligentes e incidentes de seguridad de puente hasta compromisos frontend, manipulaciones de mercado y robo de clave privada. . Hipérbole.io Hipérbole.io Contacto Jefe de PR Wahaj Khan Serotonina wahaj@serotonin.co Esta historia fue publicada como un comunicado de prensa por Chainwire bajo el Programa de Blogging de Negocios de HackerNoon. Esta historia fue publicada como un comunicado de prensa por Chainwire bajo el Programa de Blogging de Negocios de HackerNoon. El programa El programa
