Certora
Smart contract security firm
Certora
@CertoraFollowers9.37 K
Following309
Influence Index470
Related News
Similar Projects
*If it’s not clickable, it means no detailed information is available.
CertiK
Blockchain security company
MetaTrust
Automatic security scanning solution for Web3 Applications
Hacken
Web3 cybersecurity auditor
sec3
Web3 Security research firm
Veridise
Hardening blockchain security with formal methods
OpenZeppelin
Crypto cybersecurity technology and services company
Slowmist
Blockchain security company
Quantstamp
Blockchain security companyCertora is a smart contract security firm designed to help developers detect and prevent security mistakes before code is deployed. They have a unique technology called Certora Prover, which is capable of checking at compile-time that all executions of a Smart Contract fulfill a set of security rules.
Team Members
Mooly SagivCEO
Investors
Jump Crypto
Coinbase Ventures
Tiger Global
Galaxy
Electric Capital
Framework Ventures
Lemniscap
CoinFund
Hypersphere Ventures
Semantic Ventures
A.Capital
VMware
Balaji Srinivasan
Stani Kulechov
Eli Ben-Sasson
Uri Kolodny
Elad GilS
Scott ShenkerFundrasing details
| Funding Round | Amount | Valuation | Date | Investors |
|---|---|---|---|---|
Series B | $36.00M | -- | 2022-05-16 |  Jump Crypto* Coinbase Ventures+ 5 |
Series A | $7.20M | -- | 2021-05-20 |  Electric Capital*Coinbase Ventures+ 13 |