Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper addresses the rationality of honest Bitcoin mining by deriving near-tight theoretical bounds on incentive compatibility using a more realistic model that expands the miner action space and incorporates asymmetric tie-breaking parameters. By overcoming the limitations of previous theoretical approaches, the authors present an algorithm that achieves a maximum error of only $9.98006\times10^{-4}$ in calculating these bounds. The findings significantly enhance our understanding of incentive structures in proof-of-work blockchains, providing a more accurate framework for evaluating miner behavior.
Near-tight bounds reveal that honest Bitcoin mining is more rational than previously thought, challenging existing assumptions in blockchain incentive design.
When is honest Bitcoin mining rational? This question is central to the incentive design of proof-of-work blockchains. Sapirshtein et al. computationally derived near-tight lower and upper bounds on the incentive-compatibility threshold using a Markov Decision Process. Kiayias et al.'s Blockchain Mining Games instead derived theoretical lower and upper bounds. However, this theoretical approach has two limitations: its model restricts miners to a narrow action space and assumes idealized tie behavior, and its lower and upper bounds are far from tight. We resolve both limitations. We develop a more realistic model with a broader miner action space and asymmetric tie-breaking parameters $\gamma^-$ and $\gamma^+$. We then propose an algorithm that computes lower and upper bounds on the incentive-compatibility threshold with a maximum error of $9.98006\times10^{-4}$.