Certora

Certora is a blockchain security company that provides formal verification tools and smart contract audit services to secure decentralized applications with mathematical certainty. The company's flagship product, Certora Prover, compares smart contract bytecode against user-defined rules specifying expected code behavior, checking every possible contract state and execution path to identify critical vulnerabilities that hackers can exploit. The Prover integrates into development pipelines to run on every commit, enabling continuous security verification throughout the development lifecycle. Certora also offers Gambit, a complementary security tool, and provides dedicated security audit services with formal verification experts who write custom rules tailored to specific contract requirements. The company engages its community through crowdsourced formal specification contests run with platforms like Code4rena, and supports multiple blockchain ecosystems including Solana, Stellar, and Sui. Certora's technology protects over $100B in total value locked across DeFi protocols, serving developers, protocols, and enterprises that require provable security guarantees for their smart contracts. The platform supports Solidity and other smart contract languages, with formal specifications written in Certora's domain-specific specification language. Founded in 2012 and headquartered in Tel Aviv, Israel, Certora has raised $43.2M in Series B funding from investors including Electric Capital, Jump Crypto, Tiger Global Management, Galaxy, A.Capital Ventures, Framework Ventures, CoinFunda, Lemniscap, Coinbase, VMware, ventures.coinbase.com, and Tola Capital.