Interested? Intrigued? Something to report?
Feel free to get in touch with us.
Concept, Organization, Back-end Bugs
Design, Front-end Bugs
Please talk to your local organizers instead. There's a link to their email address on the About page.
This one’s for you, Cliff.
Don’t forget to lean into it.
The Byzantine Generals Problem
by Leslie Lamport & al.
Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of the system. This situation can be expressed abstractly in terms of a group of generals of the Byzantine army camped with their troops around an enemy city. Communicatingonly by messenger, the generals must agree upon a common battle plan. However, one or more of them may be traitors who will try to confuse the others. The problem is to find an algorithm to ensure that the loyal generals will reach agreement. It is shown that, using only oral messages, this problem is solvable if and only if more than two-thirds of the generals are loyal; so a single traitor can confound two loyal generals. With unforgeable written messages, the problem is solvable for any number of generals and possible traitors. Applications of the solutions to reliable computer systems are then discussed.