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)
Сумма₽3,03B
Инвесторы
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)
Сумма₽606,02M
Инвесторы
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
Оценка--