Certora
Move fast, break nothing.
Israel · Founded 2018 · $43.2M raised
- Employees
- 51–200
- Founded
- 2018
- Business Model
- B2B
- Website
- certora.com
- Total Funding
- $43.2M
- Last Round
- $36.0M Series BMay 2022
- Rounds
- 2
About
Certora is a smart contract security company that provides formal verification tools and audit services to blockchain protocols. Its flagship product, the Certora Prover, uses mathematical techniques to check every possible contract state and execution path, identifying critical vulnerabilities before deployment. The open-source Prover supports Solidity (Ethereum), Rust (Solana), and Stellar, and integrates into CI/CD pipelines for continuous security verification. Certora has protected over $100B in total value locked (TVL) across leading DeFi protocols including Aave, Uniswap, Lido, and Compound. Founded in 2018 by pioneers in programming languages and formal methods, the company also runs community audit contests in partnership with platforms like Code4rena.
Summary
Certora is a Crypto & Web3 company based in Israel, founded in 2018. It has raised $43.2M in total across 2 rounds, most recently a $36.0M Series B round in May 2022. Investors include Electric Capital, Jump Crypto and Tiger Global.
Tech & App Stack
2 technologies & apps tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Funding History
May 2022
Sign up to see all 2 rounds
Series A through Series B — per-round amounts, valuations, and who invested in each round.
Investors
Similar Companies
Fireblocks provides digital asset and stablecoin infrastructure, enabling organizations to secure...
Leading hardware wallet and security platform for managing cryptocurrency and digital assets, ser...
Chainalysis is a blockchain data platform providing compliance, investigation, and analytics tool...
Blockchain software company that developed the EOS.IO protocol, raising $4B+ in a record-breaking...
Regulated institutional-grade cryptocurrency exchange offering spot trading for Bitcoin, Ethereum...
Quest Software provides data management, cybersecurity, and platform-modernization technology tha...
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/certora"><img src="https://indexed.vc/api/badge/company/certora" alt="Certora on Indexed.vc" width="260" height="76" /></a>