Certora
Certora is a blockchain security firm known for deep protocol-level audits across Lending, Liquid Staking, DEX. This profile aggregates its audit record, 3000+ findings and notable clients, so you can evaluate fit before requesting a competitive quote through Procur3.
- Audits
- 300+
- across 8+ years
- Findings logged
- 3000+
- all severities
- Crit + high + med
- 1250
- material findings
Overview
About Certora
Founded in 2018, Certora is a blockchain security firm specialising in smart contract audits and protocol-level security reviews. The team works primarily in Solidity, Rust, Vyper and Soroban, covering engagements across Ethereum, Solana, Polygon and related ecosystems. Core areas of expertise include Lending, Liquid Staking, DEX, CDP/Stablecoin.
With 300+ audits on record, Certora has worked with notable protocols including Aave, Compound, Lido, Safe. The firm's review history provides a transparent track record that teams can evaluate before engaging.
Certora is tracked on Procur3's auditor directory. Teams can compare their profile, stats and track record against other firms before requesting a quote.
- Languages
- Solidity, Rust, Vyper, Soroban
- Chains
- Ethereum, Solana, Polygon, Base, Aptos, Sui
- Expertise
- Lending, Liquid Staking, DEX, CDP/Stablecoin, Multisig & Wallet, Infrastructure
- Services
- Smart Contract Audit, Formal Verification, Security Consulting, Fix Review, CI/CD Integration and Rule Delivery
Track record
Findings by severity
| Critical, high & medium | 1250 | 41.7% |
| Low, informational & other | ~1,750 | 58.3% |
Across 300+ audits, Certora has logged 3000+ findings, of which 1250 were rated critical, high or medium, roughly 42% of the total.
Certora publishes no low and informational count; that row is the total minus the crit/high/med figure.
Figures are updated periodically and may not include every engagement. Severity labels follow each report's own classification.
Selected work
Notable clients
- AaveLending
- CompoundLending
- LidoLiquid Staking
- SafeMultisig & Wallet
- SquadsMultisig
FAQ
Questions about Certora
Where can I find Certora's audit reports?
Certora publishes its audit reports at github.com/Certora/SecurityReports.
What does Certora audit?
Certora lists Smart Contract Audit, Formal Verification, Security Consulting, Fix Review and CI/CD Integration and Rule Delivery across Solidity, Rust, Vyper and Soroban, and has published work on Ethereum, Solana, Polygon, Base, Aptos and Sui.
How much does a Certora audit cost?
Procur3 doesn't hold published pricing for Certora. Audit cost depends on scope, code size and the depth of review. See smart contract audit cost 2026 for typical ranges, or get an indicative figure from the audit cost calculator.
How do I get a quote from Certora?
Certora doesn't quote through Procur3. You can contact them through their website, or post your scope to get quotes from matched firms.
Compare
Similar audit firms
OtterSecRust, Solidity, Move · 200 auditsOtterSec audit profileRequest a quote
VulSightSolidity, Rust, Move · 10+ auditsVulSight audit profileRequest a quote
Adevar Labs Inc.Solidity, Rust, Move · 100+ auditsAdevar Labs Inc. audit profileRequest a quote.png)
MixBytesSolidity, Rust, Vyper · 300+ auditsMixBytes audit profileRequest a quote
Ready to work with Certora?
Post your scope once.Matched firms quote it competitively; you compare and award.