The Economics of Proof-of-Useful-Work
Pith reviewed 2026-06-27 22:50 UTC · model grok-4.3
The pith
In equilibrium, proof-of-useful-work keeps the economic cost of a majority attack equal to the block reward.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Once equilibrium prices are taken into account, the economic cost of a majority attack remains tied to the block reward; in the regime where token rewards subsidize inference, block rewards generate additional socially useful computation that would not otherwise occur, and the size of this expansion rises monotonically with token adoption and technological efficiency.
What carries the argument
Competitive-equilibrium model of compute allocation across pure mining, pure inference, and duplex modes, with allocations and prices fully determined by duplex overheads and the exogenous token-inference ratio, producing the regimes Bitconia, Fortessia, and Duplexia.
If this is right
- The economic cost of a majority attack equals the block reward in every regime.
- Duplex modes can replace pure mining while leaving or raising the cost of attack.
- Token rewards function as rebates that expand the supply of inference beyond the level the inference market would produce alone.
- The added inference volume grows steadily as token adoption rises or duplex overheads fall.
Where Pith is reading between the lines
- If the model holds, PoUW systems could be designed so that larger token markets automatically increase the amount of inference hardware deployed.
- Empirical tests could compare inference prices before and after a PoUW chain launches to check whether the predicted rebate effect appears.
- The same equilibrium logic might apply to other subsidy mechanisms that mix ledger security with external productive work.
Load-bearing premise
A competitive equilibrium exists in the market for compute and fully determines allocations and prices from duplex overheads and the token-inference ratio.
What would settle it
Measure, in an operating PoUW system that has reached the rebate regime, whether the observed drop in inference prices and the resulting increase in inference quantity scale exactly with the block reward divided by the token-inference ratio.
Figures
read the original abstract
Proof-of-work (PoW) blockchains rely on computational expenditure to secure a ledger supporting a native cryptocurrency. In existing systems such as Bitcoin, this expenditure is intentionally useless: the computation secures consensus but produces no external economic output. An emerging alternative -- proof of useful work (PoUW) -- enables the same computation to simultaneously secure the blockchain and generate economically valuable output. However, PoUW is often criticized on economic grounds: if the work is useful, attackers might be "paid to attack," potentially weakening security. We develop a competitive-equilibrium model of a PoUW blockchain in which compute can be allocated across pure mining, pure useful work -- instantiated as machine-learning inference -- or "duplex" work that produces both with computational overheads. We provide a complete closed-form characterization of equilibrium allocations and prices as a function of the duplex overheads and a single economic parameter -- the token-inference ratio -- measuring token adoption relative to the inference market. This characterization reveals three regimes: "Bitconia," in which the economy reduces to classical PoW; "Fortessia," in which duplex replaces mining, increasing security while useful output remains unchanged; and "Duplexia," in which token rewards subsidize inference, lowering prices and expanding inference supply. Contrary to the common strawman argument, PoUW does not make attacks economically cheap: once equilibrium prices are taken into account, the economic cost of a majority attack remains tied to the block reward. Moreover, in Duplexia, block rewards act as rebates on inference prices, generating additional socially useful computation that would not arise without the blockchain -- an expansion monotonically increasing in token adoption and technological efficiency.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript develops a competitive-equilibrium model of a PoUW blockchain in which compute is allocated across pure mining, pure ML inference, or duplex modes that combine both with overheads. It supplies a closed-form characterization of equilibrium allocations and prices as functions of duplex overheads and the single exogenous parameter (token-inference ratio), partitions the parameter space into three regimes (Bitconia, Fortessia, Duplexia), and concludes that equilibrium prices keep majority-attack costs tied to the block reward while Duplexia generates additional socially useful inference that expands monotonically with token adoption and efficiency.
Significance. If the closed-form equilibria are robust, the paper supplies a precise economic framework for assessing PoUW security and externalities, directly countering the 'paid to attack' critique and identifying conditions under which blockchain incentives expand useful computation beyond what would occur in a standalone inference market.
major comments (2)
- [Model setup and §4 (Duplexia regime)] The token-inference ratio is introduced and maintained as an exogenous parameter in the equilibrium derivation (see the model setup and the three-regime partition). The central Duplexia claim—that block rewards generate additional socially useful computation monotonically increasing in token adoption—requires that this ratio can be varied independently of inference-market size. If token adoption endogenously enlarges inference demand, the monotonicity result and regime boundaries would require re-derivation under a joint equilibrium; the current setup provides no such feedback loop.
- [Security analysis (attack-cost derivation)] The claim that 'the economic cost of a majority attack remains tied to the block reward' once equilibrium prices are taken into account is load-bearing for the security conclusion. The derivation should explicitly display the attack-cost expression (presumably in the security analysis section) and show the algebraic reduction that eliminates dependence on the useful-work component and the token-inference ratio.
minor comments (2)
- [Model section] Notation for the duplex overhead parameter and the token-inference ratio should be introduced with explicit symbols and units in the model section to improve readability of the closed-form expressions.
- [Abstract and §3] The abstract states that results are 'parameter-free' except for the token-inference ratio; the main text should clarify whether any other fitted or calibrated values enter the regime boundaries.
Simulated Author's Rebuttal
We thank the referee for the constructive comments, which help clarify the model's assumptions and strengthen the security analysis. We address each major point below, agreeing to revisions where they improve exposition while defending the current exogenous-parameter approach as appropriate for the paper's scope.
read point-by-point responses
-
Referee: [Model setup and §4 (Duplexia regime)] The token-inference ratio is introduced and maintained as an exogenous parameter in the equilibrium derivation (see the model setup and the three-regime partition). The central Duplexia claim—that block rewards generate additional socially useful computation monotonically increasing in token adoption—requires that this ratio can be varied independently of inference-market size. If token adoption endogenously enlarges inference demand, the monotonicity result and regime boundaries would require re-derivation under a joint equilibrium; the current setup provides no such feedback loop.
Authors: The token-inference ratio is deliberately maintained as an exogenous parameter to enable closed-form characterization of equilibria and clean comparative statics across adoption levels. This setup directly supports the monotonicity result in Duplexia as the ratio increases, holding the inference market fixed. An endogenous joint equilibrium linking token adoption to demand would constitute a distinct model and is outside the paper's current scope; we view the exogenous treatment as a standard and transparent modeling choice for isolating the blockchain's incentive effects. We will add a brief discussion in the conclusion acknowledging this limitation and identifying endogenous demand as a direction for future work. revision: partial
-
Referee: [Security analysis (attack-cost derivation)] The claim that 'the economic cost of a majority attack remains tied to the block reward' once equilibrium prices are taken into account is load-bearing for the security conclusion. The derivation should explicitly display the attack-cost expression (presumably in the security analysis section) and show the algebraic reduction that eliminates dependence on the useful-work component and the token-inference ratio.
Authors: We agree that the security claim benefits from explicit algebra. In the revised manuscript we will insert the full attack-cost expression in the security section and display the step-by-step reduction demonstrating that, after substituting equilibrium prices, the cost depends only on the block reward and is independent of both the useful-work overhead parameters and the token-inference ratio. revision: yes
Circularity Check
No circularity; equilibria derived from exogenous parameter with independent content
full rationale
The paper introduces the token-inference ratio explicitly as an exogenous parameter and derives a closed-form characterization of allocations, prices, and three regimes (Bitconia, Fortessia, Duplexia) as functions of this parameter plus duplex overheads. The monotonic expansion claim in Duplexia follows from the model's equilibrium equations without any reduction of outputs to fitted inputs, self-definitions, or self-citation chains. No load-bearing step renames a known result or imports uniqueness from prior author work. This is a standard theoretical model whose central claims remain falsifiable against external market data.
Axiom & Free-Parameter Ledger
free parameters (1)
- token-inference ratio
axioms (1)
- domain assumption Competitive equilibrium exists and determines unique allocations and prices for compute across mining, inference, and duplex modes
Reference graph
Works this paper leans on
-
[1]
Bitcoin pricing, adoption, and usage: Theory and evidence
Susan Athey, Ivo Parashkevov, Vishnu Sarukkai, and Jing Xia. Bitcoin pricing, adoption, and usage: Theory and evidence. Technical report, Stanford Graduate School of Business, 2016
2016
-
[2]
Proofs of useful work
Marshall Ball, Alon Rosen, Manuel Sabin, and Prashant Nalini Vasudevan. Proofs of useful work. InAdvances in Cryptology – CRYPTO 2017, volume 10402 ofLecture Notes in Computer Science, pages 283–312. Springer, 2017
2017
-
[3]
Proof of work with external utilities, 2025
Yogev Bar-On, Ilan Komargodski, and Omri Weinstein. Proof of work with external utilities, 2025. 54
2025
-
[4]
Review of Cournot’sRecherches sur les Principes Math´ ematiques de la Th´ eorie des Richesses.Journal des Savants, pages 499–508, 1883
Joseph Bertrand. Review of Cournot’sRecherches sur les Principes Math´ ematiques de la Th´ eorie des Richesses.Journal des Savants, pages 499–508, 1883
-
[5]
George Bissias, Rainer B¨ ohme, David Thibodeau, and Brian N. Levine. Pricing security in proof-of-work systems, 2020
2020
-
[6]
Levine, and David Thibodeau
George Bissias, Brian N. Levine, and David Thibodeau. Greedy but cautious: Conditions for miner convergence to resource allocation equilibrium, 2019
2019
-
[7]
The economic limits of bitcoin and the blockchain.NBER Working Paper, (24717), 2018
Eric Budish. The economic limits of bitcoin and the blockchain.NBER Working Paper, (24717), 2018
2018
-
[8]
Trust at scale: The economic limits of cryptocurrencies and blockchains.The Quarterly Journal of Economics, 140(1):1–62, 2025
Eric Budish. Trust at scale: The economic limits of cryptocurrencies and blockchains.The Quarterly Journal of Economics, 140(1):1–62, 2025
2025
-
[9]
Optimization-based proof of useful work: Framework, modeling, and security analysis, 2024
Weihang Cao, Xintong Ling, Jiaheng Wang, Xiqi Gao, and Zhi Ding. Optimization-based proof of useful work: Framework, modeling, and security analysis, 2024
2024
-
[10]
ScaloWork: Useful proof- of-work with distributed pool mining, 2025
Diptendu Chatterjee, Avishek Majumder, and Subhra Mazumdar. ScaloWork: Useful proof- of-work with distributed pool mining, 2025
2025
-
[11]
Bitcoin Hashrate Chart.https://www.coinwarz.com/mining/bitcoin/ hashrate-chart, May 2026
CoinWarz. Bitcoin Hashrate Chart.https://www.coinwarz.com/mining/bitcoin/ hashrate-chart, May 2026. Reports Bitcoin network hashrate of 1.020 ZH/s as of May 31, 2026
2026
-
[12]
Tokenomics: Dynamic adoption and valuation
Lin William Cong, Ye Li, and Neng Wang. Tokenomics: Dynamic adoption and valuation. Review of Financial Studies, 34(3):1105–1155, 2021
2021
-
[13]
Hachette, Paris, 1838
Antoine Augustin Cournot.Recherches sur les Principes Math´ ematiques de la Th´ eorie des Richesses. Hachette, Paris, 1838. English translation:Researches into the Mathematical Principles of the Theory of Wealth, Macmillan, 1897
-
[14]
Energy equilibria in proof-of-work mining
Amos Fiat, Anna Karlin, Elias Koutsoupias, and Christos Papadimitriou. Energy equilibria in proof-of-work mining. InProceedings of the 2019 ACM Conference on Economics and Computation, pages 489–502, 2019
2019
-
[15]
Macmillan, 1911
Irving Fisher.The Purchasing Power of Money: Its Determination and Relation to Credit, Interest and Crises. Macmillan, 1911
1911
-
[16]
The quantity theory of money—a restatement
Milton Friedman. The quantity theory of money—a restatement. In Milton Friedman, editor, Studies in the Quantity Theory of Money, pages 3–21. University of Chicago Press, 1956
1956
-
[17]
Zero-Cost
Joshua S. Gans and Hanna Halaburda. “Zero-Cost” majority attacks on permissionless blockchains.Management Science, 70(6):3381–3396, 2024
2024
-
[18]
The bitcoin backbone protocol: Analysis and applications
Juan Garay, Aggelos Kiayias, and Nikos Leonardos. The bitcoin backbone protocol: Analysis and applications. InAnnual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT). Springer, 2015
2015
-
[19]
Harberger
Arnold C. Harberger. The measurement of waste.American Economic Review, 54(3):58–76, 1964. 55
1964
-
[20]
Macmillan, London, 1865
William Stanley Jevons.The Coal Question: An Inquiry Concerning the Progress of the Nation and the Probable Exhaustion of Our Coal Mines. Macmillan, London, 1865
-
[21]
Primecoin: Cryptocurrency with prime number proof-of-work.https:// primecoin.io/primecoin-paper.pdf, 2013
Sunny King. Primecoin: Cryptocurrency with prime number proof-of-work.https:// primecoin.io/primecoin-paper.pdf, 2013. Whitepaper
2013
-
[22]
Proofs of useful work from arbitrary matrix multipli- cation.CoRR, abs/2504.09971, 2025
Ilan Komargodski and Omri Weinstein. Proofs of useful work from arbitrary matrix multipli- cation.CoRR, abs/2504.09971, 2025
arXiv 2025
-
[23]
Abba P. Lerner. The concept of monopoly and the measurement of monopoly power.Review of Economic Studies, 1(3):157–175, 1934
1934
-
[24]
J. D. Leshno, Elaine Shi, and Rafael Pass. On the viability of open-source financial rails: Economic security of permissionless consensus.arXiv preprint, 2024
2024
-
[25]
Whinston, and Jerry R
Andreu Mas-Colell, Michael D. Whinston, and Jerry R. Green.Microeconomic Theory. Oxford University Press, New York, 1995
1995
-
[26]
Bitcoin: A peer-to-peer electronic cash system
Satoshi Nakamoto. Bitcoin: A peer-to-peer electronic cash system. 2008. White paper
2008
-
[27]
Zk-SNARK market- place with proof of useful work, 2025
Samuel Oleksak, Richard Gazdik, Martin Peresini, and Ivan Homoliak. Zk-SNARK market- place with proof of useful work, 2025
2025
-
[28]
the economics of proofs of useful work
Rafael Pass. Computational companion notebook for “the economics of proofs of useful work”. https://colab.research.google.com/drive/1mUryko3WD-Q1bQ-Z9ItrJbluFoXxx6IR,
-
[29]
Interactive simulation notebook
-
[30]
Analysis of the blockchain protocol in asynchronous networks
Rafael Pass, Lior Seeman, and Abhi Shelat. Analysis of the blockchain protocol in asynchronous networks. InAnnual International Conference on the Theory and Applications of Cryptographic Techniques (EUROCRYPT). Springer, 2017
2017
-
[31]
The pearl network.https://pearlresearch.ai, 2026
Pearl Research Labs. The pearl network.https://pearlresearch.ai, 2026. Accessed: 2026
2026
-
[32]
Saunders
Harry D. Saunders. The khazzoom–brookes postulate and neoclassical growth.The Energy Journal, 13(4):131–148, 1992
1992
-
[33]
Reexamination of the perfectness concept for equilibrium points in extensive games.International Journal of Game Theory, 4(1):25–55, 1975
Reinhard Selten. Reexamination of the perfectness concept for equilibrium points in extensive games.International Journal of Game Theory, 4(1):25–55, 1975
1975
-
[34]
VanEck Mid-March 2026 Bitcoin ChainCheck.https://www.vaneck.com/us/ en/blogs/digital-assets/matthew-sigel-vaneck-mid-march-2026-bitcoin-chaincheck/, March 2026
Matthew Sigel. VanEck Mid-March 2026 Bitcoin ChainCheck.https://www.vaneck.com/us/ en/blogs/digital-assets/matthew-sigel-vaneck-mid-march-2026-bitcoin-chaincheck/, March 2026. Data from Glassnode as of March 13, 2026
2026
-
[35]
The Real Cost of Bitcoin Mining in 2026.https://www.simplemining.io/ insights/post/bitcoin-mining-cost-2026, May 2026
Simple Mining. The Real Cost of Bitcoin Mining in 2026.https://www.simplemining.io/ insights/post/bitcoin-mining-cost-2026, May 2026. Reports modern S21-class miners at$4,000–12,000 per unit with efficiency of 13.5–17.5 W/TH
2026
-
[36]
Jevons’ paradox revisited: The evidence for backfire from improved energy efficiency.Energy Policy, 37(4):1456–1469, 2009
Steve Sorrell. Jevons’ paradox revisited: The evidence for backfire from improved energy efficiency.Energy Policy, 37(4):1456–1469, 2009
2009
-
[37]
equation of exchange
Gordon Tullock. Efficient rent seeking. In James M. Buchanan, Robert D. Tollison, and Gordon Tullock, editors,Toward a Theory of the Rent-Seeking Society, pages 97–112. Texas A&M University Press, 1980. 56 A A Simple Monetary Interpretation of the T/I Ratio This appendix shows that the token/inference ratioθ= P R pQ admits a simple monetary interpretation...
1980
-
[38]
constant per-period
used in monetary models (transactional expenditure equals price times velocity times circulating balances) and in crypto-asset pricing analyses such as [1]. 2.Float inflow from issuance.A fractionν∈(0,1] of newly issued tokens enters the settle- ment float each block, capturing the idea that miners sell a portion of rewards into transac- tional circulatio...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.