BTC

$64077.955

2.45%

ETH

$3131.234

0.90%

BNB

$587.485

0.66%

XRP

$0.532

0.03%

Aktuelles

Certora hat 36 Millionen US-Dollar in einer Serie-B-Finanzierungsrunde unter der Leitung von Jump Crypto eingesammelt

17. Mai 2022 – Ungefähr 2 min Minuten zum Lesen
Certora

Certora hat 36 Millionen US-Dollar in einer Serie-B-Finanzierungsrunde unter der Leitung von Jump Crypto eingesammelt

Certora, ein in Israel ansässiges Unternehmen, das intelligente Analysetools für die Vertragssicherheit anbietet, hat sich in einer von Jump Crypto angeführten Serie-B-Runde 36 Millionen US-Dollar gesichert.

Laut einer am Dienstag veröffentlichten Erklärung beteiligten sich Tiger Global, Galaxy Digital und aktuelle Investoren der Serie A wie Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase und VMware an der Runde.

Certora ermöglicht es Smart-Contract-Entwicklern, Fehler zu identifizieren, bevor sie nach Prüfungen Code bereitstellen. Laut Aussage wird Certora von DeFi-Protokollen wie Aave, Balancer, Compound Finance, MakerDao, Sushi und anderen verwendet, um ihre Smart Contracts vor dem Start vor Fehlern zu schützen.

Nach Angaben des Unternehmens hat es rund 50 Milliarden US-Dollar an dezentralen Finanzprojekten (DeFi) gesichert und dabei Techniken eingesetzt, die denen ähneln, die in sicherheitskritischen Systemen wie Avioniksoftware eingesetzt werden. Die Technologie von Certora ist das Ergebnis von zwei Jahrzehnten akademischer Arbeit im Bereich der formalen Verifizierung und Programmiersprachen.

Saurabh Sharma, Partner und Head of Investments bei Jump Crypto, sagte: „Certora wird von erstklassigen Experten unterstützt und nutzt die formale Verifizierung, um eine Reihe skalierbarer und robuster Produkte einzusetzen, die eine viel höhere Wiederverwendbarkeit und detaillierte Tests bieten.“

Shmuel Sagiv, Lehrstuhlinhaber für Informatik an der Universität Tel Aviv und Pionier der formalen Verifizierung, dem akademischen Fach, das die Technologie von Certora unterstützt, ist der Gründer des Unternehmens.

Zum 65-köpfigen Team von Cetora gehören Akademiker von Cornell und der University of Washington sowie Sicherheitsingenieure von traditionellen Bankinstituten wie JPMorgan.

HAFTUNGSAUSSCHLUSS: Die Informationen auf dieser Website dienen als allgemeine Marktkommentare und stellen keine Anlageberatung dar. Wir empfehlen Ihnen, vor einer Investition eigene Recherchen durchzuführen.

Melden Sie sich bei CoinCu Telegram an, um Neuigkeiten zu verfolgen: https://t.me/coincunews

Folgen Sie dem Youtube-Kanal von CoinCu | Folgen Sie der Facebook-Seite von CoinCu

Hasel

CoinCu-Neuigkeiten

Aktuelles

Certora hat 36 Millionen US-Dollar in einer Serie-B-Finanzierungsrunde unter der Leitung von Jump Crypto eingesammelt

Certora

Certora hat 36 Millionen US-Dollar in einer Serie-B-Finanzierungsrunde unter der Leitung von Jump Crypto eingesammelt

Certora, ein in Israel ansässiges Unternehmen, das intelligente Analysetools für die Vertragssicherheit anbietet, hat sich in einer von Jump Crypto angeführten Serie-B-Runde 36 Millionen US-Dollar gesichert.

Laut einer am Dienstag veröffentlichten Erklärung beteiligten sich Tiger Global, Galaxy Digital und aktuelle Investoren der Serie A wie Electric Capital, ACapital, Framework Ventures, Coinfund, Lemniscap, Coinbase und VMware an der Runde.

Certora ermöglicht es Smart-Contract-Entwicklern, Fehler zu identifizieren, bevor sie nach Prüfungen Code bereitstellen. Laut Aussage wird Certora von DeFi-Protokollen wie Aave, Balancer, Compound Finance, MakerDao, Sushi und anderen verwendet, um ihre Smart Contracts vor dem Start vor Fehlern zu schützen.

Nach Angaben des Unternehmens hat es rund 50 Milliarden US-Dollar an dezentralen Finanzprojekten (DeFi) gesichert und dabei Techniken eingesetzt, die denen ähneln, die in sicherheitskritischen Systemen wie Avioniksoftware eingesetzt werden. Die Technologie von Certora ist das Ergebnis von zwei Jahrzehnten akademischer Arbeit im Bereich der formalen Verifizierung und Programmiersprachen.

Saurabh Sharma, Partner und Head of Investments bei Jump Crypto, sagte: „Certora wird von erstklassigen Experten unterstützt und nutzt die formale Verifizierung, um eine Reihe skalierbarer und robuster Produkte einzusetzen, die eine viel höhere Wiederverwendbarkeit und detaillierte Tests bieten.“

Shmuel Sagiv, Lehrstuhlinhaber für Informatik an der Universität Tel Aviv und Pionier der formalen Verifizierung, dem akademischen Fach, das die Technologie von Certora unterstützt, ist der Gründer des Unternehmens.

Zum 65-köpfigen Team von Cetora gehören Akademiker von Cornell und der University of Washington sowie Sicherheitsingenieure von traditionellen Bankinstituten wie JPMorgan.

HAFTUNGSAUSSCHLUSS: Die Informationen auf dieser Website dienen als allgemeine Marktkommentare und stellen keine Anlageberatung dar. Wir empfehlen Ihnen, vor einer Investition eigene Recherchen durchzuführen.

Melden Sie sich bei CoinCu Telegram an, um Neuigkeiten zu verfolgen: https://t.me/coincunews

Folgen Sie dem Youtube-Kanal von CoinCu | Folgen Sie der Facebook-Seite von CoinCu

Hasel

CoinCu-Neuigkeiten

78 Mal besucht, 1 Besuch(e) heute