Certora
About
Certora provides a formal verification platform for smart contracts, enabling developers to ensure the correctness and security of their blockchain applications. By applying modular formal verification techniques, Certora helps identify bugs and vulnerabilities before deployment, reducing risks and building trust in decentralized systems.
Key facts
At-a-glance profile data
- Website
- certora.com
- Headquarters
- Tel Aviv, Israel
- Founded
- 2018
- Employees
- 92
- Total funding
- $36M (Series B)
- Business model
- B2B
Funding rounds
| Date | Round | Amount | Lead investors |
|---|---|---|---|
| 7 May 2022 | Series B | $36M | Jump Crypto |
Tech stack
Detected on certora.com, last scanned 13 Jun 2026. Run your own scan
- Frontend
- Next.js, Tailwind CSS, Bootstrap
- CDN
- Cloudflare, Vercel
- Email provider
- Google Workspace
Add first review
Frequently asked
How much funding has Certora raised?
Certora has raised a total of $36M in funding. The most recent round on record is Series B.
How many employees does Certora have?
Certora has approximately 92 people on record.
What is Certora's current status?
Certora's current operating status is: Inactive.