Audits with
comprehensive coverage
The only audit solution to fully integrate formal verification methods for the widest coverage available.
Featured reports

GMX V2

Aave Vault

TimelockAuthorizer

Lido V2

GHO Stablecoin

Silo Protocol

Compound V3 (Comet)

OpenZeppelin Contracts
See all audit reports
What makes our audits different?
Highest security coverage in web3
We pioneered the use of formal verification in the DeFi space with the launch of Certora Prover, and we incorporates this process into all our audits and verification reports. Utilizing Prover, we're able to offer the highest code coverage available in the industry.
Learn more about formal verification
Re-run when your code changes
During the audit process, our team carefully crafts rules to check that all of your code properties will behave exactly as expected. You'll receive these rules as part of your deliverable to run every time you change your code (requires Prover subscription).

Leading experts in security & formal methods
Our team of security experts have researched and taught formal verification methods in leading universities around the world before diving into the DeFi space. We are here to craft impenetrable rules to ensure the correctness of your code and provide suggestions for improvement.
Our team
Certora gives us so much peace of mind as we develop smart contracts at Syndicate.

Will Papper
Syndicate Protocol
Certora has unlocked TrustToken's ability to iterate quickly while maintaining confidence in the security of our smart contracts.

Yuchen Lin
TrustToken
Formal verification from Certora is the most powerful tool we have to ensure that we are building a secure, impenetrable system.

Jeff Wu
Notional
Audit Process
Determine Scope & Timeline
Share your code with us to determine the complexity and timeline
Specification Writing
A dedicated team of security experts craft formal verification rules for your code
Code Review & Prover
Our experts run the specifications against your code & perform a deep manual audit
Report
Report includes vulnerabilities & specifications for you to use when your code changes
Let's talk about
your audit
Audit
Our team of security experts will analyze your code
- Manual review
- Formal verification
- Custom audit report
- Reusable rules
Certora Prover
Run our formal verification tool for free
- Up to 2,000 min/month runtime
- Write your own rules
- Limited support
Enterprise
Ongoing analysis & verification of your code as you build it
- Unlimited audits
- Our experts write rules for your code
- Unlimited Prover access
- Training & dedicated support
- Incident response