abstract-paxos A consensus that unifies paxos, raft, 2pc, etc. V1(中文): abstract-paxos-v1-cn. Proof and explaination. Define classic paxos and raft with abastract-paxos.