Schnell nehmen
- Certora hat in einer von Jump Crypto angeführten Serie-B-Runde mit Beteiligung von Tiger Global und Galaxy Digital 36 Millionen US-Dollar aufgebracht.
- Das in Israel ansässige Unternehmen bietet Sicherheitsanalysetools für intelligente Blockchain-Verträge an.
Certora, ein in Israel ansässiges Unternehmen, das Sicherheitsanalysetools für intelligente Verträge anbietet, gab bekannt, dass es in einer von Jump Crypto angeführten Serie-B-Runde 36 Millionen US-Dollar gesammelt hat.
An der Runde nahmen laut einer Erklärung vom Dienstag Tiger Global, Galaxy Digital und bestehende Investoren der Serie A teil, darunter Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase und VMware.
Certora ermöglicht es Smart-Contract-Entwicklern, Fehler zu erkennen, bevor Code-Post-Audits durchgeführt werden. DeFi-Protokolle wie Aave, Balancer, Compound Finance, MakerDao, Sushi und andere verwenden Certora, um ihre Smart Contracts vor dem Start als letzten Kontrollpunkt vor Fehlern zu schützen, nachdem ein Code-Audit abgeschlossen ist, heißt es in der Erklärung.
Die Firmasagt, dass es etwa 50 Milliarden US-Dollar an dezentralisierten Finanzprojekten (DeFi) mit Techniken sichert, die denen ähneln, die für sicherheitskritische Programme wie Avioniksoftware verwendet werden. Die Technologie von Certora wurde durch zwei Jahrzehnte akademischer Forschung in formaler Verifikation und Programmiersprachen entwickelt.
Saurabh Sharma, Partner und Leiter der Investments beiKrypto springen, sagte: „Mit Unterstützung von Weltklasse-Experten nutzt Certora die formelle Verifizierung, um eine Reihe skalierbarer und robuster Produkte einzusetzen, die eine viel höhere Wiederverwendbarkeit und granulare Tests bieten.“
Certora wird von Shmuel Sagiv geleitet, Informatik-Lehrstuhlinhaber an der Universität Tel Aviv und Pionier der formalen Verifikation, dem Forschungsgebiet, das die Technologie hinter Certora antreibt.
Das 65-köpfige Team von Certora verfügt über umfassende Mathematik- und Sicherheitserfahrung und umfasst Dozenten von Cornell und der University of Washington sowie Sicherheitsingenieure von traditionellen Finanzunternehmen wie JPMorgan.
