Byzantine Fault Tolerance (BFT)

Byzantine Fault Tolerance beschreibt eine mathematische Eigenschaft, keine bestimmte Software: Ein Netzwerk besitzt sie, wenn sich ehrliche Teilnehmer weiterhin auf den korrekten Zustand des Systems einigen können, selbst wenn einige Nodes abstürzen, offline gehen oder aktiv widersprüchliche oder falsche Informationen an verschiedene Peers senden. Der Name stammt vom Byzantine Generals Problem, einem Gedankenexperiment über die Koordination eines Angriffs, bei dem einige Generäle Verräter sein könnten, die widersprüchliche Befehle an unterschiedliche Teile der Armee weitergeben.

In der Praxis teilen die meisten BFT-Designs eine feste Grenze: Der Konsens bleibt sicher, solange weniger als ein Drittel der teilnehmenden Nodes defekt oder unehrlich ist, eine Grenze, die 1999 durch den Practical-Byzantine-Fault-Tolerance-Algorithmus (pBFT) von Castro und Liskov bewiesen wurde. pBFT funktioniert so, dass ein rotierender Leader einen Block vorschlägt und jede Replik mehrere Runden signierter Nachrichten austauscht, bis eine qualifizierte Mehrheit zustimmt, was sofortige Finalität liefert, aber eine intensive Node-zu-Node-Kommunikation erfordert, die die Skalierbarkeit einschränkt.

Blockchains übernahmen das BFT-Denken, um dasselbe Vertrauensproblem zwischen gegenseitig misstrauischen Fremden zu lösen, statt zwischen bekannten Servern in einem Rechenzentrum. Tendermint, die Konsens-Engine hinter dem Cosmos-Ökosystem, vereinfacht pBFT zu Propose-, Prevote- und Precommit-Runden unter Validatoren und finalisiert Blöcke, sobald zwei Drittel des Stimmgewichts zustimmen. Hyperledger Fabric nutzt einen pBFT-ähnlichen Ordering-Service für permissioned Enterprise-Chains, und Ethereums Casper-FFG-Finalitätsmodul übernimmt von BFT abgeleitete Sicherheitsgarantien, um Blöcke auf der Beacon Chain zu checkpointen.

Der Kompromiss liegt zwischen Skalierbarkeit und Sicherheit: BFT-Systeme kommen gut mit böswilligen Akteuren zurecht, benötigen aber mit wachsender Validator-Menge mehr Nachrichten-Overhead. Deshalb begrenzen viele Chains die Anzahl aktiver Validatoren oder kombinieren BFT-Runden mit anderen Mechanismen, um Geschwindigkeit, Dezentralisierung und Sicherheit auszubalancieren.