Certora lève 36 millions de dollars pour des outils de sécurité pour contrats intelligents

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.

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 ?