Raft is a lot easier to digest than paxos: https://raft.github.io/raft.pdf