4 ms·

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 12y ago
  My understanding is that Raft has been proven formally correct in one of the author's PhD: https://ramcloud.stanford.edu/~ongaro/thesis.pdf https://ramcloud.stanford.edu/~ongaro/thesis.pdf (Chapter 8)
  • alexnewman 12y ago
    naw dog, they got tla+ and shiznick
  • tedsuo 12y ago
    That's great, they hadn't done this when I last talked to them.