On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining
Authors:
- Loi LuuLLLoi Luu
- Ratul SahaRSRatul Saha
- Inian ParameshwaranIPInian Parameshwaran
- Prateek SaxenaPSPrateek Saxena
- Aquinas HoborAHAquinas Hobor
- 1 July 2015
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10636900,p. 397-411
Abstract
Several new services incentivize clients to compete in solving large computation tasks in exchange for financial rewards. This model of competitive distributed computation enables every user connected to the Internet to participate in a game in which he splits his computational power among a set of competing pools -- the game is called a computational power splitting game. We formally model this game and show its utility in analyzing the security of pool protocols that dictate how financial rewards are shared among the members of a pool. As a case study, we analyze the Bitcoin crypto currency which attracts computing power roughly equivalent to billions of desktop machines, over 70% of which is organized into public pools. We show that existing pool reward sharing protocols are insecure in our game-theoretic analysis under an attack strategy called the "block withholding attack". This attack is a topic of debate, initially thought to be ill-incentivized in today's pool protocols: i.e., causing a net loss to the attacker, and later argued to be always profitable. Our analysis shows that the attack is always well-incentivized in the long-run, but may not be so for a short duration. This implies that existing pool protocols are insecure, and if the attack is conducted systematically, Bitcoin pools could lose millions of dollars worth in months. The equilibrium state is a mixed strategy -- that is -- in equilibrium all clients are incentivized to probabilistically attack to maximize their payoffs rather than participate honestly. As a result, the Bitcoin network is incentivized to waste a part of its resources simply to compete.Keywords
This publication has 14 references indexed in Scilit:
- On Power Splitting Games in Distributed Computation: The Case of Bitcoin Pooled Mining2015
- The Miner's Dilemma2015
- Time-Optimal Interactive Proofs for Circuit Evaluation2013
- Practical verified computation with streaming interactive proofs2012
- Pipelined algorithms to detect cheating in long-term grid computationsTheoretical Computer Science, 2008
- Delegating computation2008
- BIND: A Fine-Grained Attestation Service for Secure Distributed Systems2005
- Searching for High-Value Rare Events with Uncheatable Grid Computing2005
- Probabilistic checking of proofsJournal of the ACM, 1998
- Multi-prover interactive proofs: how to remove intractability1988