Certora

智能合约安全公司

關於 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
John Toman

高级技术研究员

投資方

Jump Crypto
Jump Crypto
Coinbase Ventures
Coinbase Ventures
Tiger Global
Tiger Global
Galaxy Digital
Galaxy Digital
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
Scott Shenker

投融資詳情

B轮(2022-05-16)
金額$11.56億
投資方
Jump Crypto
Jump Crypto
Coinbase Ventures
Coinbase Ventures
Tiger Global
Tiger Global
Galaxy Digital
Galaxy Digital
Electric Capital
Electric Capital
Framework Ventures
Framework Ventures
Lemniscap
Lemniscap
估值--
A轮(2021-05-20)
金額$2.31億
投資方
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
Scott Shenker
估值--