Prise rapide
- Certora a levé 36 millions de dollars lors d'un tour de série B dirigé par Jump Crypto, avec la participation de Tiger Global et Galaxy Digital.
- La société basée en Israël fournit des outils d'analyse de sécurité pour les contrats intelligents blockchain.
Certora, une société basée en Israël qui fournit des outils d'analyse de sécurité pour les contrats intelligents, a annoncé qu'elle avait levé 36 millions de dollars lors d'un cycle de série B dirigé par Jump Crypto.
Le cycle a comporté la participation de Tiger Global, Galaxy Digital et d'investisseurs existants de série A, notamment Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase et VMware, selon un communiqué publié mardi.
Certora permet aux développeurs de contrats intelligents de détecter les erreurs avant de déployer les post-audits de code. Les protocoles DeFi, notamment Aave, Balancer, Compound Finance, MakerDao, Sushi et d'autres, utilisent Certora pour protéger leurs contrats intelligents contre les bugs avant le lancement en tant que point de contrôle final après la fin d'un audit de code, indique le communiqué.
L'entreprisedit qu'il sécurise environ 50 milliards de dollars dans des projets de financement décentralisé (DeFi) avec des techniques similaires à celles utilisées pour les programmes critiques pour la sécurité tels que les logiciels d'avionique. La technologie de Certora a été développée au cours de deux décennies de recherche universitaire sur la vérification formelle et les langages de programmation.
Saurabh Sharma, associé et responsable des investissements chezSauter la crypto, a déclaré : « 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éutilisation beaucoup plus élevée et des tests granulaires.
Certora est dirigé par Shmuel Sagiv, titulaire d'une chaire d'informatique à l'Université de Tel Aviv et pionnier de la vérification formelle, le domaine de recherche qui alimente la technologie derrière Certora.
L'équipe de Certora, composée de 65 personnes, possède une vaste expérience en mathématiques et en sécurité et comprend des conférenciers de Cornell et de l'Université de Washington, ainsi que des ingénieurs en sécurité de sociétés financières traditionnelles telles que JPMorgan.
