Details
Certora 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
Fundraising
How do you feel about Certora today?
Total Votes 1307
0 comments


Significant Events
May, 2022
Certora raised $ 36 M in Series B round
May, 2021
Certora raised $ 7.2 M in Series A round
Similar Projects

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 company