Certora
Move fast, break nothing.
Certora was founded in 2018, is headquartered in Israel, lists 51–200 employees, and has $43.2M in recorded funding across 2 rounds.
- Employees
- 51–200
- Founded
- 2018
- Business Model
- B2B
- Website
- certora.com
- Total Funding
- $43.2M
- Last Round
- $36.0M Series BMay 2022
- Rounds
- 2
Totals include recorded grants and other qualifying funding, not just equity. What counts toward funding.
Indexed holds 2 funding rounds and 5 investors for this company. The full record is or through the API.
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 lists 51–200 employees. 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
3 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 events
Funding: Series A through Series B. Amounts, valuations, and investors where available.
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...
Regulated institutional-grade cryptocurrency exchange offering spot trading for Bitcoin, Ethereum...
Appears in
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>