Fast Byzantine Paxos
Paxos Made Simple