On: The Raft Consensus Algorithm

[tedsuo]

I don't believe it has been formally proven correct. I would love to see evidence that it has been proven to be mathematically equivalent to Paxos.

[justinsb → tedsuo]

My understanding is that Raft has been proven formally correct in one of the author's PhD:

https://ramcloud.stanford.edu/~ongaro/thesis.pdf (Chapter 8)

[tedsuo → justinsb]

That's great, they hadn't done this when I last talked to them.

[alexnewman → justinsb]

naw dog, they got tla+ and shiznick