Certora si Partners con Cork e Hypernative per Stabilire un Nuovo Standard per la Sicurezza Web3

Tel Aviv, Israele, 13 novembre 2025, Chainwire

Certora, il partner di assicurazione della sicurezza fidato dai team più avanzati in Web3, ha annunciato oggi una partnership strategica con Cork, un protocollo che sta pionierizzando l'infrastruttura di gestione del rischio per DeFi, e Hypernative, leader nel monitoraggio delle minacce in tempo reale. Attraverso questa collaborazione, Certora diventa il Partner di Sicurezza di Riferimento di Cork, integrando la sicurezza a ogni livello del ciclo di vita del protocollo, dalla progettazione e verifica al deployment, monitoraggio e operazioni.

Questa partnership riunisce tre leader impegnati ad avanzare 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 salvaguardie di livello istituzionale e mitigazione proattiva del rischio progettate per la prossima generazione di finanza onchain.

“La sicurezza business-as-usual semplicemente non basta in DeFi”, ha dichiarato Baptiste Florentin, CTO di Cork. “Siamo un team focalizzato che costruisce infrastrutture di mercato critiche e i rischi sono reali. Abbiamo scelto Certora per andare oltre gli audit punto nel tempo e costruire una disciplina di sicurezza olistica e end-to-end profondamente integrata con il nostro codice, la gestione dei cambiamenti e le operazioni di produzione.”

Mentre l'ecosistema Web3 scala, il costo di una sicurezza carente continua a crescere. Secondo il rapporto FBI’s 2024 Internet Crime Complaint Center (IC3), le frodi legate alle criptovalute hanno causato perdite per 9,3 miliardi di dollari, un aumento del 66% rispetto all'anno precedente, con quasi 150.000 reclami che coinvolgono asset digitali. Partnership come questa mirano a invertire questa tendenza elevando la baseline del settore per la sicurezza e gli standard di rischio. L'approccio attuale agli audit DeFi non è più sufficiente; il settore ora richiede una postura di sicurezza più avanzata e proattiva.

Certora segna una nuova via avanti nella maturazione del nostro approccio alla sicurezza lavorando con i migliori del settore. Pionierando un nuovo modello che innalza gli standard per la sicurezza DeFi, Certora e Cork sono uniti nel portare questo sul mercato per la prima volta.

“Certora è stata fondata per portare il rigore dell'assicurazione di livello enterprise, utilizzata in industrie come l'aeronautica e la finanza, ai sistemi decentralizzati”, ha dichiarato Seth Hallem, CEO di Certora. “In partnership con Cork e Hypernative, non stiamo solo aiutando un protocollo; stiamo aiutando a ridefinire come Web3 gestisce il rischio, la trasparenza e la resilienza operativa.”

“La sicurezza Web3 compie un altro balzo in avanti oggi per filtrare i cattivi attori in questo settore”, ha aggiunto Gal Sagie, Co-Founder e CEO di Hypernative. “Ma sono ugualmente felice che attraverso questa collaborazione stiamo anche trovando modi per innalzare gli standard di rischio per tutti coloro che operano in questo spazio.”

Insieme, Cork, Certora e Hypernative stanno costruendo un modello su come i protocolli possono integrare la sicurezza by design, creando sistemi che non solo sono più sicuri per gli utenti, ma anche più robusti e scalabili per gli sviluppatori. Per informazioni più approfondite su cosa include questa partnership, visita questo blog.

Chi è Certora

Certora è una società di sicurezza blockchain che fornisce strumenti di verifica formale e audit di smart contract leader del settore. Il prodotto di sicurezza principale di Certora, Prover, sta aiutando protocolli come Aave, Lido e Maker a integrare il potere della verifica formale nella loro pipeline di sviluppo per catturare anche i bug più rari e difficili da trovare.

Chi è Cork

Cork introduce una nuova primitiva per il rischio tokenizzato, fungendo da strato di rischio programmabile per gli asset onchain come i token delle vault, le stablecoin generatrici di rendimento, i token di liquid (re)staking e gli RWAs. La primitiva principale di Cork consente ai gestori di asset e agli emittenti di creare mercati di swap personalizzati che migliorano la liquidità di redemption, la trasparenza del rischio e la fiducia del mercato per i loro asset onchain. Sostenuto da a16z crypto, OrangeDAO e Steakhouse Financial, Cork sta costruendo l'infrastruttura di rischio necessaria per portare il capitale istituzionale nei mercati del credito onchain.

Chi è Hypernative

Hypernative è una soluzione di monitoraggio in tempo reale, rilevamento del rischio e risposta automatizzata che identifica le minacce con alta precisione, dando ai clienti preziosi minuti per rispondere prima che gli exploit possano causare danni. La piattaforma traccia sia le fonti di dati onchain che offchain. Utilizza modelli di machine learning sofisticati e collaudati in battaglia, euristiche, simulazioni e rilevamenti basati su grafi per identificare oltre 300 tipi di rischio, dagli hack di smart contract e incidenti di sicurezza dei bridge ai compromessi del frontend, manipolazioni di mercato e furto di chiavi private. Per maggiori informazioni, visita hypernative.io.

Contatti

Senior PR Manager
Wahaj Khan
Serotonin
[email protected]

Dichiarazione di responsabilità. Questo è un comunicato stampa a pagamento. I lettori dovrebbero effettuare le proprie verifiche prima di intraprendere qualsiasi azione relativa all'azienda promossa o alle sue affiliate o servizi. Cryptopolitan.com non è responsabile, direttamente o indirettamente, per eventuali danni o perdite causati o presunti causati da o in connessione con l'uso o l'affidamento su qualsiasi contenuto, beni o servizi menzionati nel comunicato stampa.