Check out Heidi Howard's work for some nice generalisations and variations of Paxos. Her approach using immutable state makes things more tractable.

https://blog.acolyer.org/2019/03/08/a-generalised-solution-t... https://youtu.be/KTHOwgpMIiU