When Should Selfish Miners Double-Spend?
Mustafa Doger, Sennur Ulukus
TL;DR
<3-5 sentence high-level summary> The paper investigates the profitability and risk of a combined double-spending and selfish mining attack in Nakamoto-style blockchains by introducing the $L$-stubborn mining framework, parameterized by adversarial share $\alpha$ and network influence $\gamma$. It derives closed-form revenue-ratio expressions $\rho_L$, identifies the maximal stubbornness $\Bar{L}$ for which the attack remains profitable, and shows that when $\Bar{L}>k$ under a $k$-confirmation rule, double-spending can occur at no cost to the attacker. A stealth variant, $S$-stealth mining, is proposed to conceal the attack and increase double-spend probability, with corresponding revenue and probability analyses. Numerical results demonstrate close alignment with epsilon-optimal MDP solutions and reveal actionable thresholds for Bitcoin-like settings, while connecting the analysis to Catalan numbers and Bertrand's ballot problem for exact combinatorial insight.
Abstract
Conventional double-spending attack models ignore the revenue losses stemming from the orphan blocks. On the other hand, selfish mining literature usually ignores the chance of the attacker to double-spend at no-cost in each attack cycle. In this paper, we give a rigorous stochastic analysis of an attack where the goal of the adversary is to double-spend while mining selfishly. To do so, we first combine stubborn and selfish mining attacks, i.e., construct a strategy where the attacker acts stubborn until its private branch reaches a certain length and then switches to act selfish. We provide the optimal stubbornness for each parameter regime. Next, we provide the maximum stubbornness that is still more profitable than honest mining and argue a connection between the level of stubbornness and the $k$-confirmation rule. We show that, at each attack cycle, if the level of stubbornness is higher than $k$, the adversary gets a free shot at double-spending. At each cycle, for a given stubbornness level, we rigorously formulate how great the probability of double-spending is. We further modify the attack in the stubborn regime in order to conceal the attack and increase the double-spending probability.
