Byzantine Consensus from Moderately-Hard Puzzles : A Model for Bitcoin
Impossibility of distributed consensus with one faulty process