Agreement with Satoshi - On the Formalization of Nakamoto Consensus.
Reaching Agreement in the Presence of Faults