Просто о Paxos не очень получается несмотря на название Paxos made simple. Мне сложно осознать этот материал. Но в целом очень нравится стиль изложения Лампорта. По ходу повествования вводятся новые и новые минимальные требования, чем доказывается их необходимость. И когда все что можно придумать, введено, требуется доказать достаточность и готово!