Certora

Information technology

Data analytics

Developer tools

Ethereum

Polygon

Solana

Global

Share

Link Copied !

About

Certora provides security analysis tools for smart contracts using formal verification (math proofs) to ensure that algorithms are behaving as intended, automating security auditing for DeFi protocols like Lido, MakerDAO, Aave, among others.