Tel Aviv, Israele, 13 novembre 2025, Chainwire
Certora , il partner di sicurezza di fiducia dei team più all'avanguardia del Web3, ha annunciato oggi una partnership strategica con Cork , un protocollo pioniere nell'infrastruttura di gestione del rischio per DeFi , e Hypernative , leader nel monitoraggio delle minacce in tempo reale. Grazie a questa collaborazione, Certora diventa il Security Partner of Record di Cork, integrando la sicurezza in ogni fase del ciclo di vita del protocollo, dalla progettazione e verifica fino all'implementazione, al monitoraggio e alla gestione operativa.
Questa partnership riunisce tre leader impegnati a promuovere la sicurezza e l'integrità dei sistemi Web3. Combinando la verifica formale e il framework di sicurezza end-to-end di Certora con il monitoraggio avanzato in tempo reale di Hypernative, gli utenti di Cork beneficeranno di misure di sicurezza di livello istituzionale e di una mitigazione proattiva del rischio, progettate per la prossima generazione di finanza on-chain.
"Nel mondo DeFi, la sicurezza tradizionale non è più sufficiente", ha affermato Baptiste Florentin, CTO di Cork. "Siamo un team focalizzato sulla creazione di infrastrutture di mercato critiche e i rischi sono reali. Abbiamo scelto Certora per andare oltre i semplici audit puntuali e costruire una disciplina di sicurezza olistica e completa, profondamente integrata con il nostro codice sorgente, la gestione delle modifiche e le operazioni di produzione."
Con la crescita dell'ecosistema Web3, il costo di una sicurezza inadeguata continua ad aumentare. Secondo il 2024 dell'Internet Crime Complaint Center (IC3) dell'FBI , le frodi legate alle criptovalute hanno causato perdite per 9,3 miliardi di dollari, con un incremento del 66% rispetto all'anno precedente e quasi 150.000 denunce relative ad asset digitali. Partnership come questa mirano a invertire questa tendenza, elevando gli standard di sicurezza e di gestione del rischio del settore. L'attuale approccio agli DeFi non è più sufficiente: il settore richiede ora una postura di sicurezza più avanzata e proattiva.
Certora segna un nuovo passo avanti nel perfezionamento del nostro approccio alla sicurezza, collaborando con i migliori del settore. Pioniera di un nuovo modello che innalza gli standard di sicurezza per DeFi , Certora e Cork sono unite per portare questa innovazione sul mercato per la prima volta.
"Certora è stata fondata per portare il rigore della garanzia di qualità di livello enterprise, utilizzato in settori come l'aeronautica e la finanza, ai sistemi decentralizzati", ha affermato Seth Hallem, CEO di Certora. "Collaborando con Cork e Hypernative, non stiamo solo supportando un protocollo; stiamo contribuendo adefiil modo in cui il Web3 gestisce il rischio, la trasparenza e la resilienza operativa."
"La sicurezza Web3 compie oggi un ulteriore passo avanti per individuare ed eliminare gli operatori scorretti in questo settore", ha aggiunto Gal Sagie, co-fondatore e CEO di Hypernative. "Ma sono altrettanto lieto che, grazie a questa collaborazione, stiamo anche trovando il modo di innalzare gli standard di rischio per tutti coloro che operano in questo ambito."
Insieme, Cork, Certora e Hypernative stanno costruendo un modello che definisce come i protocolli possano integrare la sicurezza fin dalla progettazione, creando sistemi non solo più sicuri per gli utenti, ma anche più robusti e scalabili per gli sviluppatori. Per maggiori informazioni su questa partnership, visita questo blog .
Informazioni su Estra
Certora è un'azienda di sicurezza blockchain che fornisce strumenti di verifica formale all'avanguardia e audit ditracintelligenti. Il prodotto di punta di Certora per la sicurezza, Prover, aiuta protocolli come Aave, Lido e Maker a integrare la potenza della verifica formale nel loro flusso di lavoro di sviluppo per individuare anche i bug più rari e difficili da trovare.
Informazioni su Cork
Cork introduce una nuova primitiva per la gestione del rischio tokenizzato, fungendo da livello di rischio programmabile per asset on-chain come token di deposito, stablecoin con rendimento, token di (re)staking liquidi e RWA (Restricted Weighted Assets). La primitiva principale di Cork consente ai gestori patrimoniali e agli emittenti di creare mercati di swap personalizzati che migliorano la liquidità di rimborso, la trasparenza del rischio e la fiducia del mercato per i loro asset on-chain. Supportata da a16z crypto, OrangeDAO e Steakhouse Financial, Cork sta costruendo l'infrastruttura di rischio necessaria per attrarre capitali istituzionali nei mercati del credito on-chain.
Informazioni su Hypernative
Hypernative è una soluzione di monitoraggio in tempo reale, rilevamento dei rischi e risposta automatizzata che identifica dent minacce con elevata precisione, offrendo ai clienti minuti preziosi per reagire prima che gli exploit possano causare danni. La piattaforma trac fonti di dati sia on-chain che off-chain. Utilizza modelli di machine learning sofisticati e collaudati, euristiche, simulazioni e rilevamenti basati su grafi per identificare dent 300 tipologie di rischio, dagli trac e agli incidenti di sicurezza dei bridge dent fino alle compromissioni del frontend, alle manipolazioni di mercato e al furto di chiavi private. Per ulteriori informazioni, visita hypernative.io .
Contatto
Senior PR Manager
Wahaj Khan
Serotonina
[email protetta]
Disclaimer. Questo è un comunicato stampa a pagamento. I lettori sono tenuti a svolgere la propria due diligence prima di intraprendere qualsiasi azione relativa alla società promossa o a una qualsiasi delle sue affiliate o servizi. Cryptopolitan non è responsabile, direttamente o indirettamente, per eventuali danni o perdite causati o presumibilmente causati da o in connessione con l'uso o l'affidamento su qualsiasi contenuto, bene o servizio menzionato nel comunicato stampa.
