Byzantine Fault Tolerance (BFT) 2026 erklärt: 3f+1, pBFT, CFT, Safety/Liveness, Tendermint, HotStuff, DAG-BFT & Finalität

Um f byzantinische (böswillige oder beliebig fehlerhafte) Teilnehmer zu tolerieren, benötigt ein klassisches BFT-System mindestens 3f+1 Knoten. Der Grund ist mathematisch: Das System muss eine Entscheidung treffen können, selbst wenn f Knoten lügen und gleichzeitig weitere f Knoten gerade nicht erreichbar sind. Damit die verbleibenden ehrlichen, erreichbaren Knoten (n minus 2f) immer noch eine echte Mehrheit gegenüber den f Lügnern bilden, muss n mindestens 3f+1 betragen. Bei einem tolerierten Fehler braucht man also vier Knoten, bei zwei Fehlern sieben, bei drei Fehlern zehn. Daraus folgt direkt die bekannte Ein-Drittel-Grenze: Ein BFT-System bleibt sicher, solange weniger als ein Drittel der Knoten byzantinisch handelt. Diese 3f+1-Regel ist das Fundament fast aller BFT-Protokolle von pBFT bis zu modernen Varianten wie Tendermint und HotStuff.

Damit ein Block oder eine Entscheidung in einem BFT-System als endgültig gilt, müssen ihr mehr als zwei Drittel der Stimmgewichte zustimmen. Diese Schwelle entsteht direkt aus der 3f+1-Regel: Da bis zu f Knoten von insgesamt 3f+1 böswillig sein dürfen, muss ein Quorum von mindestens 2f+1 Knoten zustimmen, damit garantiert ist, dass mindestens f+1 davon ehrlich sind. Dieses überlappende Quorum sorgt dafür, dass keine zwei widersprüchlichen Entscheidungen gleichzeitig endgültig werden können, denn zwei Mengen von je mehr als zwei Dritteln teilen sich zwangsläufig mindestens einen ehrlichen Knoten. Genau deshalb spricht man bei BFT-Ketten von der Zwei-Drittel-Schwelle: Erst wenn mehr als zwei Drittel zustimmen, ist eine Entscheidung sicher und unumkehrbar.

CFT steht für Crash Fault Tolerance und BFT für Byzantine Fault Tolerance – sie unterscheiden sich darin, welche Art von Fehlern sie aushalten. Ein CFT-System toleriert nur Knoten, die ausfallen oder schweigen, also schlicht offline gehen. Es geht davon aus, dass alle aktiven Knoten ehrlich sind. Klassische CFT-Protokolle wie Raft oder Paxos benötigen daher nur 2f+1 Knoten, um f Ausfälle zu verkraften. Ein BFT-System muss dagegen auch mit Knoten zurechtkommen, die aktiv böswillig handeln: lügen, widersprüchliche Nachrichten senden oder das Protokoll gezielt sabotieren. Das ist deutlich schwerer und erfordert mindestens 3f+1 Knoten. In offenen, dezentralen Blockchains, in denen man Teilnehmern nicht vertrauen kann, ist BFT zwingend nötig – CFT reicht nur in geschlossenen, vertrauenswürdigen Umgebungen aus.

Das Byzantinische Generäle-Problem ist das Gedankenexperiment, das der gesamten Theorie ihren Namen gibt. Es wurde 1982 von Leslie Lamport, Robert Shostak und Marshall Pease formuliert. Mehrere Generäle einer byzantinischen Armee belagern eine Stadt und können nur über Boten kommunizieren. Sie müssen sich gemeinsam entweder zum Angriff oder zum Rückzug entscheiden – ein unkoordiniertes Vorgehen führt zur Niederlage. Das Problem: Einige Generäle oder Boten könnten Verräter sein und widersprüchliche Nachrichten verbreiten. Die Frage lautet, ob die loyalen Generäle dennoch eine gemeinsame, korrekte Entscheidung erreichen können. Die Antwort der Forschung war: Ja, aber nur, solange weniger als ein Drittel der Beteiligten Verräter sind. Übertragen auf Blockchains bedeutet das, dass ein Netzwerk auch bei einem Teil böswilliger Knoten zu einem korrekten gemeinsamen Zustand finden kann.

Safety und Liveness sind die zwei zentralen Garantien jedes Konsens-Protokolls. Safety bedeutet vereinfacht: Es passiert nie etwas Falsches. Konkret werden keine zwei ehrlichen Knoten jemals widersprüchliche Entscheidungen als endgültig akzeptieren – die Geschichte der Blockchain bleibt also konsistent und gabelt sich nicht dauerhaft. Liveness bedeutet: Es passiert irgendwann etwas Richtiges. Das Netzwerk macht Fortschritt und produziert neue, gültige Blöcke, statt stehenzubleiben. Die Kunst beim Protokolldesign liegt darin, beide Eigenschaften zu garantieren. Viele moderne BFT-Protokolle priorisieren im Zweifel die Safety: Lieber bleibt das Netzwerk kurz stehen (Liveness-Verlust), als dass es eine falsche, widersprüchliche Entscheidung trifft (Safety-Verlust). Diese Wahl ist bewusst, weil eine gespaltene Blockchain weit schädlicher wäre als ein vorübergehender Stillstand.

Das FLP-Theorem, benannt nach Fischer, Lynch und Paterson (1985), ist ein fundamentales Ergebnis der Informatik. Es besagt, dass in einem vollständig asynchronen Netzwerk – in dem Nachrichten beliebig lange verzögert werden können – kein deterministisches Protokoll garantieren kann, sowohl immer sicher (safe) als auch immer fortschreitend (live) zu sein, sobald auch nur ein einziger Knoten ausfallen kann. Anders gesagt: Perfekter Konsens ist unter völliger Asynchronität theoretisch unmöglich. Praktische BFT-Protokolle umgehen dieses Hindernis durch die Annahme partieller Synchronität: Sie sichern die Safety jederzeit, garantieren aber Liveness erst, sobald das Netzwerk wieder ausreichend zuverlässig ist (ab der sogenannten Global Stabilization Time). Das FLP-Theorem erklärt, warum reale Protokolle immer solche Annahmen über das Netzwerkverhalten treffen müssen.

pBFT, vorgestellt 1999 von Miguel Castro und Barbara Liskov, war das erste BFT-Protokoll, das effizient genug für den praktischen Einsatz war – daher das Practical im Namen. Davor galten BFT-Verfahren als zu langsam für reale Systeme. pBFT funktioniert mit einem Anführer (Primary) und mehreren Replikaten und durchläuft pro Entscheidung drei Kommunikationsphasen: pre-prepare, prepare und commit. In diesen Runden tauschen die Knoten signierte Nachrichten aus, bis mehr als zwei Drittel übereinstimmen. pBFT toleriert f Fehler bei 3f+1 Knoten und liefert sofortige, deterministische Endgültigkeit. Sein Nachteil ist die Nachrichtenkomplexität: Da jeder Knoten mit jedem kommuniziert, wächst der Aufwand quadratisch mit der Teilnehmerzahl, was pBFT für sehr große, offene Netzwerke ungeeignet macht. Moderne Protokolle wie HotStuff haben genau dieses Skalierungsproblem gelöst.

Die drei Phasen von pBFT – pre-prepare, prepare und commit – sind kein willkürliches Design, sondern mathematisch notwendig, um Sicherheit in einer feindlichen Umgebung zu garantieren. Mit nur einer Runde ließe sich böswilliges Schweigen eines Knotens nicht von einer einfachen Netzwerkverzögerung unterscheiden. Mit zwei Runden können Inkonsistenzen zwar erkannt werden, aber es gibt noch keine Gewissheit, dass alle ehrlichen Knoten zur selben Sicht gelangt sind. Erst die dritte Runde stellt sicher, dass jeder Knoten weiß, dass auch alle anderen dasselbe gesehen haben – die Mindestbedingung für einen sicheren, endgültigen Commit. Diese dreistufige Logik findet sich in abgewandelter Form auch in moderneren BFT-Protokollen wieder und erklärt, warum Konsens unter potenziellen Verrätern grundsätzlich mehr Kommunikationsaufwand erfordert als in einem reinen Crash-Fehler-Modell.

CometBFT, früher als Tendermint Core bekannt, ist eine der am weitesten verbreiteten BFT-Konsens-Engines und bildet das Fundament des Cosmos-Hub und hunderter Cosmos-SDK-Blockchains. Es wird von Informal Systems gepflegt. CometBFT arbeitet anführer- und rundenbasiert: Validatoren schlagen reihum Blöcke vor und stimmen in zwei Phasen – pre-vote und pre-commit – darüber ab. Ein Block gilt als committet, sobald Validatoren mit mehr als zwei Dritteln der Stimmgewichte zustimmen. Das Besondere ist die sofortige, deterministische Finalität: Einmal committet, kann ein Block nicht mehr rückgängig gemacht werden, es gibt keine Forks oder Reorganisationen. Ein Locking-Mechanismus sorgt dafür, dass Validatoren, die bereits mehr als zwei Drittel der Vorabstimmungen für einen Block gesehen haben, nicht leichtfertig zu einem anderen wechseln – so bleibt die Safety auch über mehrere Runden erhalten. Typischerweise laufen solche Ketten mit etwa 50 bis 175 aktiven Validatoren.

HotStuff, 2019 vorgestellt, ist ein anführerbasiertes BFT-Protokoll, das ein zentrales Problem älterer Verfahren wie pBFT löste: deren quadratische Nachrichtenkomplexität. Während bei pBFT jeder Knoten mit jedem kommuniziert, erreicht HotStuff durch eine geschickte Kommunikationsstruktur über den Anführer einen linearen Nachrichtenaufwand. Das macht es deutlich besser skalierbar für größere Validatoren-Sets. HotStuff toleriert ebenfalls f Fehler bei 3f+1 Knoten und liefert deterministische Finalität. Es wurde zur Grundlage mehrerer moderner Blockchains – ursprünglich für das Diem-Projekt entwickelt, lebt seine Idee heute in Netzwerken wie Aptos und Monad sowie in DAG-Varianten weiter. HotStuff markiert den Übergang von der klassischen, schwer skalierbaren BFT hin zu den hochperformanten Konsens-Protokollen, die heute in vielen Layer-1-Blockchains zum Einsatz kommen.

DAG-basierte BFT-Protokolle sind die jüngste Entwicklungsstufe und zielen auf maximalen Durchsatz. Statt Transaktionen in einer einzigen linearen Kette zu ordnen, organisieren sie die Daten in einem gerichteten azyklischen Graphen (DAG). Das verbreitete Modell trennt zwei Aufgaben: Narwhal sorgt für die Verfügbarkeit und Verbreitung der Transaktionsdaten, während ein separater Algorithmus wie Bullshark oder Mysticeti die endgültige Reihenfolge festlegt. Diese Trennung erlaubt eine Pipeline, in der Datenverbreitung und Ordnung parallel laufen. Die Sui-Blockchain nutzt seit 2024 Mysticeti, einen unzertifizierten DAG-Ansatz, der die Latenz gegenüber dem Vorgänger Bullshark um rund 80 Prozent senkte und unter realen Bedingungen Endgültigkeit in etwa einer halben Sekunde erreicht. DAG-BFT zeigt, wie sich das ursprüngliche Skalierungslimit klassischer BFT-Protokolle durch parallele Verarbeitung überwinden lässt.

Ethereum sichert seinen Proof-of-Stake-Konsens mit Gasper, einer Kombination aus dem Finality-Gadget Casper FFG und der Fork-Choice-Regel LMD-GHOST. Validatoren hinterlegen 32 ETH als Einsatz und stimmen über sogenannte Checkpoints ab. Erhält ein Checkpoint-Paar Stimmen von mindestens zwei Dritteln des gesamten gestakten ETH, wird es zunächst justiziert und anschließend finalisiert. Finalisierte Blöcke gelten als praktisch unumkehrbar, denn ein Rückgängigmachen würde wirtschaftlich katastrophale Verluste für die Angreifer bedeuten: Bei einem Double-Vote werden bis zu ein Drittel des gestakten ETH durch Slashing vernichtet. Anders als die sofortige Finalität von CometBFT arbeitet Gasper mit einer epochenbasierten Checkpoint-Finalität, die einige Minuten benötigt. Ethereum forscht aber an einer Single Slot Finality, um diese Zeit künftig drastisch zu verkürzen. Gasper ist damit ein Beispiel für BFT-Prinzipien, kombiniert mit ökonomischen Anreizen aus dem Staking.

Finalität beschreibt, ab wann eine Transaktion als endgültig und unumkehrbar gilt. Bei probabilistischer Finalität, wie sie Bitcoin mit Proof of Work nutzt, wird eine Transaktion nie zu hundert Prozent endgültig, sondern nur immer wahrscheinlicher: Je mehr Blöcke darauf folgen, desto unwahrscheinlicher wird eine Rückabwicklung. Deshalb wartet man bei Bitcoin oft auf mehrere Bestätigungen. Bei deterministischer Finalität, wie sie BFT-Protokolle wie CometBFT bieten, ist eine Transaktion dagegen sofort und endgültig bestätigt, sobald mehr als zwei Drittel der Validatoren zugestimmt haben – ohne dass eine Reorganisation der Kette möglich wäre. Der Vorteil deterministischer Finalität liegt in der Geschwindigkeit und Sicherheit für hochwertige Anwendungen; der Preis ist oft ein kleinerer, fester Validatoren-Kreis. Dieser Unterschied ist einer der wichtigsten praktischen Effekte von BFT gegenüber dem klassischen Nakamoto-Konsens.

Klassische BFT-Protokolle wurden für geschlossene Systeme mit bekannter Teilnehmerzahl entworfen. In offenen Blockchains muss aber zusätzlich verhindert werden, dass ein Angreifer beliebig viele gefälschte Identitäten erstellt, um die Ein-Drittel-Grenze zu unterlaufen – das sogenannte Sybil-Problem. Proof of Stake löst das, indem das Stimmgewicht eines Validators an seinen hinterlegten Einsatz (Stake) gekoppelt wird, nicht an die bloße Anzahl der Knoten. Ein Angreifer müsste also nicht nur viele Identitäten kontrollieren, sondern mehr als ein Drittel des gesamten gestakten Vermögens besitzen, was extrem teuer wäre. Zusätzlich sorgt Slashing dafür, dass nachweislich böswilliges Verhalten den Einsatz vernichtet. So verbinden Netzwerke wie Ethereum, Cosmos oder andere die mathematische Sicherheit der BFT-Schwellen mit den wirtschaftlichen Anreizen des Stakings zu einem robusten Gesamtsystem.

BFT-Prinzipien stecken 2026 in sehr vielen bekannten Netzwerken, oft in unterschiedlichen Ausprägungen. Der Cosmos-Hub und hunderte darauf aufbauende Ketten nutzen CometBFT (früher Tendermint) für sofortige Finalität. Die Sui-Blockchain setzt auf das DAG-basierte Mysticeti. Aptos und Monad bauen auf HotStuff-Ideen auf. Ethereum kombiniert mit Gasper BFT-Finalität und Proof of Stake. Hedera nutzt mit Hashgraph einen asynchronen BFT-Ansatz. Das XRP Ledger verwendet ein eigenes, föderiertes Übereinkommensmodell, das verwandte Prinzipien anwendet. Auch Unternehmensplattformen wie Hyperledger Fabric setzen BFT-Verfahren ein. Wichtig ist: Nicht jede Blockchain nutzt reines BFT – Bitcoin etwa beruht auf Proof of Work mit probabilistischer Finalität. Aber die meisten modernen, auf Geschwindigkeit und sofortige Endgültigkeit ausgelegten Layer-1-Netzwerke setzen heute auf BFT-basierte Verfahren.

Der klassische Nachteil von BFT ist der Kommunikationsaufwand. In Protokollen wie pBFT muss im Prinzip jeder Knoten mit jedem anderen kommunizieren, wodurch die Zahl der Nachrichten quadratisch mit der Teilnehmerzahl wächst. Bei wenigen Dutzend Validatoren ist das unproblematisch, bei Tausenden wird es schnell unpraktikabel. Deshalb laufen viele BFT-Ketten mit einem bewusst begrenzten Validatoren-Set von oft einigen Dutzend bis wenigen Hundert. Das bringt einen Zielkonflikt mit sich: Ein kleinerer Kreis ermöglicht schnelle, sofortige Finalität, kann aber als weniger dezentral gelten als ein offenes Netzwerk mit Zehntausenden Teilnehmern wie bei Bitcoin. Moderne Protokolle mildern dieses Problem deutlich: HotStuff senkt den Aufwand auf lineares Niveau, und DAG-basierte Ansätze wie Mysticeti erlauben durch Parallelisierung sehr hohen Durchsatz. Der Spagat zwischen Skalierbarkeit, Dezentralität und sofortiger Finalität bleibt aber ein zentrales Designthema.