Condividi questo articolo
Certora raccoglie 36 milioni di dollari per gli strumenti di sicurezza degli smart contract
Jump Cripto ha guidato il round di finanziamento per l'azienda, che si è assicurata 50 miliardi di dollari di asset DeFi.
Di Brandy Betz
La società di sicurezza per contratti intelligenti Certora ha raccolto 36 milioni di dollari in un round di serie B guidato da Jump Cripto per finanziare lo sviluppo e il trasferimento della sua Tecnologie di rilevamento dei difetti su nuove blockchain.
Secondo una bozza di post del blog fornita a CoinDesk, gli altri partecipanti al round includevano Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) e VMware (VMW).
La storia continua sotto
Non perderti un'altra storia.Iscriviti alla Newsletter Crypto Daybook Americas oggi. Vedi tutte le newsletter
Le violazioni della sicurezza della blockchain hanno fatto notizia quest'anno, con alcune che hanno causato perdite finanziarie a nove cifre. Tra queste:326 milioni di dollari per il ponte blockchain Wormhole E 625 milioni di dollari per Ronin Network, l'infrastruttura alla base del famoso gioco "gioca per guadagnare" Axie Infinity.
Certora è progettato per aiutare gli sviluppatori a rilevare e prevenire errori di sicurezza prima che il codice venga distribuito. Lo strumento Prover dell'azienda è pensato per integrare audit Human e bug bounty. Certora ha affermato di stare attualmente assicurando 50 miliardi di dollari in Finanza decentralizzata Asset (DeFi). Il prodotto trova e visualizza eventuali violazioni delle regole o dimostra formalmente che T ce ne sono.
L'azienda è guidata da Shmuel "Mooly" Sagiv, titolare della cattedra di informatica presso l'Università di Tel Aviv e pioniere della verifica formale, un campo che utilizza la matematica complessa per provare o confutare la correttezza di un algoritmo, come gli smart contract su un protocollo di liquidità.
Certora attualmente gestisce solo blockchain compatibili con Ethereum Virtual Machine (EVM). Il prossimo obiettivo è estendere il supporto a Solana, per poi espandersi ulteriormente verso Polkadot.
"Quello che vogliamo fare il prossimo anno è coprire tutte le blockchain", ha detto Sagiv a CoinDesk in un'intervista.
Come funziona
Certora identifica le violazioni di invarianti, o regole che T dovrebbero essere infrante, negli smart contract. La Tecnologie dell'azienda ha identificato bug in Aave, Compound, Balancer e Sushiswap. La maggior parte dei bug è stata scoperta e risolta prima che il codice venisse distribuito.
Ad esempio, Certora ha impedito un bug critico nel contratto del pool di liquidità Trident di SushiSwap. In Trident, gli utenti aggiungono fondi per creare il pool, quindi guadagnano commissioni per le loro attività di prestito e swap. Le commissioni sono proporzionali alla loro quota della liquidità complessiva.
Perché un pool di liquidità funzioni, deve esserci una regola tecnica per cui finché ci sono fondi del pool, le quote degli utenti devono esistere poiché qualcuno fornisce quella liquidità. Una violazione di tale regola significa che o le quote del pool non hanno valore o i fondi esistono ma T possono essere reclamati dagli utenti.
Nel caso di Trident, il Certora Prover ha trovato una violazione delle regole che avrebbe potuto consentire a un aggressore di prosciugare i fondi del pool. Il problema è stato identificato e corretto prima che il codice venisse distribuito.
"Grazie al supporto di esperti di fama mondiale, Certora sfrutta la verifica formale per impiegare una serie di prodotti scalabili e robusti che offrono una riutilizzabilità e test granulari molto più elevati", ha affermato Saurabh Sharma, partner e responsabile degli investimenti di Jump Cripto , in una nota.
Continua a leggere: Come funzionano gli smart contract Ethereum ?
More For You
What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
JPMorgan Lancia un Fondo Monetario Tokenizzato su Ethereum mentre Wall Street Migra sulla Blockchain: Report
La banca statunitense da 4 trilioni di dollari è l'ultima grande istituzione finanziaria a lanciare un MMF tokenizzato onchain, unendosi a BlackRock, Franklin Templeton e Fidelity.
What to know:
- JPMorgan Chase sta lanciando il suo primo fondo di mercato monetario tokenizzato su Ethereum, chiamato My OnChain Net Yield Fund (MONY), con un investimento iniziale di 100 milioni di dollari.
- Il fondo fa parte di una tendenza crescente di prodotti finanziari basati su blockchain, con grandi aziende come BlackRock e Franklin Templeton che stanno anch'esse entrando in questo settore.
- MONY consente agli investitori di riscattare le azioni utilizzando contanti o USDC e mira a offrire benefici simili a quelli dei tradizionali fondi del mercato monetario, con vantaggi aggiuntivi derivanti dalla blockchain.
Storie Da Non Perdere
