Partager cet article
Certora lève 36 millions de dollars pour des outils de sécurité pour contrats intelligents
Jump Crypto a dirigé le tour de financement de l'entreprise, qui sécurise 50 milliards de dollars d'actifs DeFi.
Par Brandy Betz
La société de sécurité des contrats intelligents Certora a levé 36 millions de dollars lors d'un tour de table de série B mené par Jump Crypto pour financer le développement et porter sa Technologies de détection de failles sur de nouvelles blockchains.
Parmi les autres participants au tour figuraient Tiger Global, Galaxy Digital, Electric Capital, ACapital, Framework Ventures, CoinFund, Lemniscap, Coinbase (COIN) et VMware (VMW), selon un projet d'article de blog fourni à CoinDesk.
La Suite Ci-Dessous
Ne manquez pas une autre histoire.Abonnez vous à la newsletter Crypto Daybook Americas aujourd. Voir toutes les newsletters
Les failles de sécurité de la blockchain ont défrayé la chronique cette année, entraînant parfois des pertes financières à neuf chiffres. Parmi elles, on compte326 millions de dollars pour le pont blockchain Wormhole et 625 millions de dollars pour Ronin Network, l'infrastructure derrière le jeu populaire de jeu à gagner Axie Infinity.
Certora est conçu pour aider les développeurs à détecter et à prévenir les erreurs de sécurité avant le déploiement du code. Son outil Prover est conçu pour compléter les audits Human et les programmes de primes aux bugs. Certora a annoncé avoir actuellement sécurisé 50 milliards de dollars. Finance décentralisée Actifs (DeFi). Le produit détecte et affiche toute violation des règles ou prouve formellement qu'il T en a pas.
L'entreprise est dirigée par Shmuel « Mooly » Sagiv, titulaire de la chaire d'informatique à l'Université de Tel Aviv et pionnier de la vérification formelle, un domaine qui utilise des mathématiques complexes pour prouver ou réfuter l'exactitude d'un algorithme, comme les contrats intelligents sur un protocole de liquidité.
Certora gère actuellement uniquement les blockchains compatibles avec les machines virtuelles Ethereum (EVM). L'objectif est désormais d'étendre la prise en charge à Solana, puis de développer davantage Polkadot.
« Ce que nous voulons faire l’année prochaine, c’est couvrir toutes les blockchains », a déclaré Sagiv à CoinDesk dans une interview.
Comment ça marche
Certora identifie les violations d'invariants, ou règles à ne T enfreindre, dans les contrats intelligents. La Technologies de l'entreprise a permis d'identifier des bugs dans Aave, Compound, Balancer et Sushiswap. La plupart de ces bugs ont été découverts et corrigés avant le déploiement du code.
Par exemple, Certora a évité un bug critique dans le contrat de pool de liquidités Trident de SushiSwap. Dans Trident, les utilisateurs ajoutent des fonds pour créer le pool, puis perçoivent des commissions pour leurs activités de prêt et d'échange. Ces commissions sont proportionnelles à leur part de la liquidité globale.
Pour qu'un pool de liquidités fonctionne, il doit exister une règle technique selon laquelle, tant qu'il existe des fonds, les parts des utilisateurs doivent exister, car quelqu'un fournit ces liquidités. Toute violation de cette règle signifie que les parts du pool sont sans valeur ou que les fonds existent, mais T peuvent être réclamés par les utilisateurs.
Dans le cas de Trident, le vérificateur Certora a détecté une violation de règle qui aurait pu permettre à un attaquant de drainer les fonds du pool. Le problème a été identifié et corrigé avant le déploiement du code.
« Propulsé par des experts de classe mondiale, Certora s'appuie sur la vérification formelle pour utiliser une suite de produits évolutifs et robustes qui offrent une réutilisabilité et des tests granulaires beaucoup plus élevés », a déclaré Saurabh Sharma, partenaire et responsable des investissements de Jump Crypto, dans un communiqué.
Sur le même sujet : Comment fonctionnent les contrats intelligents Ethereum ?
Plus pour vous
KuCoin captured a record share of centralised exchange volume in 2025, with more than $1.25tn traded as its volumes grew faster than the wider crypto market.
Ce qu'il:
- KuCoin recorded over $1.25 trillion in total trading volume in 2025, equivalent to an average of roughly $114 billion per month, marking its strongest year on record.
- This performance translated into an all-time high share of centralised exchange volume, as KuCoin’s activity expanded faster than aggregate CEX volumes, which slowed during periods of lower market volatility.
- Spot and derivatives volumes were evenly split, each exceeding $500 billion for the year, signalling broad-based usage rather than reliance on a single product line.
- Altcoins accounted for the majority of trading activity, reinforcing KuCoin’s role as a primary liquidity venue beyond BTC and ETH at a time when majors saw more muted turnover.
- Even as overall crypto volumes softened mid-year, KuCoin maintained elevated baseline activity, indicating structurally higher user engagement rather than short-lived volume spikes.
Plus pour vous
La promotion des creator coins par Base suscite une réaction négative des développeurs en raison de préoccupations liées au favoritisme
Les développeurs sur Base réagissent contre l’alignement étroit du réseau avec Zora, estimant que le discours autour des creator-coins marginalise les projets établis.
Ce qu'il:
- Base a connu une augmentation de l'émission de creator-coins via Zora, avec un nombre quotidien de frappes de tokens surpassant Solana en août, stimulant ainsi l'activité onchain et l'attention.
- Certains projets natifs de Base estiment que le marketing et le soutien social se sont concentrés de manière étroite sur des initiatives liées à Zora, laissant d’autres communautés établies sans reconnaissance.
- Alors que Base continue de traiter plus de 10 millions de transactions par jour, les critiques avertissent que la détérioration du sentiment des développeurs pourrait pousser les projets vers des chaînes rivales telles que Solana ou Sui.
À la une
