Satoshi Nakamoto did not understand the "Byzantine Generals Problem," as is evidenced by the following: https://satoshi.nakamotoinstitute.org/emails/cryptography/11/
"**The proof-of-work chain is a solution to the Byzantine Generals' Problem.** I'll try to rephrase it in that context."
Let us first make it quite clear that, for 2n+1+m nodes (which vertices are simultaneously message-radiating "generals", message-reflecting or, in the case of faulty/malignant elements, transmitting or absorbing witnesses, and message-absorbing lieutenants), no "do gooder consensus", in the case interesting us to be understood as meaning that truth is what "good guys" *decide* it to be, can be ascertained unless the traitors/fomenters' contingent m isn't above n (the problem isn't a problem if n vanishes, because for evil to overcome good, it has to exist.)
Instead of a reductio ad absurdum we shall succinctly analyze i.e., slaughter the beast at hand and excise from within its innards, that is in the very question, its general solution.
We shall as well discover that substituting reason for faith, computation for trust, complicates, slows down, hampers, squanders, pollutes i.e., is, in a word, inefficient.
"**The proof-of-work chain is a solution to the Byzantine Generals' Problem.** I'll try to rephrase it in that context."
Let us first make it quite clear that, for 2n+1+m nodes (which vertices are simultaneously message-radiating "generals", message-reflecting or, in the case of faulty/malignant elements, transmitting or absorbing witnesses, and message-absorbing lieutenants), no "do gooder consensus", in the case interesting us to be understood as meaning that truth is what "good guys" *decide* it to be, can be ascertained unless the traitors/fomenters' contingent m isn't above n (the problem isn't a problem if n vanishes, because for evil to overcome good, it has to exist.)
Instead of a reductio ad absurdum we shall succinctly analyze i.e., slaughter the beast at hand and excise from within its innards, that is in the very question, its general solution.
We shall as well discover that substituting reason for faith, computation for trust, complicates, slows down, hampers, squanders, pollutes i.e., is, in a word, inefficient.
