http://web.archive.org/web/20090309175840/http://www.bitcoin...
A number of Byzantine Generals each have a computer and want to attack the King's wi-fi by brute forcing the password, which they've learned is a certain number of characters in length. Once they stimulate the network to generate a packet, they must crack the password within a limited time to break in and erase the logs, lest they be discovered. They only have enough CPU power to crack it fast enough if a majority of them attack at the same time.
They don't particularly care when the attack will be, just that they agree. It has been decided that anyone who feels like it will announce an attack time, which we'll call the "plan", and whatever plan is heard first will be the official plan. The problem is that the network is not instantaneous, and if two generals announce different plans at close to the same time, some may hear one first and others hear the other first.
They use a proof-of-work chain to solve the problem. Once each general receives whatever plan he hears first, he sets his computer to solve a difficult hash-based proof-of-work problem that includes the plan in its hash. The proof-of-work is difficult enough that with all of them working at once, it's expected to take 10 minutes before one of them finds a solution and broadcasts it to the network. Once received, everyone adjusts the hash in their proof-of-work computation to include the first solution, so that when they find the next proof-of-work, it chains after the first one. If anyone was working on a different plan, they switch to this one, because its proof-of-work chain is now longer.
After about two hours, the plan should be hashed by a chain of 12 proofs-of-work. Every general, just by verifying the difficulty of the proof-of-work chain, can estimate how much parallel CPU power per hour was expended on it and see that it must have required the majority of the computers to produce in the allotted time. At the least, most of them had to have seen the plan, since the proof-of-work is proof that they worked on it. If the CPU power exhibited by the proof-of-work is sufficient to crack the password, they can safely attack at the agreed time.
(Rhetorical question, you'll find the answer in the last section of the bitcoin whitepaper.)
One of the funniest things I've read about tech.
JAMES: I announce my desire to go to lunch.
BRYAN: I verify that I heard that you want to go to lunch.
RICH: I also verify that I heard that you want to go to lunch.
CHRIS: YOU DO NOT WANT TO GO TO LUNCH.
JAMES: OH NO. LET ME TELL YOU AGAIN THAT I WANT TO GO TO LUNCH.
CHRIS: YOU DO NOT WANT TO GO TO LUNCH.
BRYAN: CHRIS IS FAULTY.
CHRIS: CHRIS IS NOT FAULTY.
RICH: I VERIFY THAT BRYAN SAYS THAT CHRIS IS FAULTY.
BRYAN: I VERIFY MY VERIFICATION OF MY CLAIM THAT RICH CLAIMS THAT I KNOW CHRIS.
JAMES: I AM SO HUNGRY.
CHRIS: YOU ARE NOT HUNGRY.
RICH: I DECLARE CHRIS TO BE FAULTY.
CHRIS: I DECLARE RICH TO BE FAULTY.
JAMES: I DECLARE JAMES TO BE SLIPPING INTO A DIABETIC COMA.
RICH: I have already left for the cafeteria.Other examples can be found towards the bottom of his MSR page[0] (search for "humor").
Indeed, the common discovery mode for an impossibly
large buffer error is that your program seems to be
working fine, and then it tries to display a string
that should say “Hello world,” but instead it prints
“#a[5]:3!” or another syntactically correct Perl
script, and you’re like WHAT THE HOW THE, and then
you realize that your prodigal memory accesses have
been stomping around the heap like the Incredible Hulk
when asked to write an essay entitled “Smashing
Considered Harmful.”What did the poster want to indicate?
[1] http://nonchalantrepreneur.com/post/70130104170/bitcoin-and-...
Bitcoin's solution is a pretty good one for its use case. Most other solutions would have trouble scaling like the blockchain can, but in many applications its very long consensus lead time would be unacceptable.
* Castro and Liskov, "Practical Byzantine Fault Tolerance", http://www.pmg.lcs.mit.edu/papers/osdi99.pdf As the title says, this paper describes a practical consensus algorithm that tolerates Byzantine failures. In some ways it is provably optimal.
* Lamport, "Leaderless Byzantine Paxos", http://research.microsoft.com/en-us/um/people/lamport/pubs/d... Interesting follow-on from Castro and Liskov, removing the role of the leader.
* Driscoll, "Murphy was an Optimist", http://www.rvs.uni-bielefeld.de/publications/DriscollMurphyv... These things really happen in practice.
* van Renesse et al, "Byzantine Chain Replication", http://www.cs.cornell.edu/home/rvr/newpapers/opodis2012.pdf Very fast replication in a model that allows Byzantine failures.
Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling [http://people.csail.mit.edu/benmv/hrdb-sosp07.pdf]