Practical byzantine fault tolerance and proactive recovery
Asynchronous consensus and broadcast protocols