[5] Matthew Green et al. Zerocash: Decentralized anonymous pay- ments from bitcoin. http://zerocash-project.org/media/pdf/ zerocash-extended-20140518.pdf, 2014. [6] ThomasSchelling. The Strategy of conflict. Cambridge: Harvard University Press, 1960. [7] Bitcoin Wiki. Weaknesses. https://en.bitcoin.it/wiki/Attacks# Attacker_has_a_lot_of_computing_power, 2014. [8] Gaving Andresen. Centralized mining. https://bitcoinfoundation. org/2014/06/13/centralized-mining/, 2014. [9] Bitcoin Wiki. Tragedy of the commons. https://en.bitcoin.it/wiki/ Tragedy_of_the_Commons, 2014. [10] Bitcoin Wiki. Dominant assurance contracts. https://en.bitcoin.it/ wiki/Dominant_Assurance_Contracts, 2014. [11] Simon de la Rouviere. Not actually capped at 100 billion? https:// github.com/dogecoin/dogecoin/issues/23, 2013. [12] Debian project. Computer language benchmarks game. http: //benchmarksgame.alioth.debian.org/u32/benchmark.php?test= all&lang=all&data=u32, 2014. [13] Scott Owens. A sound semantics for ocaml light. http://www.cl.cam.ac. uk/~so294/ocaml/paper.pdf, 2008. [14] Ben Laurie. Decentralised currencies are probably impossible, but let’s at least make them efficient. http://www.links.org/files/ decentralised-currencies.pdf, 2011. [15] Vitalik Butterin. Slasher: A punitive proof-of-stake algorithm. https://blog.ethereum.org/2014/01/15/ slasher-a-punitive-proof-of-stake-algorithm/, 2014. [16] Robin Hanson. Shall we vote on values, but bet on beliefs? http:// hanson.gmu.edu/futarchy3.pdf, 2013. 18