This website explains the infamously difficult to understand Paxos consensus protocol using easy to understand invariants and code.

http://paxos.systems/