Tel Aviv, Israel, 13 de novembre de 2025/Chainwire/-- , el soci d’assegurament de seguretat de confiança dels equips més avançats de Web3, ha anunciat avui una associació estratègica amb , un protocol pioner en la infraestructura de gestió de riscos per a DeFi, i A través d'aquesta col·laboració, Certora es converteix en el Partit de Seguretat de Record de Cork, incorporant seguretat en totes les capes del cicle de vida del protocol, des del disseny i la verificació fins al desplegament, el monitoratge i les operacions. Seguretat Cork Hipnòtic Seguretat Cork Hipnòtic En combinar la verificació formal i el marc de seguretat end-to-end de Certora amb el monitoratge avançat en temps real d'Hypernative, els usuaris de Cork es beneficiaran de salvaguardes a nivell institucional i mitigació proactiva de riscos dissenyats per a la propera generació de finançament en cadena. “La seguretat empresarial com a habitual no la redueix a DeFi”, va dir Baptiste Florentin, CTO de Cork. “Som un equip centrat en la construcció d’infraestructures crítiques del mercat, i els riscos són reals. “La seguretat empresarial com a habitual no la redueix a DeFi”, va dir Baptiste Florentin, CTO de Cork. “Som un equip centrat en la construcció d’infraestructures crítiques del mercat, i els riscos són reals. A mesura que l'ecosistema Web3 s'escala, el cost de la seguretat feble continua augmentant. (IC3) informe, el frau relacionat amb la criptografia va representar 9.300 milions de dòlars en pèrdues, un 66% més que l'any anterior, amb gairebé 150.000 queixes relacionades amb actius digitals. associacions com aquesta tenen com a objectiu revertir aquesta tendència mitjançant l'elevació de la línia de base de la indústria per als estàndards de seguretat i risc. Centre de Reclamació del Crim d'Internet del FBI 2024 Centre de Reclamació del Crim d'Internet del FBI 2024 Certora marca un nou camí cap endavant en madurar el nostre enfocament a la seguretat treballant amb els millors en el negoci. Pioner d'un nou model que eleva els estàndards per a la seguretat DeFi, Certora i Cork estan units en portar això al mercat per primera vegada. "Certora va ser fundada per portar el rigor de l'assegurament de nivell empresarial, utilitzat en indústries com l'aviació i les finances, als sistemes descentralitzats", va dir Seth Hallem, CEO de Certora. "Amb la col·laboració amb Cork i Hypernative, no estem només ajudant a un protocol; estem ajudant a redefinir com Web3 gestiona el risc, la transparència i la resiliència operativa." "Certora va ser fundada per portar el rigor de l'assegurament de nivell empresarial, utilitzat en indústries com l'aviació i les finances, als sistemes descentralitzats", va dir Seth Hallem, CEO de Certora. "Amb la col·laboració amb Cork i Hypernative, no estem només ajudant a un protocol; estem ajudant a redefinir com Web3 gestiona el risc, la transparència i la resiliència operativa." "La seguretat de Web3 està prenent un altre salt avui per filtrar els actors dolents en aquesta indústria", va afegir Gal Sagie, cofundador i CEO d'Hypernative. "Però estic igualment content que a través d'aquesta col·laboració, també estem trobant maneres d'elevar els estàndards de risc per a tothom que opera en aquest espai." "La seguretat de Web3 està prenent un altre salt avui per filtrar els actors dolents en aquesta indústria", va afegir Gal Sagie, cofundador i CEO d'Hypernative. "Però estic igualment content que a través d'aquesta col·laboració, també estem trobant maneres d'elevar els estàndards de risc per a tothom que opera en aquest espai." Junts, Cork, Certora i Hypernative estan construint un model de com els protocols poden incorporar seguretat per disseny, creant sistemes que no només són més segurs per als usuaris, sinó també més robustos i escalables per als desenvolupadors. . El blog El blog Sobre la certesa Certora és una companyia de seguretat blockchain que proporciona eines de verificació formal i auditories de contractes intel·ligents líders de la indústria. El producte de seguretat líder de Certora, Prover, està ajudant protocols com Aave, Lido i Maker a integrar el poder de la verificació formal en la seva canonada de desenvolupament per atrapar fins i tot els errors rars i difícils de trobar. Sobre Cork Cork introdueix un nou primitiu per al risc tokenitzat, que serveix com a capa de risc programable per a actius en cadena com ara tokens de cistella, stablecoins portadors de rendiment, tokens líquids (re)establiment i RWAs. El primitiu bàsic de Cork permet als gestors d'actius i els emissors crear mercats d'intercanvi personalitzats que milloren la liquiditat de la redempció, la transparència del risc i la confiança del mercat per als seus actius en cadena. Sobre l'hipernatiu Hypernative és una solució de seguiment en temps real, detecció de riscos i resposta automatitzada que identifica les amenaces amb gran precisió, donant als clients preuats minuts per respondre abans que els exploits puguin causar danys. La plataforma rastreja fonts de dades tant en cadena com fora de cadena. Utilitza models d'aprenentatge de màquina sofisticats, heurístics, simulacions i deteccions basades en gràfics per identificar més de 300 tipus de riscos, des d'hacks de contractes intel·ligents i incidents de seguretat de pont fins a compromisos front-end, manipulacions de mercat i robatori de claus privades. . hypernative.io Hipòcrita.io Contacte Gerent de PR Wahaj Khan Serotonina Cervelló@serotonin.co Aquesta història va ser publicada com un comunicat de premsa per Chainwire en el marc del Programa de Blogging de Negocis de HackerNoon. Aquesta història va ser publicada com un comunicat de premsa per Chainwire en el marc del Programa de Blogging de Negocis de HackerNoon. Programació Programació