BGT-PAPER-1Raw .mdPDFLaTeX

Bitcoin Exit Dominance in Monetary Coordination Games

Sean Hash*
bitcoingametheory.com
sean@bitcoingametheory.com

Preprint: February 2026 (SSRN 6299081)
Revised: May 2026
Working Paper

JEL Codes: C72, D71, D83, E42, E51, G11, L14
Keywords: Bitcoin, game theory, coalition-proof Nash equilibrium, monetary coordination, neutral settlement, strategic complementarities, coordination failure, threshold strategy, digital scarcity, network effects

Revision Note, May 2026. References updated and tightened. Substantive changes from the February 2026 preprint (SSRN 6299081):

  • The preprint’s absorption theorem is recast in ratchet form as Theorem 1. The preprint claimed full absorption at p=1p = 1; the revision claims that {p>pc}\{p > p_c\} is coalition-proof and that pcp_c shifts monotonically downward as the slowly-varying state (Kt,Dt)(K_t, D_t) accumulates (KtK_t recognition; DtD_t debasement; §3.5). Permanent holdouts are admitted by construction.

  • Adoption is capital-weighted: pt=iExittaip_t = \sum_{i \in \text{Exit}_t} a_i. Preference falsification (Kuran24) provides the psychological reasoning for why actors say Stay but allocate Exit. Aggregate ptp_t counts the allocation, not the stated posture.

  • Volatility apparatus is dropped. σB\sigma_B, σF\sigma_F, and the risk-aversion weight λi\lambda_i are removed; monotonicity conditions reduce from (M1)–(M5) to (M1)–(M4). The allocator-side friction is now money illusion (Fisher21): nominal stability is read as safety and lumpy real outperformance as risk.

  • Definition 2 (Capturable System) replaces the preprint’s Capture Surface. DtD_t in §3.5 now indexes three post-1945 financial-repression channels: debt overhang (IMF22), the inflation–capital-gains tax wedge (Feldstein20), and the rate-cap and reserve-requirement toolkit (Reinhart and Sbrancia23).

  • The preprint’s Limitations section is folded into the Conclusion; per-assumption failure conditions are retained at conclusion register, with A2’s clause reformulated to a primitive of agent rationality.

  • Coalition Instability (Proposition 2) restated as Nash-stability, with P3 (permissionless access) as the load-bearing institutional clause; Bernheim-Peleg-Whinston coalition-proofness is now reserved for Theorem 1 (Ratchet), where it does formal work.

The four assumptions and the central claim of Bitcoin Exit Dominance remain unchanged; the result is restructured into Theorem 2 for clarity.

1. Introduction

A capital allocator with purchasing power to protect faces a choice between two settlement systems. The first is the prevailing one: sovereign currency, custodied by regulated intermediaries, settled through banking and securities infrastructure. Call this Stay. The second is a settlement asset that no government issues, no intermediary custodies, and no political body can debase or freeze. Call this Exit. This paper frames the choice as the Exit Game and models its outcome with formal game theory.

The paper proceeds as follows. §2 summarizes related work. §3 builds the model. §4 proves Bitcoin Exit Dominance. §5 concludes with falsifications and future work.

While partial exit via gold has existed for thousands of years, true exit only became possible when Nakamoto1 mined his first block on 3 January 2009. In the genesis block of Bitcoin he encoded that morning’s front-page headline from The Times of London: “Chancellor on brink of second bailout for banks.” Since 2009, hashrate on the Bitcoin network has only ever trended higher, despite sovereign mining bans and several hostile hard-fork events. Adoption by ever larger cohorts of capital (ETFs, pension funds, sovereigns) suggests rational allocators continue to defect to Exit.

The 2022 reserve freeze was the starting gun. The 2026 US-Iran conflict produced the first credible plan to use Bitcoin as neutral settlement. The United States ordered $344 million of USDT frozen (OFAC2), and Tether complied, because a stablecoin, unlike Bitcoin, has an issuer who can be compelled. With the stablecoin route closed, Iran’s state proposal was to settle Strait of Hormuz cargo insurance in Bitcoin itself.

High government debt is not new. What is new is the scale of forward spending now committed with no tax base behind it, which leaves debasement as the path of least resistance. The United States is stepping back from its role as world military referee, and its former allies and competitors are rearming. The logic in every arms race is the same: spend more or get left behind (Richardson3; Powell4). AI is the same race, since better AI means better weapons: AI capex now runs at the same order of magnitude as military capex, and neither side can stop without ceding the lead (Armstrong, Bostrom, and Shulman5).

The deeper point in the genesis block is the nod to the Cantillon effect: in every fiat system, those nearest to issuance capture the wealth that debasement transfers, debasing the many to enrich the few (Cantillon6). This paper asks whether capital will flee to a settlement asset with no issuer, and so no Cantillon effect. The answer is an equilibrium result: once debasement pushes adoption past a critical mass, the move to Exit is self-reinforcing, and no coalition can bring capital back.

2. Related Work

The closest prior policy treatment is Brunnermeier, James, and Landau7, who describe the coordination problem verbally without formal derivation and prescribe central bank digital currency. A CBDC remains sovereign-issued, freezable, and debaseable, fails Definition 1, and is an instance of Stay that Theorem 2 covers.

The existing Bitcoin game-theoretic literature concentrates on the mining subgame, which sustains itself through miner skin in the game: hardware built for one purpose, rewards paid in the coin a successful attack would destroy. Two dissents press against this view. Budish8 extends his high-frequency-trading rent-seeking critique to Bitcoin mining. Eyal and Sirer9 identify a selfish-mining limit under which a concentrated pool earns above its honest share by withholding blocks. Neither attack has been profitably executed on chain: shorting Bitcoin at attack scale exceeds available derivatives liquidity, KYC at every fiat off-ramp makes the attacker’s identity legible before they can position, and a pool revealed as malicious loses the hashrate it depends on.

The view of this paper, in line with Szabo10, is the opposite of Budish: mining energy is the unforgeable costliness sustaining neutral settlement.11 Three results triangulate the intertwined cryptographic and economic hardness Assumption 3 refers to. Biais, Bisière, Bouvard, and Casamatta12 show that following the longest chain is a stable equilibrium in the mining subgame. Garay, Kiayias, and Leonardos13 prove that under honest majority the protocol delivers common prefix, chain quality, and chain growth: the formal cryptographic guarantee that proof-of-work yields consensus. Chen14 closes the price-security loop in general equilibrium. This literature models coordination within Bitcoin; the Exit Game models coordination within the wider sovereign monetary order.

3. Model

3.1 Maintained Assumptions

The analysis rests on four assumptions. All subsequent claims derive from these assumptions; rejecting any assumption invalidates the specific claims that depend on it.

Assumption 1 (Multipolarity). Power is split across power centers where no center can exert unilateral control of the settlement layer.

Assumption 2 (Rational Self-Interest). Actors optimize for self-interest. When defection from cooperative agreements is unpunished or unpunishable, actors defect.

Assumption 3 (Computational Hardness). Certain mathematical problems cannot be solved in practical time by any known algorithm. Digital scarcity and cryptographic custody are implementable.

Assumption 4 (Network Effect Persistence). Past critical mass, switching costs exceed marginal gains of alternatives. An established network attracts further adopters; its lead compounds (Katz and Shapiro15).

3.2 Definitions

Definition 1 (Neutral Settlement). Bitcoin is the neutral settlement asset of the Exit-Stay game, satisfying Properties P1–P7. Each Pii closes one attack channel a coalition of Exit holders could use to profitably return to Stay. Cryptographic and consensus primitives grounding P1–P3 and P5–P6 trace to Nakamoto1. P1–P7 are assumed throughout, as is the miner-subgame result of §2.

Closure PropertyAttack Channel
P1: Informational securityPhysical confiscation
P2: Protocol securityProtocol rule change
P3: Permissionless accessTransaction censorship
P4: Absolute scarcitySupply inflation
P5: Cheap finalityProhibitive cost/delay
P6: NeutralityGovernance takeover
P7: Adaptive resilienceObsolescence

Table 1. The seven attack channels Bitcoin closes. Each row names the property and the attack it blocks.

Gold as Neutral Settlement. Gold has been synonymous with neutral settlement across five millennia. Density, divisibility, recognizability, and aesthetic appeal sustained it as money in the market-selection account of monetary emergence (Menger16). Wampum, cowrie shells, and salt shared the surface properties but failed P4 once industrial production, oceanic shipping, and refined extraction broke their scarcity. Only gold held its scarcity across that span, the hardest proxy for P4 until Bitcoin. Arslanalp, Eichengreen, and Simpson-Bell17 trace the post-2022 central-bank gold buying to financial-sanctions risk on the main reserve issuers, not generic flight-to-safety. Gold has four known structural failures: confiscation at handoff (P1), with Executive Order 6102 as precedent; assay risk (P5); settlement cost scaling with mass (P5); and supply inflation at roughly 1.5% annually (P4).

Definition 2 (Capturable System). A monetary system in which at least one of P1–P7 fails for its underlying settlement asset. Fiat, sovereign bonds, and equities have no exit valve: equities admit no bearer instrument separable from the share, and fiat and bonds have no underlying outside the issuing system. Gold and Bitcoin offer redemption to a self-custodiable bearer asset. Gold terminates in physical gold, which retains the four failures above. Bitcoin ETFs can be redeemed in steps to self-custodied Bitcoin, which satisfies P1–P7.

Definition 3 (Exit). The action of moving capital from a capturable system to a neutral settlement asset. The complement is Stay: holding capital in the prevailing capturable system.

3.3 Game

The Exit Game is a non-cooperative game in which each capital allocator chooses one of two actions: hold capital in the prevailing capturable system (Stay) or move it to a neutral settlement asset (Exit). Exit is not free. Early exit to Bitcoin requires a social cost to act against peer consensus. Depending on jurisdiction and employment, exit to Bitcoin can also cost real legal or reputational damage.

Players. NN is the population of capital allocators, weighted by their share aia_i of total capturable capital. κi>0\kappa_i > 0 is how much social cost allocator ii pays for moving before peers. ρi>0\rho_i > 0 is how exposed allocator ii is to state penalty for the move itself. Fiduciaries answering to boards, committees, or constituencies sit at the high end of κi\kappa_i. Individuals and unilateral sovereigns sit lower. Both weights vary continuously across allocators.

Objective. Preserve real purchasing power. Preference between capturable and neutral assets follows from Exit Game payoffs alone.

Rules. Each allocator’s per-period action is binary: Exit or Stay. The aggregate ptp_t evolves continuously because allocators are heterogeneous in their thresholds and cross at different moments. Per-player actions are reversible: a player can re-Stay if ptp_t retreats below their personal threshold. Switching assets incurs friction; positions are sticky. As pp rises, Exit pays more and Stay pays less (§3.4).

Dynamics. Recognition that capturable assets erode in real terms grows; debasement keeps accumulating. As both rise, ptp_t trends upward (§3.5).

Payoffs. The game is G=(N,S,u)G = (N, S, u) in standard non-cooperative form (Fudenberg and Tirole18), with per-period action set Si={Exit,Stay}S_i = \{\text{Exit}, \text{Stay}\}, capital weights iai=1\sum_i a_i = 1, and aggregate adoption pt=iExittaip_t = \sum_{i \in \text{Exit}_t} a_i. Each player’s strategy is a threshold pi[0,1]{+}p_i^* \in [0, 1] \cup \{+\infty\} : Exit when pt>pip_t > p_i^*, Stay when ptpip_t \le p_i^*. The per-player action is binary and reversible at the player level; the aggregate ptp_t moves continuously across the heterogeneous threshold distribution and may itself drawdown. The monotone object is the critical mass pcp_c, which shifts downward as (Kt,Dt)(K_t, D_t) (recognition; debasement) accumulate (§4.3). uiE(p):=RB(p)κiKA(p)ρiRA(p),u_i^E(p) := R_B(p) - \kappa_i K_A(p) - \rho_i R_A(p), uiS(p):=RFKN(p).u_i^S(p) := R_F - K_N(p).

  • RB(p)R_B(p): real return on the neutral asset.

  • RFR_F: return on capturable assets.

  • KA(p)K_A(p): conformity cost of acting before peers (Katz and Shapiro15).

  • RA(p)R_A(p): realization and regulatory friction; gains tax, fees, etc.

  • KN(p)K_N(p): non-adoption penalty.

Weights are strictly positive and differ across allocators. RBR_B, KAK_A, RAR_A, KNK_N are continuous and bounded.

Others: StayOthers: Exit
Player ii: StayuiS(0)u_i^S(0)uiS(p)u_i^S(p)
Player ii: ExituiE(0)u_i^E(0)uiE(p)u_i^E(p)

Table 2. Normal-form payoff matrix for player ii, with uiEu_i^E, uiSu_i^S as defined above.

3.4 Monotonicity Conditions

Milgrom and Shannon19 showed that when the payoff gap between two options widens as some parameter rises, the player’s best response moves toward the favored option and does not return. This paper applies that result with adoption pp as the parameter and Exit as the favored option: as more actors exit, Exit’s gap over Stay widens. Four conditions on the payoff components secure that widening.

  1. RB(p)>0R_B'(p) > 0: Bitcoin’s return rises with adoption (network effects, Assumption 4)

  2. KA(p)<0K_A'(p) < 0: The cost of switching to Bitcoin falls as more allocators switch

  3. RA(p)<0R_A'(p) < 0: Friction eases as adoption normalizes

  4. KN(p)>0K_N'(p) > 0: The cost of staying in capturable assets rises as competitors exit

These conditions hold on average over long horizons rather than at every instant.

3.5 Threshold Drift

Sudden seizure (capital controls, asset freezes, hyperinflation) is the visible failure mode of the capturable system. The actual failure mode is slower: continuous extraction of real wealth. Debasement raises the price level. Equities, real estate, and similar assets inflate nominally as they absorb a share of the newly created money. Holders are then taxed on the nominal gain. After tax, real returns are negative (Feldstein20). Public debt keeps growing; private claims bear the hidden inflation tax to inflate away the real debt burden. Multipolarity (Assumption 1) leaves debasement unchecked, so RF<0R_F < 0 in real terms persists. Allocators under money illusion (Fisher21) read nominal stability as safety and lumpy real outperformance as risk, so the erosion goes uncorrected.

The macro state evolves on two slowly-varying indices:

  • Kt[0,1]K_t \in [0,1] (recognition): the share of capital allocators who recognize capturable assets as financially repressed. Recognition accumulates gradually rather than arriving with a discrete capture event.

  • Dt[0,)D_t \in [0, \infty) (debasement): a latent debasement-intensity index summarizing three post-1945 financial-repression channels: debt-to-GDP overhang (IMF22), the inflation–capital-gains tax wedge (Feldstein20), and the rate-cap and reserve-requirement toolkit (Reinhart and Sbrancia23).

Both KtK_t and DtD_t are monotonic over the structural horizon. Short-horizon reversals are admitted as fluctuations around the trend: generational forgetting in KtK_t, hawkish tightening episodes in DtD_t.

Let Δi(p;K,D):=uiE(p)uiS(p)\Delta_i(p; K, D) := u_i^E(p) - u_i^S(p) denote player ii’s Exit minus Stay payoff gap at adoption pp and macro state (K,D)(K, D). Each allocator’s threshold depends on (K,D)(K, D): pi(K,D):=inf{p[0,1]:Δi(p;K,D)>0}.p_i^*(K, D) := \inf\{p \in [0, 1] : \Delta_i(p; K, D) > 0\}. Assume the sign conditions piK0,piD0.\frac{\partial p_i^*}{\partial K} \leq 0, \qquad \frac{\partial p_i^*}{\partial D} \leq 0. These hold strictly for at least some capital allocators. Higher DtD_t lowers RFR_F in real terms. Higher KtK_t erodes κiKA\kappa_i K_A and ρiRA\rho_i R_A. Both effects raise Δi(0;K,D)\Delta_i(0; K, D) and push pip_i^* down.

The critical mass invoked in Assumption 4 is the smallest adoption level at which at least one allocator’s threshold has been crossed: pc(K,D):=inf{p[0,1]:i:Δi(p;K,D)>0ai  >  0}.p_c(K, D) := \inf\Bigl\{ p \in [0, 1] : \sum_{i\,:\,\Delta_i(p;\,K,D) > 0} a_i \;>\; 0 \Bigr\}. Above pcp_c, the M1–M4 feedbacks (Katz and Shapiro15) prevent Stay coalitions from reforming (§4.2). The endpoint is dominance in the network-effects sense, not full adoption p=1p = 1. For each (K,D)(K, D), {p>pc}\{p > p_c\} is coalition-proof against return-coalitions. As (Kt,Dt)(K_t, D_t) accumulate, pcp_c shifts downward by monotone comparative statics (Milgrom and Shannon19): p>pcp > p_c holds even when ptp_t is flat, and the coalition-proof region expands (§4.3).

The model’s claims are structural and directional: existence of thresholds {pi}\{p_i^*\}, sign of comparative statics, and direction of shift in pcp_c under accumulating (Kt,Dt)(K_t, D_t). It does not predict specific values, tipping times, or saturation levels.

An adoption level pp is an equilibrium of the Exit Game when no allocator, alone or in any group that holds together, gains by switching.

4. Results

4.1 Monotone Exit Advantage

First, each actor’s payoff gap from Stay to Exit widens as more actors exit. Every actor therefore has a threshold above which Exit becomes the only rational move. Hold the slowly varying state (K,D)(K, D) fixed throughout this subsection. By convention, pi=+p_i^* = +\infty when Δi\Delta_i stays non-positive on [0,1][0, 1].

Proposition 1 (Monotone Exit Advantage). Under Assumptions 1–4 and maintained conditions (M1)–(M4):

  1. The payoff differential Δi(p)\Delta_i(p) is strictly increasing in pp for all player types.

  2. For each player ii there exists a threshold pi[0,1]{+}p_i^* \in [0, 1] \cup \{+\infty\} such that Exit is the unique best response for p>pip > p_i^*.

Proof. Define the payoff differential and take its derivative in pp: Δi(p)=ui(Exit)ui(Stay)=[RB(p)RF]κiKA(p)ρiRA(p)+KN(p),dΔidp=RB(p)κiKA(p)ρiRA(p)+KN(p).\begin{aligned} \Delta_i(p) &= u_i(\text{Exit}) - u_i(\text{Stay}) \\ &= [R_B(p) - R_F] - \kappa_i K_A(p) - \rho_i R_A(p) + K_N(p), \\ \frac{d\Delta_i}{dp} &= R_B'(p) - \kappa_i K_A'(p) - \rho_i R_A'(p) + K_N'(p). \end{aligned}

Under (M1)–(M4), each term is signed: RB(p)>0R_B'(p) > 0 and KN(p)>0K_N'(p) > 0 strictly, while κiKA(p)0-\kappa_i K_A'(p) \geq 0 and ρiRA(p)0-\rho_i R_A'(p) \geq 0 for κi,ρi>0\kappa_i, \rho_i > 0. Therefore dΔi/dp>0d\Delta_i/dp > 0: the advantage of Exit rises strictly with pp. Each player’s threshold pi:=inf{p[0,1]:Δi(p)>0}p_i^* := \inf\{p \in [0, 1] : \Delta_i(p) > 0\} specializes the §3.5 definition with (K,D)(K, D) fixed. For actors with pi[0,1]p_i^* \in [0, 1], the intermediate value theorem applied to the continuous Δi\Delta_i delivers Δi(pi)=0\Delta_i(p_i^*) = 0, and for p>pip > p_i^* Exit strictly dominates.

4.2 Coalition Instability

§4.1 gave each actor a threshold. The group implication is sharper: no Stay coalition is self-enforcing once any one member has crossed. The first defector profits unilaterally; the actors left behind face a higher exit advantage than before.

Proposition 2 (Coalition Instability). Under Assumption 2 and Property P3, no Stay coalition CC containing at least one actor with a crossed threshold (p>pjp > p_j^* for some jCj \in C) is Nash-stable.

Proof. Consider a coalition CNC \subseteq N maintaining Stay. For CC to be Nash-stable, no member jCj \in C can profit from unilateral defection. By Proposition 1, uj(Exit)>uj(Stay)u_j(\text{Exit}) > u_j(\text{Stay}) when pp exceeds pjp_j^*. Property P3 (permissionless access) closes the institutional defection channel: no counterparty can refuse the trade and no clearing intermediary can foreclose settlement, so the only remaining friction is the regulatory cost already baked into each actor’s threshold via RAR_A. Under Assumption 2, the crossed-threshold member defects: for at least one jCj \in C, uj(defect from C)>uj(remain in C)u_j(\text{defect from } C) > u_j(\text{remain in } C). The coalition therefore fails Nash.

Proposition 2 covers coalitions with at least one crossed-threshold member. Permanent holdouts (pj=+p_j^* = +\infty), admitted by Proposition 1, lie outside its scope: no private reason to defect. The aggregate share of capital held for ideological rather than rational reasons (Assumption 2) is not fixed: preferences adjust as new information arrives. The real-world case is regulatory coercion holding the coalition together: capital controls, fiduciary mandates, jurisdictional penalties. P1 limits what coercion can do. An asset controlled by secret information, not physical possession, can be seized only by forcing each holder to disclose it one at a time. Cost grows with the number of holders, not the size of any one holding. Preference falsification (Kuran24) then separates what holders say from what they do. Aggregate ptp_t tracks what they do. Once enough private exits register, public Stay breaks.

4.3 Ratchet

§4.1 gave each actor a threshold; §4.2 showed coalitions cannot hold once any one member crosses. §4.3 lets the slowly varying state (Kt,Dt)(K_t, D_t) move. Per-period actions stay binary and reversible at the player level. What changes over time is the macro state, and with it the threshold profile {pi(Kt,Dt)}\{p_i^*(K_t, D_t)\} and the critical mass pc(Kt,Dt)p_c(K_t, D_t). Recognition KtK_t ratchets rather than oscillates: once private allocations reveal previously concealed Exit preferences, the social cost structure sustaining prior public Stay no longer holds (Kuran24). Debasement DtD_t does not reverse on the structural horizon (Reinhart and Sbrancia23). Both push pcp_c downward. The result is not that any specific player is locked in; it is that the floor a returning Stay coalition would have to clear keeps dropping. Two claims follow. First, above pcp_c no returning Stay coalition can form: a candidate with a crossed-threshold member is broken by Proposition 2; a candidate without one contains only allocators not moving to Exit. Second, pcp_c is non-increasing in tt.

Theorem 1 (Ratchet). Under Assumptions 1–4, maintained conditions (M1)–(M4), and the §3.5 sign conditions: (a) {p>pc}\{p > p_c\} is coalition-proof25,26 against returning Stay coalitions. (b) Under monotonic accumulation of (Kt,Dt)(K_t, D_t), the critical mass pc(Kt,Dt)p_c(K_t, D_t) shifts monotonically downward in tt.

Proof. (a) Coalition-proofness of {p>pc}\{p > p_c\}. If p>pc(K,D)p > p_c(K, D), the crossed-threshold set H(p):={i:Δi(p;K,D)>0}H(p) := \{i : \Delta_i(p; K, D) > 0\} has positive capital weight. Any perturbation attempting to coordinate a return to high-Stay above pcp_c is a candidate Stay coalition CC and falls into one of two cases. If CH(p)C \cap H(p) is nonempty, Proposition 2 applies: the crossed-threshold member defects under P3, so CC fails Nash and therefore fails BPW self-enforcement. If CH(p)C \cap H(p) is empty, CC consists entirely of uncrossed-threshold capital. These actors already prefer Stay at the current pp and do not move toward Exit; no candidate Stay coalition expands above pcp_c. The system is coalition-proof above pcp_c. As (Kt,Dt)(K_t, D_t) accumulate, the finite-threshold Stay pool shrinks and the coalition-proof region expands. Drawdowns and cascade pauses along ptp_t are admitted; price drawdowns are not equivalent to drawdowns in ptp_t, since allocators below target weight can rebalance during decline. A permanent stall would require two conditions to hold jointly: ptp_t plateauing below pcp_c indefinitely, and pcp_c failing to fall. The second condition is ruled out by part (b), so any ptp_t plateau is finite-duration.

(b) Drift of pcp_c. Because pcp_c is defined from the individual thresholds, the §3.5 sign conditions transfer directly to pcp_c: piK0,piD0,pcK0,pcD0.\frac{\partial p_i^*}{\partial K} \leq 0, \quad \frac{\partial p_i^*}{\partial D} \leq 0, \quad \frac{\partial p_c}{\partial K} \leq 0, \quad \frac{\partial p_c}{\partial D} \leq 0. Under monotonic accumulation of (Kt,Dt)(K_t, D_t), pc(Kt,Dt)p_c(K_t, D_t) is non-increasing in tt.

4.4 Bitcoin Exit Dominance

The three preceding results all hold simultaneously in the Exit Game under the same hypotheses.

Theorem 2 (Bitcoin Exit Dominance). Under the four maintained assumptions A1–A4 of §3.1 (multipolarity, rational self-interest, computational hardness, network-effect persistence), the seven settlement properties P1–P7 of §3.2, the Exit Game GG of §3.3, the monotonicity conditions (M1)–(M4) of §3.4 governing payoff derivatives in pp, and the §3.5 sign conditions, the capital-weighted adoption process satisfies all three of:

  1. the payoff advantage of Exit over Stay is strictly increasing in pp for every player type (Proposition 1);

  2. no Stay coalition with at least one crossed-threshold member is self-enforcing (Proposition 2);

  3. {p>pc}\{p > p_c\} is coalition-proof, and pcp_c shifts monotonically downward under accumulating (Kt,Dt)(K_t, D_t) (Theorem 1).

Proof. Proposition 1 gives (i). Proposition 2, with (i) supplying the per-defector incentive, gives (ii). Theorem 1 gives (iii). The conjunction of (i)–(iii) is the Bitcoin Exit Dominance claim.

5. Conclusion

The Exit Game treats capital allocators, not sovereign issuers, as the agents who decide what counts as settlement. Bitcoin is an asset that no government issues, and to date has satisfied P1–P7. The question is no longer whether allocators can leave the capturable system, but whether continued debasement pushes adoption past the critical mass pcp_c.

All capital allocators choose reserve assets on perceived risk and ability to store value. Since the Global Financial Crisis central banks have been accumulating gold. Smaller allocators, with higher risk tolerance and lower position size, can shift first into an asset that holds gold’s monetary properties and satisfies P1, P4, and P5, which gold fails. §3.5 predicts that continued debasement keeps moving more allocators out of fiat.

A1–A4 are each independently load-bearing. A1 (persistent multipolarity) fails only if rival regimes coordinate and preference falsification no longer holds; rival seignorage is what holds the multipolar floor. A2 (rational self-interest) fails only if actors systematically forgo positive expected returns from unpunished defection. A3 (computational hardness) fails if either the underlying cryptography breaks and the protocol cannot replace it, or the economic incentive sustaining the mining subgame falls below the level §2 requires. A4 (persistence of network effects) fails only if the incumbency account of network goods is disproved.

The Bitcoin Exit Dominance claim is new and depends on two conditions outside this paper’s scope. First, no other consensus ledger holds all of P1–P7: alternatives must either fail one of the properties or fail to draw adoption. Second, autonomous AI agents that need a settlement asset choose Bitcoin rather than invent a new settlement asset. A companion paper in preparation addresses the first across consensus ledgers; a second extends neutral settlement to autonomous agents.

Acknowledgements.

The author thanks the game-theoretic tradition this paper rests on, from Von Neumann and Morgenstern through Nash and Selten to the equilibrium refinement program of Bernheim, Peleg and Whinston, which the Exit Game uses to reduce candidate equilibria to a provable coalition-proof state. The author also acknowledges Thorstein Veblen for the institutional-psychological tradition this paper draws on. Thanks to the readers who flagged the Theorem 1 ratchet-form gap and the redundancy of the volatility apparatus in the preprint. Finally, the author thanks Lyn Alden for popularizing the debasement concept to a general audience; her work in accelerating the broader recognition of fiat debasement aids the Exit Game. The author also acknowledges Arthur Hayes, Jeff Booth, Fred Krueger, Lawrence Lepard, and others whose public writing has accelerated the bitcoin-specific debasement discourse this paper formalizes.

Author Contributions.

S.H. is the sole author and conducted all aspects of the work, including conceptualization, formal analysis, and writing.

Conflict of Interest.

The author holds bitcoin and operates bitcoingametheory.com.

SymbolDefinition
GGSettlement game (N,S,u)(N, S, u)
NNSet of capital allocators
SiS_iStrategy set: {Exit,Stay}\{\text{Exit}, \text{Stay}\}
uiu_iUtility function
aia_iActor ii’s share of total capturable capital, iai=1\sum_i a_i = 1
ptp_tAggregate capital share at Exit at time tt: iExittai\sum_{i \in \text{Exit}_t} a_i
pi(K,D)p_i^*(K, D)Threshold for player ii at slowly varying state (K,D)(K, D)
pc(K,D)p_c(K, D)Critical-mass threshold at (K,D)(K, D)
KtK_tFinancial-repression recognition share, Kt[0,1]K_t \in [0, 1]
DtD_tDebasement-intensity index, Dt[0,)D_t \in [0, \infty)
Δi(p;K,D)\Delta_i(p; K, D)Payoff differential: ui(Exit)ui(Stay)u_i(\text{Exit}) - u_i(\text{Stay}) at (K,D)(K, D)
RB(p)R_B(p)Expected real return on neutral settlement asset
RFR_FExpected real return on capturable assets
KA(p)K_A(p)Conformity cost of acting before peers
RA(p)R_A(p)Realization and regulatory friction (decreases as adoption normalizes)
KN(p)K_N(p)Non-adoption penalty
κi,ρi\kappa_i, \rho_iConformity weight, friction weight (all >0> 0 strictly)
(M1)–(M4)Monotonicity conditions (§3.4)

Table A1. Notation used throughout.

6. Notes and References

  1. Nakamoto, S. “Bitcoin: a peer-to-peer electronic cash system.” White paper (2008) https://bitcoin.org/bitcoin.pdf

  2. U.S. Department of the Treasury, Office of Foreign Assets Control. “Iran-related Designations; Counter Terrorism and Iran-related Designation Update; Issuance of Iran-related General License.” OFAC Recent Actions (24 April 2026) https://ofac.treasury.gov/recent-actions/20260424

  3. Richardson, L. F. Arms and Insecurity: A Mathematical Study of the Causes and Origins of War. Pittsburgh: Boxwood Press / Chicago: Quadrangle Books 12–35 (1960).

  4. Powell, R. “Guns, butter, and anarchy.” American Political Science Review 87.1 115–132 (1993) https://doi.org/10.2307/2938960

  5. Armstrong, S., Bostrom, N., Shulman, C. “Racing to the precipice: a model of artificial intelligence development.” AI & Society 31.2 201–206 (2016) https://doi.org/10.1007/s00146-015-0590-y

  6. Cantillon, R. Essai sur la nature du commerce en général (c. 1755). English translation: Essay on the Nature of Trade in General, trans. Higgs, H. London: Macmillan 161–173 (1931).

  7. Brunnermeier, M. K., James, H., Landau, J.-P. “The digitalization of money.” NBER Working Paper 26300 (2019) https://doi.org/10.3386/w26300

  8. Budish, E. “The economic limits of Bitcoin and the blockchain.” NBER Working Paper 24717 (2018) https://doi.org/10.3386/w24717

  9. Eyal, I., Sirer, E. G. “Majority is not enough: Bitcoin mining is vulnerable.” Communications of the ACM 61.7 95–102 (2018) https://doi.org/10.1145/3212998

  10. Szabo, N. “Shelling Out: The Origins of Money.” Unenumerated (2002) https://nakamotoinstitute.org/library/shelling-out/

  11. Note on Budish (§2). The mining subgame imposes real costs that are a legitimate object of inefficiency analysis. The viewpoint of this paper is that those costs are not inefficiency in the rent-seeking sense but unforgeable costliness (Szabo10) sustaining neutral settlement: the specific property Bitcoin holders are paying to obtain. A full reconciliation with Budish’s bound is beyond the scope of one paper and is left to subsequent work.

  12. Biais, B., Bisière, C., Bouvard, M., Casamatta, C. “The blockchain folk theorem.” Review of Financial Studies 32.5 1662–1715 (2019) https://doi.org/10.1093/rfs/hhy095

  13. Garay, J., Kiayias, A., Leonardos, N. “The Bitcoin backbone protocol: analysis and applications.” In Advances in Cryptology – EUROCRYPT 2015, Lecture Notes in Computer Science 9057, Springer 281–310 (2015) https://doi.org/10.1007/978-3-662-46803-6_10

  14. Chen, L. “A game-theoretic foundation for Bitcoin’s price: a security-utility equilibrium.” arXiv:2508.06071 Working Paper (2025) https://arxiv.org/abs/2508.06071

  15. Katz, M. L., Shapiro, C. “Network externalities, competition, and compatibility.” American Economic Review 75.3 424–440 (1985) https://www.jstor.org/stable/1814809

  16. Menger, C. “On the Origin of Money.” Economic Journal 2.6 239–255 (1892) https://www.jstor.org/stable/2956146

  17. Arslanalp, S., Eichengreen, B., Simpson-Bell, C. “Gold as international reserves: a barbarous relic no more?” Journal of International Economics 145 103822 (2023) https://doi.org/10.1016/j.jinteco.2023.103822

  18. Fudenberg, D., Tirole, J. Game Theory. Cambridge: MIT Press 3–7 (1991).

  19. Milgrom, P., Shannon, C. “Monotone comparative statics.” Econometrica 62.1 157–180 (1994) https://doi.org/10.2307/2951479

  20. Feldstein, M. “Inflation and the stock market.” American Economic Review 70.5 839–847 (1980) https://www.jstor.org/stable/1805772

  21. Fisher, I. The Money Illusion. New York: Adelphi Company 3–22 (1928).

  22. International Monetary Fund. “World Economic Outlook Database.” IMF (October 2024) https://www.imf.org/en/Publications/WEO

  23. Reinhart, C. M., Sbrancia, M. B. “The liquidation of government debt.” Economic Policy 30.82 291–333 (2015) https://doi.org/10.1093/epolic/eiv003

  24. Kuran, T. Private Truths, Public Lies: The Social Consequences of Preference Falsification. Cambridge: Harvard University Press 3–21 (1995).

  25. Bernheim, B. D., Peleg, B., Whinston, M. D. “Coalition-proof Nash equilibria I. Concepts.” Journal of Economic Theory 42.1 1–12 (1987) https://doi.org/10.1016/0022-0531(87)90099-8

  26. Note on coalition-proofness vocabulary (§4.3). The claim is coalition-proofness in the Bernheim-Peleg-Whinston sense, not stochastic stability in the Young or Kandori-Mailath-Rob sense; the paper does not specify a perturbed best-response dynamic.