Certora
4.7/5 Founded 2017 Team: 50+ $$$
About
Formal verification-focused firm that created the Certora Prover, now free and open-source. 7+ years of development securing $100B+ in TVL across Aave, MakerDAO, Uniswap, and Lido. Unlike testing which samples execution paths, Certora mathematically proves correctness for all possible states.
Specialties
formal verification smart contracts defi protocol design
Supported Chains
ethereum polygon arbitrum optimism solana stellar
Notable Audits
Aave MakerDAO Uniswap Lido Compound
Turnaround
6-12 weeks
Team Size
50+
Public Reports
Yes