SCP: A Computationally-Scalable Byzantine Consensus Protocol For Blockchains.
Probability and Computing: Randomized Algorithms and Probabilistic Analysis