Mencius: Building Efficient Replicated State Machine for WANs
Practical byzantine fault tolerance and proactive recovery