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.
Fundraising
Significant Events
2022-05-17
Certora raised $ 36 M in Series B round
2021-05-21
Certora raised $ 7.2 M in Series A round
Similar Projects
Risk DAO
Research & Risk analysis for DeFi lending protocols
MixBytes
Blockchain solution advisory company
Stela Labs
Smart contract auditing and development firm
OpenZeppelin
Crypto cybersecurity technology and services company
CertiK
Blockchain security company
Slowmist
Blockchain security company
Quantstamp
Blockchain security company
Halborn
Blockchain cybersecurity firm