Certora

智能合约安全公司

Certora

Certora

@Certora

ファン11,399

フォロー324

インフルエンス指数521

類似プロジェクト

*クリックできない場合は、詳細情報がないことを意味します。

CertiK

区块链安全公司

慢雾Slowmist

区块链安全公司

MetaTrust

面向 Web3 应用程序的自动化安全扫描解决方案

Quantstamp

区块链安全公司

OpenZeppelin

加密网络安全技术和服务公司

sec3

Web3 安全研究公司

Hacken

Web3 网络安全审计公司

Veridise

使用形式化方法加强区块链安全性

Certoraについて

設立2019

Certora 是一家智能合约安全公司，旨在帮助开发人员在部署代码之前检测和防止安全错误。 . Certora 拥有称为 Certora Prover 的独特技术，能够在编译时检查智能合约的所有执行是否满足一组安全规则。

コミュニティ

LinkedIn

Twitter

Website

タグ

安全解决方案

安全审计

ホットインデックス変動トレンド

チームメンバー

Mooly Sagiv

Mooly Sagiv

首席执行官

Saurabh Sharma

Saurabh Sharma

董事会成员

Tomer Ganor תומר גנור

Tomer Ganor תומר גנור

安全工程与研究技术主管

Uri Kolodny

Uri Kolodny

顾问和天使投资人

AliceAndBob

AliceAndBob

工作人员

John Toman

高级技术研究员

投資家

Jump Crypto

Jump Crypto

Coinbase Ventures

Coinbase Ventures

Tiger Global

Tiger Global

Galaxy

Galaxy

Electric Capital

Electric Capital

Framework Ventures

Framework Ventures

Lemniscap

Lemniscap

CoinFund

CoinFund

Hypersphere Ventures

Hypersphere Ventures

Semantic Ventures

Semantic Ventures

A.Capital

A.Capital

VMware

VMware

Balaji Srinivasan

Balaji Srinivasan

Stani Kulechov

Stani Kulechov

Eli Ben-Sasson

Eli Ben-Sasson

Uri Kolodny

Uri Kolodny

Elad Gil

Elad Gil

Scott Shenker

資金調達の詳細

B轮(2022-05-16)

金額：¥5.74B

投資家：

Jump Crypto

Jump Crypto

Coinbase Ventures

Coinbase Ventures

Tiger Global

Tiger Global

Galaxy

Galaxy

Electric Capital

Electric Capital

Framework Ventures

Framework Ventures

Lemniscap

Lemniscap

評価額：--

A轮(2021-05-20)

金額：¥1.14B

投資家：

Electric Capital

Electric Capital

Coinbase Ventures

Coinbase Ventures

CoinFund

CoinFund

Framework Ventures

Framework Ventures

Hypersphere Ventures

Hypersphere Ventures

Lemniscap

Lemniscap

Semantic Ventures

Semantic Ventures

A.Capital

A.Capital

VMware

VMware

Balaji Srinivasan

Balaji Srinivasan

Stani Kulechov

Stani Kulechov

Eli Ben-Sasson

Eli Ben-Sasson

Uri Kolodny

Uri Kolodny

Elad Gil

Elad Gil

Scott Shenker

評価額：--