Certora builds formal verification tools for smart-contract security, notably its Prover product that finds rule violations or formally proves their absence. The Prover is designed to complement human audits and bug bounties and has identified bugs in Aave, Compound, Balancer and SushiSwap, often before deployment. Certora currently secures about $50 billion of DeFi assets and today supports only EVM-compatible blockchains. The company plans to port its flaw-detection technology to new blockchains, with Solana next and then Polkadot, and has stated a goal to cover all blockchains within the next year. Leadership includes Shmuel Mooly Sagiv, a pioneer of formal verification and chair of computer science at Tel Aviv University. The firm recently raised a $36 million Series B to fund development and blockchain expansion.

Total raised

$36M

Funding rounds

1

Latest round

Series B

Latest activity

May 2022