How much funding has Certora raised?

Certora has raised $43.2M in total funding, most recently a Series B round.

Who are Certora's investors?

Certora's investors include Electric Capital, Jump Crypto, Tiger Global, Coinbase Ventures, Uncorrelated Ventures.

Where is Certora headquartered?

Certora is headquartered in Israel.

What industry is Certora in?

Certora operates in Crypto & Web3, Cybersecurity.

Certora

Move fast, break nothing.

Israel · Founded 2018 · $43.2M raised

Crypto & Web3

Cybersecurity

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.