Byzantine Generals Problem

Das Byzantine Generals Problem stammt aus einem Paper von 1982 der Informatiker Leslie Lamport, Robert Shostak und Marshall Pease, die die Geschichte zerstrittener Generäle rund um eine feindliche Stadt nutzten, um eine ältere Frage der verteilten Systeme zu modellieren: Wie können unabhängige Parteien sich auf eine einzige, wahrheitsgetreue Version der Ereignisse einigen, wenn manche von ihnen lügen könnten und Nachrichten unterwegs verzögert, verloren oder gefälscht werden können?

Der eigentliche Beitrag des Papers war mathematischer, nicht militärischer Natur. Es wurde bewiesen, dass eine Gruppe nur dann zuverlässig Einigkeit erzielen kann, wenn weniger als ein Drittel ihrer Mitglieder fehlerhaft oder böswillig ist, eine Grenze, die später als Anforderung von mindestens 3f+1 Teilnehmern formalisiert wurde, um f böswillige Akteure tolerieren zu können. Diese Schwelle bildet die Grundlage für das, was heute als Byzantine Fault Tolerance bezeichnet wird: die Eigenschaft eines Systems, korrekt weiterzufunktionieren, selbst wenn einzelne Nodes unehrlich handeln oder ausfallen.

Öffentliche Blockchains stehen vor einer noch schwierigeren Version dieses Problems, da jeder anonym beitreten kann und es keine feste Liste von Generälen gibt, die für eine Abstimmung befragt werden könnte. Anstatt die abstimmungsbasierten Algorithmen zu übernehmen, die in permissioned Systemen üblich sind, machte das Design von Bitcoin aus dem Jahr 2008 Einigkeit teuer statt rein sozial: Miner im Bitcoin-Netzwerk konkurrieren darum, ein rechenintensives Rätsel zu lösen, und die Chain mit der meisten kumulierten Rechenarbeit gilt als Wahrheit, wodurch Lügen wirtschaftlich unvernünftig wird statt lediglich schwer erkennbar.

Spätere Netzwerke erreichten dasselbe Ziel mit wirtschaftlichem Einsatz statt roher Rechenleistung, wie bei Proof of Stake, bei dem Validatoren ihr eigenes Kapital riskieren und es bei unehrlichem Verhalten verlieren. Jeder Konsensmechanismus in Crypto ist im Kern eine andere praktische Antwort auf jene Frage von 1982, wie man Fremden vertrauen kann.