Certora is a leader in the Web3 security space. Certora’s smart contract test and security product leverages formal verification methods to check and analyze blockchain-based smart contracts against a set of rules and specifications. Certora secures over $30B+ of TVL and major DeFi protocols including Aave, Compound, and Maker.