Agreement with Satoshi - On the Formalization of Nakamoto Consensus.
Practical byzantine fault tolerance