4 ms·

I referred in the top level comment above to Byzantine Paxos, a modified version of Paxos that is BFT. http://en.wikipedia.org/wiki/Paxos_(computer_science)#By

• hendzen 13y ago
  Ah - when the term Paxos is used it is usually in reference to the original, non-BFT algorithm. Also, Google's implementations of Paxos (in Chubby, as well as Megastore) are non-BFT, and I am not aware of any use of Byzantine Paxos in production elsewhere.
  • sigil 13y ago
    Interesting, and makes sense. Why would you need the full BFT Paxos among trusted participants? Still, the claim that Bitcoin represents "a breakthrough in computer science" on the Byzantine Generals Problem rings false to me. First, we already had BFT algorithms, just no compelling need for them. Second, if this is really a computer science breakthrough, where's the proof? Don't get me wrong, I think Bitcoin is an enormous breakthrough in engineering terms. It's just too important now to not have the proven properties we're relying on.