I'm always skeptical when I see a new Paxos implementation surface without rigorous consistency test results published front and center. Per Google's "Paxos Ma

I'm always skeptical when I see a new Paxos implementation surface without rigorous consistency test results published front and center. Per Google's "Paxos Made Live" paper [1], which opens with the wonderful understatement "Despite the existing literature in the field, building such a database proved to be non-trivial...", and finishes with "Despite the large body of literature in the field, algorithms dating back more then 15 years, and experience of our team (one of us has designed a similar system before and the others have built other types of complex systems in the past), it was significantly harder to build this system then originally anticipated..." IOW if Google writes a 15-page paper about a problem being hard, you are going to need to provide a large body of evidence that your implementation is correct before I'll go near it. [1]: http://www.cs.cmu.edu/~15-440/READINGS/paxos-made-live.pdf http://www.cs.cmu.edu/~15-440/READINGS/paxos-made-live.pdf