Byzantine Consensus from Moderately-Hard Puzzles : A Model for Bitcoin
Probability and Computing: Randomized Algorithms and Probabilistic Analysis