Certora company
Overview
Formal verification specialist Certora provides tools that mathematically prove code correctness rather than relying on behavioural sampling. Its main offering, the Certora Prover, checks smart contract bytecode against a written specification, scanning all possible contract states and execution paths for rule breaches, and can be integrated into a development pipeline to run on each commit. In addition to the self-service Prover, the firm offers audits carried out by a dedicated team of formal verification engineers who draft the specification rules themselves, and it hosts community competitions via crowdsourced audit platforms like Code4rena. A further product, Gambit, broadens the suite. Certora reports that protocols it safeguards represent over $100 billion in total value locked, citing MakerDAO, Lido, Aave, Compound and Balancer as clients, spanning the Ethereum and Solana networks. Its motto is 'move fast, break nothing.'
Within The Counterparty graph, Certora connects to 16 tracked entities, most strongly to Aave, Morpho Blue, Aave v4.
Relations
Top connections in The Counterparty knowledge graph (confidence-weighted, 10 of 16 total).
| Relation | Connected entity | Confidence |
|---|---|---|
audit_partner | Aave | 95% |
audited_by | Morpho Blue | 95% |
audited_by | Aave v4 | 95% |
maintained_by | Certora Prover | 95% |
audited_by | Lido | 90% |
audited_by | Aave V3 | 90% |
audited_by | Uniswap V4 | 90% |
audited_by | Compound V3 | 90% |
audit_partner | Uniswap | 85% |
audited_by | Euler V2 | 85% |
Frequently asked questions
What is Certora?
Certora is an audit-firm tracked in The Counterparty knowledge graph. It is connected to 16 other tracked entities, most strongly to Aave, Morpho Blue, Aave v4.
What type of entity is Certora?
Certora is classified as an audit-firm (company) in The Counterparty knowledge graph.
What is Certora connected to?
In The Counterparty knowledge graph, Certora is linked to 16 other tracked entities, most strongly to Aave, Morpho Blue, Aave v4.
Sources
Facts in this record were checked against the following. Where a claim is not covered here, the record states only what the graph holds.