CertoraがJump Crypto主導のシリーズB資金調達ラウンドで36万ドルを調達
スマートコントラクトのセキュリティ分析ツールを提供するイスラエルに本拠を置く企業Certoraは、Jump Cryptoが主導するシリーズBラウンドで36万ドルを確保した。
火曜日に発表された声明によると、Tiger Global、Galaxy Digital、そしてElectric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMwareなどの現在のシリーズA投資家がこのラウンドに参加した。
Certora を使用すると、スマート コントラクト開発者は、監査後にコードをデプロイする前にエラーを特定できます。声明によると、Certoraは、Aave、Balancer、Compound Finance、MakerDao、SushiなどのDeFiプロトコルで、スマートコントラクトをリリース前にバグから保護するために使用されているという。
同社によると、アビオニクスソフトウェアなどの安全性が重要なシステムで利用されているものと同様の技術を使用し、分散型金融(DeFi)プロジェクトで約50億ドルを確保したという。 Certora のテクノロジーは、形式検証とプログラミング言語に関する XNUMX 年にわたる学術研究の成果です。
Jump Crypto のパートナー兼投資責任者である Saurabh Sharma 氏は次のように述べています。「世界クラスの専門家の力を借りて、Certora は形式的検証を利用して、より高い再利用性と詳細なテストを提供する拡張性と堅牢性を備えた一連の製品を採用しています。」
Shmuel Sagiv 氏は、テルアビブ大学のコンピューター サイエンスの教授であり、Certora のテクノロジーを支える学問である形式的検証の先駆者であり、同社の創設者です。
Cetora の 65 人チームには、コーネル大学とワシントン大学の学者だけでなく、JP モルガンなどの伝統的な銀行機関のセキュリティ エンジニアも含まれています。
免責事項: このウェブサイトの情報は一般的な市場解説として提供されており、投資アドバイスを構成するものではありません。投資する前に、ご自身で調査を行うことをお勧めします。
CoinCu Telegramに参加して、ニュースを追跡します。 https://t.me/coincunews
CoinCuYoutubeチャンネルをフォローする | CoinCuFacebookページをフォローする
ヘイゼル
CoinCuニュース