Certora

智能合约安全公司

被关注9.37 K

正在关注309

影响力指数470

相关报道

Balancer and Certora Launch Security Accelerator | by Orb | Balancer Protocol | Oct, 2022 | Medium

Medium 2022-10-10

Certora Raises $36M for Smart Contract Security Tools

Coindesk 2022-05-17

Scaling Smart Contract Security: Why We Invested in Certora

Https://twitter.com/jump_/ 2022-05-17

同类项目

*不可点击时，表示无详情数据展示

区块链安全公司

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

Web3 网络安全审计公司

Web3 安全研究公司

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

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

区块链安全公司

区块链安全公司

关于Certora

成立时间

2019

社区

标签

安全解决方案

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

团队成员

Mooly Sagiv首席执行官

投资方

Jump Crypto

Coinbase Ventures

Tiger Global

Galaxy Digital

Electric Capital

Framework Ventures

Lemniscap

CoinFund

Hypersphere Ventures

Semantic Ventures

A.Capital

VMware

Balaji Srinivasan

Stani Kulechov

Eli Ben-Sasson

Uri Kolodny

Elad Gil

S

Scott Shenker

投融资详情

轮次	金额	估值	日期	投资方
B轮	$36.00M	--	2022-05-16	Jump Crypto* Coinbase Ventures + 5
A轮	$7.20M	--	2021-05-20	Electric Capital* Coinbase Ventures + 13