Over the trailing 90 sessions, the median cost to generate a single zero-knowledge proof batch on one mid-cap rollup rose 14% quarter-over-quarter, while the median fee that same rollup charged end users fell 21%. Costs up, revenue down. That divergence normally triggers a governance call within a week. It did not. The number sits three rows beneath the headline "transactions processed" in the operator's own cost disclosure, and almost nobody reads past the headline. For a sector that describes itself as transparent, the arithmetic that decides survival is the arithmetic least examined.
I have spent twenty-nine years watching this industry learn the same lesson at different orders of magnitude. In 2017, I audited the token distribution logic of three ICOs that raised over $50 million combined. The failures that mattered were never in the marketing deck; they were in the overflow handling of a single function nobody had reviewed. That experience taught me a durable rule: efficiency hides in the edge cases nobody audits. The rollup sector's public conversation is about throughput and total value locked. The private conversation among operators is about fixed proving costs that no amount of user growth repairs at current price levels.
This piece is an attempt to move that private conversation into the open using the only language that settles arguments in this industry — indexed cost data, a transparent model, and an explicit falsification threshold.
Context: What a Rollup Actually Pays For
A zero-knowledge rollup does three things. It bundles thousands of transactions, generates a cryptographic proof that the resulting state transition is valid, and posts that proof plus a compressed state diff to a settlement layer. Those three actions map to three cost lines: the prover, which consumes compute; the data availability layer, which since EIP-4844 means blobs on Ethereum; and the settlement verifier, which consumes on-chain gas to check the proof.
Before EIP-4844, data availability dominated operator costs. Blob space cut that line by roughly 90% for most operators, and the entire sector repriced downward overnight. The narrative that followed was simple and, in my assessment, incomplete: "rollups are now cheap, so users will arrive." What the narrative omitted is that EIP-4844 attacked the smallest of the three fixed costs. The prover — the compute-intensive generation of the validity proof — was never the target of that upgrade and was never repriced.
The prover is the trap because of how its cost scales. It scales with the complexity of the state transition, not with the number of transactions packed into the batch. That single distinction reorganizes everything downstream, including operator margins, fee schedules, and the truthfulness of "cheap L2" marketing.
A note on scope, because scope is where most cost analyses quietly cheat. There are dozens of rollups and their structures differ. Validiums offload data availability entirely. Some zkEVMs prove only the execution layer and lean on a separate committee for data. My model targets the general-purpose zkEVM archetype because it is the design most exposed to the proving-cost problem, not because it represents every chain. Where I generalize, I generalize from a documented sample, and I mark the boundary of the claim.
Core: The Arithmetic
I built a cost model across twelve months of public batch data for a representative general-purpose zkEVM, cross-checked against two operators' cost disclosures and the gas receipts of their settlement verifier contracts. The model has three inputs — prover cost per batch, blob cost per batch, and verifier gas per batch — and outputs a gross margin per batch. All figures are indexed to 100 at the start of the window.
| Cost line | Index start | Index now | Share of total | |-----------|-------------|-----------|----------------| | Prover (compute) | 100 | 114 | 61% | | Blob (DA) | 100 | 103 | 22% | | Verifier gas | 100 | 109 | 17% |
Read the first column against the third. The prover is not a marginal cost line. It is the majority of the bill, and it is the line that is rising. EIP-4844 reduced the 22% line; it never touched the 61% line. Any analysis that cites "cheaper L2 fees" as evidence that rollup economics work is citing a repricing of the minority of the cost stack.
Overlay revenue now. Median user fee per batch, indexed the same way, fell to 79 over the same window. The compression is real and structural, not cyclical. In a sideways market, transaction counts plateau, batch utilization falls, and the fixed prover cost amortizes over fewer paying transactions. Operator gross margin per batch on my model moved from roughly positive 9% to negative 11% across the window — before token incentives, which is the only reason several of these chains still print a headline profit.
There is a second revenue-side pressure the table does not capture directly. Blob space became a competitive market. When blob demand is low, operators capture the cheap data-availability benefit; when blob demand spikes, the twenty-two-percent line can double inside a week. The data-availability line is smaller, but it is not stable, and instability in a small line is a rounding error that can still tip a thin margin into the red.
The settlement layer has its own version of this dynamic, and it is instructive. Bitcoin's fee market only stayed meaningful because inscription activity introduced a demand floor that the block subsidy alone could no longer provide. Without that demand, the security-budget conversation would be far more urgent than it is. The lesson transfers cleanly: fee demand is not a given; it is a structure that must be paid for by someone, and when that someone stops paying, the fixed costs do not politely reduce themselves.
It is tempting to conclude that proving costs are "too high" and the technology is unviable. That is the wrong conclusion, and it is the one most of the market reaches. The correct conclusion is narrower: proving costs are a fixed cost masquerading as a variable cost, and fixed costs punish underutilization.
Consider two batches. One holds 4,000 transactions; one holds 400. All else equal, their proving times differ by less than you would assume, because proving cost tracks the state transition, and a smaller batch usually touches a smaller state diff but not proportionally smaller circuit work. Their fee revenues, however, differ by an order of magnitude. The swing variable is therefore utilization — and in a sideways market, utilization is precisely what an operator cannot manufacture.
This is where my 2020 work becomes the relevant precedent. During DeFi summer I built a Python pipeline that scraped and modeled more than 1,000 daily liquidity pools across Uniswap and Compound, calculating real-time impermanent loss for simulated portfolios above $2 million. The yields that looked sustainable were almost always funded by token emissions, not protocol revenue. I published a spreadsheet model flagging the correction before it arrived, and the correction arrived on schedule. The operator economics above have the identical shape: a cost structure that looks healthy at peak utilization and bleeds at trough, subsidized in the interim by a token.
In 2022 I audited the withdrawal mechanisms of three failing lending protocols holding over $100 million in deposits and produced a forensic timeline of the collapse. The common thread was never fraud. It was a mismatch between a fixed obligation — withdrawals on demand — and a variable asset base. Rollups run the mirror image of that mismatch: a fixed cost base against a variable revenue base. Same disease, different organ.
To make the conclusion falsifiable rather than rhetorical, here is the sensitivity. At 70% batch utilization, my model shows approximately break-even. At 85%, comfortably positive. At 50% — where several mid-cap rollups sat through the recent consolidation — deeply negative. The variable that decides survival is not the proving algorithm. It is the utilization curve.
Contrarian: Correlation Is Not Causation
The reflexive reading of the table is that ZK proving is doomed and optimistic rollups win on cost. I want to push back on that, because it mistakes a correlation for a cause.
Optimistic rollups avoid the prover line, but they pay a different fixed cost: the challenge window. Their capital is locked longer, their withdrawal latency is structural rather than incidental, and their fraud-proof machinery carries operational overhead of its own. A cost line does not vanish when you move it; it changes address. Ranking L2 designs by a single cost component is exactly the kind of narrow accounting that produced the ICO failures of 2017.
More importantly, the prover line is historically the fastest-falling line in the entire stack. GPU proving, recursive proof composition, and better circuit design have cut per-batch cost by multiples over four years. EIP-4844 was a one-time data-availability repricing; prover efficiency is a compounding curve. The operators bleeding today are not bleeding because ZK is broken. They are bleeding because they built a fixed-cost business on a variable-revenue market and are waiting for a curve to catch up to a bill.
There is a second blind spot, and it is a reporting one. Most operators index their cost disclosures to "per transaction." That metric flatters high-throughput chains by dividing fixed costs across inflated counts, and it hides exactly the line that matters. Index the same data to "per batch," and the ranking of operators reshuffles. The metric you choose is a policy decision, whether or not you admit it. During my 2021 analysis of more than 10,000 Bored Ape tokens, reported volume understated the concentration of ownership by roughly $5 million in unique-buyer terms. The lesson was not that NFTs were fraudulent. The lesson was that the standard metric was measuring the wrong thing.
There is an incentive asymmetry that explains the silence. An operator that discloses rising per-batch proving costs signals weakness to its token holders and to the venues listing its token. An operator that discloses "transactions processed" signals growth. Rational actors choose the flattering metric, and the market accepts it because the market is not running the arithmetic.
The institutional flow data I worked with in 2024 reinforces the point from a different direction. Tracking over $5 billion in spot ETF inflows and outflows against volatility indices and miner selling pressure, the dominant pattern was passive accumulation, not active conviction. Passive capital does not rescue a fixed-cost operator; it waits for the operator to prove unit economics first.
Takeaway: The Ratio to Watch
The forward signal is not the headline fee, and it is not transaction count. It is the ratio of prover spend to fee revenue in the next disclosure cycle. Across the mid-cap zkEVM cohort, that ratio is currently moving in the wrong direction.
Watch batch utilization over the next four weeks. If median utilization stays below 55% while prover costs hold, expect another round of quiet subsidy restructuring — token-emission backstops or fee-schedule changes dressed as "network upgrades." Verify the ratio yourself, because it is the number the marketing ignores and the ledger records.
None of this is a prediction of collapse. It is a description of a fixed-cost curve meeting a variable-revenue market, and a note that the meeting point is a number someone is choosing not to publish.