Provider at a glance
- Category
- Smart-Contract Audits
- Entity
- Not verified
- Official website
- certora.com
Independent rankingchecked How it works
Details
Scored 82 out of 100 under methodology 2026.10.18, from the evidence read on file.
Certora
Formal verification and audits
Smart-Contract Audits
#1 Overall
Ranked #1 of 9 smart-contract audits in the published ranking
82
ChainChoice Score
The ChainChoice Score, shown against 100: published scores run from 41 to 99.- Low evidence confidence
Is Certora right for you?
Right for you if these matter most
- Method depth for your stack10/10, the category best
- Price transparency7/10; the category best is 8
Look elsewhere if these come first
- Post-audit exploit record4/10 here; Zellic scores 9
- Accountability & reconstructability8/10 here; Trail of Bits scores 10
Not yet tested for your country. Markets it lists: Global.
to test where you can use it.
The rank above is the published one, the same for every reader. Find my best smart-contract audit firm shows where it lands for you.
What will Certora cost you?
Not priced on this basis
- Transactions per year
- 1k
How safe is Certora?
- Evidence: unknown4 of 4 criteria scored; no receipt file yet. The score is provisional until a quoted source is on file.
- LicenceMiCA (EU): no register record on file here.
Alternatives to Certora
Compare all 4- 2Zellic3 points below · stronger on post audit record (9 against 4)79
- 3Sherlock11 points below · stronger on post audit record (5 against 4)71
- 4Trail of Bits11 points below · stronger on accountability (10 against 8)71
For your setup
Find out if Certora fits you
The rank above is the published one — the same for every visitor. Answer the category's questions and this section shows where Certora lands for you, which criteria your answers weight up, and which stated needs the record does or does not meet. The published rank stays beside it.
- A few questions
- No account required
- Ranking-blind: no commercial input
- Personalised in under 60 seconds
Find my best smart-contract audit firmNothing is inferred from clicks, popularity or commercial value.
Why it leads
Why Certora ranks #1
Each strength is read from evidence on a 0–10 ladder and weighted as the published methodology states. The 32 objective points these produce (22.5 here) sit inside the score; availability, friction, trust record and measured data add the rest. Best in this ranking on 1 of 4.
4 published criteria · Σ weight 100
CriterionWeightStrength · 0–10ScoreContrib.MedianBestRankEvidence
324+4.104.09#4/9Loading evidence…
288+7.177.010#2/9Loading evidence…
2410+7.686.010#1/9Loading evidence…
167+3.582.08#2/9Loading evidence…
Hairline = best in this ranking · tick = its median · a missing bar is "not scored", never zero
Margin+3over Zellic, #2
RobustnessHoldsacross a one-point change to each of its 4 criterion scores, the re-run scores 81–82 and stays #1
Evidence4 of 4 scoredno receipt file for this category
What would move the rank
Each line is the ranking run again with one of Certora’s criterion scores changed and every other value held: the smallest whole-point change on that criterion that moves its rank, and where the re-run puts it. Up to 4 climbs and 3 falls are listed, smallest change first. Nothing here is a forecast.
Post-audit exploit record 4 → 2 on its ladder · Zellic passes it−280#1 → #2
Accountability & reconstructability 8 → 5 on its ladder · Zellic passes it−379#1 → #2
Method depth for your stack 10 → 7 on its ladder · Zellic passes it−380#1 → #2
Strengths
2 from the score dataWhere it leads
Best for readers who weight
- Method depth for your stack — 10/10, the category best
- Price transparency — 7/10, category best 8/10
Tradeoffs
2 from the score dataWhere it trails
Not for readers who put first
- Post-audit exploit record — 4/10 against a category best of 9/10
- Accountability & reconstructability — 8/10 against a category best of 10/10
Record watch-outs
- A proof only covers the properties SOMEONE WROTE — spec adequacy is your risk
- Silo: Certora’s review of the Leverage contract did not identify the exploited vulnerability, per its own report
- Balancer V2 (more than $100M, per Trail of Bits): verified properties “were not strong enough to detect the rounding error”
- FV only pays off if your engineers learn CVL or you buy the rule-writing retainer
Competitive position
Where Certora leads and where it trails
Rank on every objective dimension among the rows scored on it. A criterion in the top third of its pool is listed as a lead, the bottom third as a trail; the middle is neither. Popularity, size and commercial terms are not dimensions.
Availability#1 / 914.0 of 20 · constant here
Published criteria#2 / 916.9 of 30 · best 17.0
Friction#4 / 93.3 of 10 · best 5.3
Trust record#1 / 96.4 of 8 · pool best
Measured data#1 / 98.3 of 18 · constant here
Where Certora leads
- Accountability & reconstructability#2 / 9
- Method depth for your stack#1 / 9
- Price transparency#2 / 9
Where it trailsNo criterion in the bottom third of its pool.
Closest alternatives
The 3 nearest rows by score
Nearest by published score in either direction. Each card states the criteria on which the two rows differ and the cost difference under the same scenario inputs; the compare arithmetic below shows why the higher one ranks higher.
Zellic#2 of 9 · score 79 · 3.0 points behind
Certora leads on
- Accountability & reconstructability8 vs 7
- Method depth for your stack10 vs 8
- Price transparency7 vs 2
Zellic leads on
- Post-audit exploit record9 vs 4
Largest single reason Certora is ahead: trust record (+2.1 display points).Scenario cost: Zellic has no verified pricing for this scenario.
Sherlock#3 of 9 · score 71 · 11.0 points behind
Certora leads on
- Method depth for your stack10 vs 5
- Price transparency7 vs 4
Sherlock leads on
- Post-audit exploit record5 vs 4
Largest single reason Certora is ahead: published criteria (+8.6 display points).Scenario cost: Sherlock has no verified pricing for this scenario.
Trail of Bits#4 of 9 · score 71 · 11.0 points behind
Certora leads on
- Post-audit exploit record4 vs 3
- Method depth for your stack10 vs 9
- Price transparency7 vs 3
Trail of Bits leads on
- Accountability & reconstructability10 vs 8
Largest single reason Certora is ahead: friction (+5.2 display points).Scenario cost: Trail of Bits has no verified pricing for this scenario.
Against #2
82 vs 79 · gap 3.0Why Certora ranks above Zellic
DimensionThisZellicGap share
Availability · 23% weight · constant here14.014.0same
Published criteria · 35% weight16.917.0−0.3, worse
Friction · 12% weight3.32.7+1.6, better
Trust record · 9% weight6.45.6+2.1, better
Measured data · 21% weight · constant here8.38.3same
Published criterionThisZellicPoints
Post-audit exploit record · w3249−5.12, worse
Accountability & reconstructability · w2887+0.90, better
Method depth for your stack · w24108+1.54, better
Price transparency · w1672+2.56, better
Net8279+3.0
Your scenario
Certora is not priced for this scenario
The cheapest published tier that covers your usage. List price before any discount; add-ons priced separately are excluded. Change an input and every figure recomputes from the published rate; the published rank does not move.
your cost/yr · default scenario — set your own
Transactions per year · your input1k
Rate read from the provider’s published pricing ↗ on 14 September 2026.
your cost/yrCost is stated as your cost/yr in USD; it is never a yield, never annualised, and it does not enter the score.
Not priced on this basis
Under the default inputs · USDCategory medianNot priced0 of 9 rows priced
Cheapest pricedNone pricedDifference not stated · availability not applied — set your country to filter
9 of 9 rows in this ranking have no verified rate for this scenario and are absent from the median, not counted as free.
Evidence
No evidence reading date recorded
One row per published criterion: the page each strength was read from, its source type by domain, the reading date and whether the file and the published table agree. Open a row for the quote and the receipt.
4 of 4 cells scored
Score evidenceUnknownno observation on file
No structured observation on file for this category; the strengths are the catalog’s published values.Public receiptsReading…category publishes no receipt file
The receipt file has not been read yet.Evidence confidenceNot yet ratedcoverage and corroboration, never freshness
No structured observation on file for this category; the receipt count is not counted.RobustnessHoldsrank #1 across every one-point re-run
Whether the position holds when one criterion score is changed by one point and the ranking is run again. It is always a re-run of the ranking, never an estimate.No structured observation is on file for this provider in this category; the strengths are the catalog’s published values.
9 listed rows in this category still await an evidence read and sit outside the scored pool.
Reading the evidence ledger…
CriterionSourceTypeReadFreshnessStatusReceipt
Post-audit exploit recordstrength 4 · weight 32Report an error——
Unknown
No reading date is recorded for this cell or its category.No receipt
A strength is published but no quote or source page is on file for it.Accountability & reconstructabilitystrength 8 · weight 28Report an error——
Unknown
No reading date is recorded for this cell or its category.No receipt
A strength is published but no quote or source page is on file for it.Method depth for your stackstrength 10 · weight 24Report an error——
Unknown
No reading date is recorded for this cell or its category.No receipt
A strength is published but no quote or source page is on file for it.Price transparencystrength 7 · weight 16Report an error——
Unknown
No reading date is recorded for this cell or its category.No receipt
A strength is published but no quote or source page is on file for it.How you can lose money here, and what the ranking scores
- Contract failure (Certora 4/10): the code holding the funds is exploited.Scored by Post-audit exploit record · 32%
- Information failure (Certora 8/10): the number is wrong or bought, or your data leaks.Scored by Accountability & reconstructability · 28%
Not assessed by this ranking: Liveness failure, Exit failure. A high place says nothing about these; the Methodology tab says what each means. Also scored, as cost, quality or a summary of several families: Method depth for your stack (24%), Price transparency (16%).
Facts
facts, not scoresWhat the record publishes
- Pricing
- Only the entry tier carries a published price (re-read 14 September 2026): Basic is free with 'Up to 2,000 min/month runtime' and 'Write your own rules'. Premium (unlimited Prover access, setup and onboarding, up to 10 team members, specification review) and Enterprise ('Audit + formal verification retainer', 'Our experts write rules for your code', incident response) are both 'Contact Us' — the cost of an actual audit or formal-verification engagement is not published.Certora pricing page ↗ · 14 September 2026
- Prices published in
- USDCertora pricing page ↗ · 14 September 2026
- Licences held
- Not published
- Compliance level
- partial
- Regulatory note
- Not published
- Supported chains
- EVM, Solana
- Markets served
- global
- Primary markets
- Protocol teams and institutional builders
- Restricted markets
- Not published
- Operating limits
- Free tier: 2,000 Prover minutes/month. Premium and Enterprise are sales-gated.
- Availability note
- Global except sanctioned persons and jurisdictions (per Certora's terms); self-serve at the free tier, 'Contact Us' above it.
No confirmed legal entity is on file for this record. Nothing is inferred from the brand name.
If something goes wrong with Certora: where to complain, and where to report a scam
Loading the routes for your country.
How this page is reviewed
Reviewed means this product in this category was read against its sources on or after that date; every ranked category is re-read at least every 45 days. Models research, extract and parse. A deterministic engine ranks. Every quote passes an adversarial refute pass.
Accountable for this review: Mathias Siemonsmeier, Founder.
How we review · Review calendar · Corrections log · How we make money
History
What the record carries
Changes to published ranks are recorded in a ledger; every step and its cause is listed on the rank-history page. The entries below begin with the current verified snapshot, then the methodology versions whose changes applied to this category, newest first.
10 methodology entries
- currentCurrent verified snapshot · methodology 2026.10.18Score 82, #1 of 9. 4 of 4 criteria scored. History starts here; earlier values are not interpolated.
- 10 October 2026
2026.10.8When nothing serves your country, the list shown for reference is the published ranking · platform-wide- fixed The reference list shown when nothing serves your country is the published order with the published scores, and a build check now fails any such list out of that order or with a score the ranking does not publish.
- fixed The explorer prints an overall rank only for a row the published ranking holds; a country entrant such as Coinbase Commerce for US merchants shows no overall rank.
- changed Published orders do not move. Country results change only where nothing serves the country: in India bill pay keeps Bitcoin Well first and now shows Strike second, as published; 35 such runs across all categories and countries now match the published list exactly.
- 10 October 2026
2026.10.6A criterion you require re-scores the rows that meet it · platform-wide- changed The explorer sends each criterion you require, at any band, as fit_required with your other answers; region, licence, chain and fact filters stay filters. On /best, a required criterion joins For you as a marked preference does, which needs your country; Overall stays the published ranking, filtered.
- added Every published criterion has a golden case as the explorer sends it (require:<criterion>), so the order a requirement gives is replayed and gated as the published order is, and a change to it needs an entry here.
- 16 September 2026
2026.09.15Dimension scores carry tenths, and eleven more categories are re-read from primary sources · platform-wide- changed Dimension scores resolve to tenths of a point (O-04b), and weightedTotal is rounded to six decimal places before the order is read. 518 published scores move across 107 categories that were not re-read; none of them moves by more than 4 points, and most move by 1.
- fixed 66 published scores change in the eleven re-read categories, against a verbatim source each. The largest moves are Reflexer RAI (−16), Beefy and Unrekt (−11), Aztec (−10) and Golem (+9) — all of them rows whose sources had moved since their last read.
- changed Published order moves in 38 of 119 categories and three #1s change: smart_contract_audits (Zellic → Certora) and travel_rule_compliance (Sumsub Travel Rule → CodeVASP) on the finer resolution, kyc_compliance (Veriff → Sumsub) on the re-read.
- added availabilitySource (O-04g): for a reader who states a country, a row whose availability in that country rests on a region tag its record gives no source for sorts below every sourced row. It is inert in every order published here, which states no country.
Methodology 2026.10.18, the same published run every visitor sees · receipt smart_contract_audits:certora:2026.10.18:a40317dbdfb1
Are you Certora? Reply to this verdict, or send evidence, ask for a correction or claim the listing. Every message gets a public ticket number; none of it changes a rank unless a public page or a signed statement supports it.