Certora Auditor Profile Audits & Metrics

Metrics

Value and users as of March 2026

Critical issues found

48.3bn

Total value secured (TVS)

1.3m

Users protected

Audits (14)

#	Name	Project	Date	Chains	Issues
11	Lido V3 Oracle V7	Lido	2026/01/10	Off-Chain (Private)	No active critical issues
12	Balancer LiquidityBootstrap...	Balancer	2025/02/25	Off-Chain (Private)	No active critical issues
13	Balancer MEV Tax Hook	Balancer	2025/02/12	Off-Chain (Private)	No active critical issues
14	Lido DG	Lido	2025/02/05	Off-Chain (Private)	No active critical issues

About us

Certora builds formal verification tooling, including the Certora Prover, which checks smart contract bytecode against rules describing expected behavior. Its team also performs smart contract audits and writes custom verification rules for clients.

Auditing firm