クイックテイク
- Certoraは、TigerGlobalとGalaxyDigitalの参加を得て、JumpCryptoが主導するシリーズBラウンドで3600万ドルを調達しました。
- イスラエルを拠点とするこの会社は、ブロックチェーンスマートコントラクト用のセキュリティ分析ツールを提供しています。
スマートコントラクトのセキュリティ分析ツールを提供するイスラエルを拠点とする企業であるCertoraは、JumpCryptoが主導するシリーズBラウンドで3600万ドルを調達したと発表しました。
火曜日の声明によると、このラウンドでは、Tiger Global、Galaxy Digital、およびElectric Capital、ACapital、Framework Ventures、Coinfund、Lemniscap、Coinbase、VMwareなどの既存のシリーズA投資家が参加しました。
Certoraを使用すると、スマートコントラクトの開発者は、監査後のコードを展開する前に間違いを検出できます。 声明によると、Aave、Balancer、Compound Finance、MakerDao、SushiなどのDeFiプロトコルは、コード監査が完了した後の最終チェックポイントとして、ローンチ前にスマートコントラクトをバグから保護するためにCertoraを使用しています。
会社アビオニクスソフトウェアなどのセーフティクリティカルプログラムに使用されるものと同様の技術を使用して、分散型ファイナンス(DeFi)プロジェクトで約500億ドルを確保すると述べています。 Certoraのテクノロジーは、フォーマル検証およびプログラミング言語での20年にわたる学術研究を通じて開発されました。
Saurabh Sharma、パートナー兼投資責任者ジャンプクリプト、次のように述べています。「世界クラスの専門家を活用したCertoraは、フォーマル検証を活用して、はるかに高い再利用性と詳細なテストを提供するスケーラブルで堅牢な製品スイートを採用しています。」
Certoraは、テルアビブ大学のコンピューターサイエンスチェアであり、Certoraの背後にあるテクノロジーを強化する研究分野であるフォーマル検証のパイオニアであるShmuelSagivによって率いられています。
Certoraの65人のチームは、数学とセキュリティの豊富な経験があり、コーネル大学とワシントン大学の講師、およびJPMorganなどの従来の金融会社のセキュリティエンジニアが含まれています。