The consensus problem is one of the most central problems in distributed system. Paxos, an algorithm that solves this problem, can be used to im- plement replicated state machines (RSMs). By running Paxos for each of the ...