[COMUNICATO STAMPA – Tel Aviv, Israele, 13 novembre 2025]
Certora , il partner di sicurezza di cui si fidano i team più avanzati di Web3, ha annunciato oggi una partnership strategica con Cork , un protocollo pionieristico nell'infrastruttura di gestione del rischio per DeFi, e Hypernative , leader nel monitoraggio delle minacce in tempo reale. Grazie a questa collaborazione, Certora diventa Security Partner of Record di Cork, integrando la sicurezza a ogni livello del ciclo di vita del protocollo, dalla progettazione e verifica all'implementazione, al monitoraggio e alle operazioni.
Questa partnership riunisce tre leader impegnati a migliorare 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.
"La sicurezza "business as usual" non è sufficiente nella DeFi", ha affermato Baptiste Florentin, CTO di Cork. "Siamo un team concentrato sulla creazione di infrastrutture di mercato critiche e i rischi sono reali. Abbiamo scelto Certora per andare oltre gli audit puntuali e costruire una disciplina di sicurezza olistica ed end-to-end, profondamente integrata con la nostra base di codice, la gestione del cambiamento e le operazioni di produzione".
Con la crescita dell'ecosistema Web3, il costo di una sicurezza debole continua ad aumentare. Secondo il rapporto 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 aumento del 66% rispetto all'anno precedente, con quasi 150.000 denunce che hanno coinvolto asset digitali. Partnership come questa mirano a invertire questa tendenza elevando i livelli di sicurezza e di rischio del settore. L'attuale approccio agli audit DeFi non è più sufficiente: il settore richiede ora un approccio di sicurezza più avanzato e proattivo.
Certora segna un nuovo percorso nel perfezionamento del nostro approccio alla sicurezza, collaborando con i migliori del settore. Pionieri di un nuovo modello che innalza gli standard di sicurezza per la DeFi, Certora e Cork uniscono le forze per lanciarlo sul mercato per la prima volta.
"Certora è stata fondata per portare il rigore della garanzia di livello aziendale, utilizzata in settori come l'aeronautica e la finanza, ai sistemi decentralizzati", ha affermato Seth Hallem, CEO di Certora. "Grazie alla partnership con Cork e Hypernative, non stiamo supportando solo un protocollo; stiamo contribuendo a ridefinire il modo in cui Web3 gestisce il rischio, la trasparenza e la resilienza operativa".
"La sicurezza Web3 sta compiendo un ulteriore passo avanti oggi per filtrare i malintenzionati 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 settore".
Insieme, Cork, Certora e Hypernative stanno sviluppando un modello che mostri 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 informazioni più approfondite sui vantaggi di questa partnership, visita questo blog .
Informazioni su Certora
Certora è un'azienda di sicurezza blockchain che fornisce strumenti di verifica formale e audit di smart contract leader del settore. Il prodotto di sicurezza di punta di Certora, Prover, sta aiutando protocolli come Aave, Lido e Maker a integrare la potenza della verifica formale nella loro pipeline di sviluppo per individuare anche i bug più rari e difficili da individuare.
Informazioni su Cork
Cork introduce una nuova primitiva per il rischio tokenizzato, che funge da livello di rischio programmabile per asset onchain come token vault, stablecoin con rendimento, token liquidi di (re)staking e RWA. La primitiva di base di Cork consente a gestori patrimoniali ed emittenti di creare mercati di swap personalizzati che migliorano la liquidità dei rimborsi, la trasparenza del rischio e la fiducia del mercato per i loro asset onchain. Con il supporto di a16z crypto, OrangeDAO e Steakhouse Financial, Cork sta costruendo l'infrastruttura di rischio necessaria per attrarre capitale istituzionale nei mercati del credito onchain.
Informazioni su Hypernative
Hypernative è una soluzione di monitoraggio in tempo reale, rilevamento dei rischi e risposta automatizzata che identifica le minacce con elevata precisione, offrendo ai clienti minuti preziosi per rispondere prima che gli exploit possano causare danni. La piattaforma traccia sia le fonti di dati onchain che offchain. Utilizza modelli di apprendimento automatico sofisticati e collaudati, euristiche, simulazioni e rilevamenti basati su grafici per identificare oltre 300 tipologie di rischio, dagli attacchi agli smart contract e agli incidenti di sicurezza dei bridge, fino alle compromissioni del frontend, alle manipolazioni di mercato e al furto di chiavi private. Per ulteriori informazioni, visita hypernative.io .
L'articolo Certora collabora con Cork e Hypernative per stabilire un nuovo standard per la sicurezza Web3 è apparso per la prima volta su CryptoPotato .