The Blockchain Folk Theorem
71 Pages Posted: 25 Jan 2018
Date Written: January 5, 2018
Blockchains are distributed ledgers, operated within peer-to-peer networks. If reliable and stable, they could offer a new, cost effective way to record transactions, but are they? We model the proof-of-work blockchain protocol as a stochastic game and analyse the equilibrium strategies of rational, strategic miners. Mining the longest chain is a Markov perfect equilibrium, without forking, in line with Nakamoto (2008). The blockchain protocol, however, is a coordination game, with multiple equilibria. There exist equilibria with forks, leading to orphaned blocks and persistent divergence between chains. We also show how forks can be generated by information delays and software upgrades. Last we identify negative externalities implying that equilibrium investment in computing capacity is excessive.
Keywords: blockchain, forks, proof-of-work, distributed ledger, multiplicity of equilibria, coordination game
JEL Classification: C73, G2, L86
Suggested Citation: Suggested Citation