💻 computer science

CoBRA: A Universal Strategyproof Confirmation Protocol for Quorum-based Proof-of-Stake Blockchains

Dieses Paper stellt CoBRA vor, ein universelles, strategiekonformes Bestätigungsprotokoll, das Quorum-basierte Proof-of-Stake-Blockchains erweitert, um bis zu einem Drittel byzantinischer und einem Drittel rationaler Validatoren durch die Durchsetzung von Transaktionsvolumengrenzen und einer Strongest-Chain-Regel zu tolerieren, während es gleichzeitig einen Wiederherstellungsmechanismus bereitstellt, der Sicherheit, Lebendigkeit und die Rückerstattung für Clients selbst unter höheren adversariellen Schwellenwerten garantiert.

Ursprüngliche Autoren: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Veröffentlicht 2026-06-16

📖 5 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Stellen Sie sich eine digitale Bank vor, bei der der „Tresor“ von einem Komitee aus Validatoren offen gehalten wird. In einer perfekten Welt sind alle Mitglieder des Komitees ehrlich. In einem Albtraumszenario sind alle chaotische Schurken. Aber in der realen Welt sind die meisten Menschen rational: Sie sind keine Schurken, aber sie werden die Regeln brechen, wenn es ihnen mehr Geld einbringt.

Das Paper CoBRA (Correct over Byzantine-Rational Adversary) führt eine neue Regelsetzung für dieses Komitee ein, um mit einer Mischung aus ehrlichen Menschen, chaotischen Schurken und profitorientierten Gierigen umzugehen.

Hier ist die Geschichte, wie CoBRA funktioniert, unter Verwendung einfacher Analogien.

Das Problem: Das „gierige Nachbar“-Dilemma

Traditionelle Sicherheitssysteme gehen davon aus, dass das gesamte System zusammenbricht, wenn mehr als 1/3 des Komitees böswillig (Byzantinisch) ist. Sie gehen auch davon aus, dass der Rest, wenn er „gut“ ist, auch gut bleibt.

Aber CoBRA stellt die Frage: Was, wenn die „guten“ Menschen eigentlich nur gierig sind?
Wenn ein Schurke einem rationalen Validatoren eine Bestechung anbietet, um eine gefälschte Transaktion zu signieren, könnte der rationale Validator sagen: „Klar, ich nehme die Bestechung.“ Wenn die Bestechung größer ist als die Strafe, wenn man erwischt wird, wird der Validator die Regeln brechen.

Die Autoren beweisen zuerst zwei erschreckende Dinge:

In einem langsamen Netzwerk: Wenn die Bösen und die Gierigen zusammen mehr als 1/3 des Komitees ausmachen, kann das System nicht sicher sein. Die Gierigen werden immer einen Weg finden, Geld durch Double-Spending (Doppelausgaben) zu gewinnen.
In einem schnellen Netzwerk: Selbst wenn das Netzwerk superschnell ist, ist das System dennoch zum Scheitern verurteilt, wenn die Bösen und Gierigen zusammen mehr als 2/3 des Komitees ausmachen.

Die Lösung: Das „Tempolimit“ und die „Belohnung“

Da wir nicht verhindern können, dass gierige Menschen nach Geld streben, ändert CoBRA die Spielregeln so, dass das Brechen der Regeln zu einem Verlustgeschäft wird.

1. Das Tempolimit (Stake-Bounded Finalization)

Stellen Sie sich vor, das Komitee darf Transaktionen genehmigen, aber es gibt ein striktes Tempolimit für die Menge an Geld, die in einem kurzen Zeitfenster (sagen wir 10 Minuten) genehmigt werden darf.

Die Regel: Der Gesamtwert der in diesem 10-Minuten-Fenster genehmigten Transaktionen darf den Betrag an Geld (Stake) nicht überschreiten, den ein einzelner Validator als Sicherheitsleistung hinterlegt hat.
Die Logik: Wenn ein gieriger Validator versucht zu betrügen und eine gefälschte Transaktion im Wert von 1 Million Dollar zu genehmigen, er aber nur 10.000 Dollar hinterlegt hat, kann er das nicht tun. Selbst wenn er die 1 Million Dollar Bestechung erhält, wird er seine 10.000 Dollar Sicherheitsleistung verlieren, wenn das System ihn erwischt.
Das Ergebnis: Es ist mathematisch unmöglich für einen rationalen Validator, durch Betrug Profit zu schlagen. Er ist nach oben hin „gedeckelt“, bezüglich des Betrags, den er verlieren kann.

2. Die Belohnung (Strongest Chain Rule)

Manchmal arbeitet das Komitee perfekt und alle kooperieren. In diesem Fall hebt CoBRA das Tempolimit auf.

Die Regel: Wenn eine überwältigende Mehrheit (mehr als 5/6) des Komitees sehr schnell einem Block zustimmt, sagt das System: „Okay, wir vertrauen euch allen. Ihr könnt jetzt so viel Geld wie ihr wollt genehmigen.“
Der Realitätscheck: Das Paper hat reale Daten aus den Cosmos- und Ethereum-Netzwerken untersucht. Dabei wurde festgestellt, dass das Komitee in 99 % der Fälle tatsächlich so kooperativ ist. In der realen Welt erlaubt CoBRA daher die meisten Male sofortige, unbegrenzte Transaktionsgenehmigungen.

Das Sicherheitsnetz: Der „Erholungsraum“

Was ist, wenn die Bösen wirklich viel Glück haben und mehr als 1/3 des Komitees kontrollieren? Was, wenn es ihnen gelingt, das System zu täuschen und zwei verschiedene Versionen des Bankbuchs zu erstellen?

CoBRAs „Recovery Room“-Protokoll sieht so aus:

Pause: Sobald die ehrlichen Validatoren die zwei verschiedenen Versionen (einen „Fork“) sehen, hören sie auf, neue Dinge zu genehmigen.
Das Audit: Sie untersuchen, wer die gefälschten Versionen signiert hat. Aufgrund der Regeln können sie genau nachweisen, welche Validatoren betrogen haben.
Die Rückzahlung: Das System beschlagnahmt das hinterlegte Geld (Stake) der Betrüger.
Die Entschädigung: Dieses beschlagnahmte Geld wird verwendet, um jeden einzelnen Menschen zurückzuzahlen, der durch die gefälschte Transaktion Geld verloren hat.
- Entscheidender Punkt: Das System sagt nicht einfach nur „Hoppla, dein Geld ist weg“. Es garantiert, dass, falls du durch eine schlechte Transaktion getäuscht wurdest, das beschlagnahmte Geld der Betrüger deinen Verlust deckt. Es wird kein neues Geld gedruckt; die Betrüger zahlen dafür auf.

Der „stille Kunde“

Ein Schlüsselmerkmal von CoBRA ist, dass es für stille Kunden funktioniert.

In vielen Systemen müssen Sie (der Kunde) das Komitee ständig überwachen, um sicherzustellen, dass sie nicht lügen.
Bei CoBRA müssen Sie nicht zusehen. Sie warten einfach auf ein „Finality Certificate“ (ein digitales Zertifikat). Wenn das Zertifikat besagt, dass die Transaktion abgeschlossen ist, dann ist sie abgeschlossen. Wenn das System später eine Wiederherstellung durchführen muss, stellt das Zertifikat sicher, dass Sie automatisch entschädigt werden.

Zusammenfassung

CoBRA ist ein neues Protokoll für digitale Ledger, das zugibt: „Menschen werden versuchen, aus Profit zu betrügen.“

Anstatt darauf zu hoffen, dass sie es nicht tun, baut es eine Falle auf:

Begrenzung der Beute: Man kann nicht mehr stehlen, als die eigene Sicherheitsleistung wert ist.
Belohnung für Ehrlichkeit: Wenn alle friedlich kooperieren, kann man Geld schnell bewegen.
Entschädigung der Opfer: Wenn die Bösen vorübergehend gewinnen, werden deren beschlagnahmte Sicherheitsleistungen verwendet, um die Opfer vollständig zu entschädigen, sodass am Ende kein ehrlicher Mensch Geld verliert.

Es verwandelt die „Gier“ der Validatoren in das Werkzeug, das das System sicher hält.

Technisches Resümee von CoBRA: Ein universelles, strategieproofes Bestätigungsprotokoll für Quorum-basierte Proof-of-Stake-Blockchains

1. Problemstellung

Traditionelle State Machine Replication (SMR)-Protokolle, wie PBFT und HotStuff, operieren unter einem Byzantine Fault Tolerant (BFT)-Modell, das davon ausgeht, dass mindestens $2/3$ der Validatoren ehrlich sind. In Proof-of-Stake (PoS)-Blockchains sind Validatoren jedoch gewinnmaximierende Akteure und nicht rein altruistisch oder beliebig bösartig. Dies schafft ein hybrides Bedrohungsmodell, das aus ehrlichen, Byzantine (beliebig bösartigen) und rationalen (strategischen, gewinnorientierten) Validatoren besteht.

Die Arbeit identifiziert eine kritische Lücke: Bestehende Protokolle versagen bei Sicherheitsgarantien, wenn rationale und Byzantine Validatoren kolludieren. Speziell:

In partiell synchronen Netzwerken kann kein Quorum-basiertes SMR-Proköoll die Sicherheit garantieren, wenn der kombinierte Anteil von Byzantine und rationalen Validatoren $1/3$ überschreitet. Rationale Validatoren können mit Byzantine Akteuren kolludieren, um widersprüchliche Blöcke zu erstellen (Equivocation) und Double-Spends durchzuführen, da sie durch Slashing nicht abgeschreckt werden, sofern der potenzielle Gewinn den gefährdeten Einsatz (Stake) übersteigt.
In synchronen Netzwerken ist selbst mit einer bekannten Verzögerungsgrenze (Delay Bound) die Sicherheit nicht erreichbar, wenn die Koalition $2/3$ der Validator-Menge überschreitet.
Bestehende „accountable“ Protokolle können Fehlverhalten zwar erkennen, scheitern aber an der ökonomischen Restitution für Clients, die widersprüchliche Transaktionen akzeptiert haben, da dies oft die Beteiligung von Clients oder die Neuprägung von Coins erfordert, um Verluste zu erstatten.

2. Methodik und Protokolldesign

Die Autoren schlagen CoBRA (Correct over Byzantine-Rational Adversary) vor, eine generische Transformation für Quorum-basierte PoS-Protokolle. Das Design stützt sich auf ein hybrides Bedrohungsmodell, in dem die Validatoren statisch sind und die Clients „silent“ sind (sie überwachen die Protokollausführung nicht aktiv, sondern fragen Validatoren nach Bestätigungen ab).

Kernmechanismen:

Stake-Bounded Finalization (Das Finalitäts-Gadget):
Um zu verhindern, dass es für rationale Validatoren profitabel ist, einen Fork zu erzeugen, erzwingt CoBRA eine Obergrenze für das Transaktionsvolumen, das innerhalb eines Zeitfensters $\Delta^*$ finalisiert wird.
- Validatoren finalisieren Blöcke nur dann, wenn das Gesamtvolumen der Transaktionen im finalisierten Satz den Wert $C = D$ nicht überschreitet (wobei $D$ der Stake eines einzelnen Validators ist).
- Dies stellt sicher, dass selbst wenn ein rationaler Validator kolludiert, um einen Double-Spend durchzuführen, sein maximaler Gewinn auf $D$ begrenzt ist. Da er bei Entdeckung seinen gesamten Einsatz $D$ durch Slashing riskiert, wird der Angriff unprofitabel.
- Strongest Chain Rule: Wenn eine Supermajority an Teilnehmern (speziell $> f + 1/2$ ) eine Kette nachweislich unterstützt, erlaubt das Protokoll die sofortige Bestätigung eines unbegrenzten Transaktionsvolumens und umgeht damit die Volumen-Obergrenze.
Anreizkompatible Belohnungen (Incentive-Compatible Rewards):
Um Zensur (Liveness-Angriffe) zu verhindern, werden Belohnungen nur in Fenstern verteilt, in denen mindestens $n-f$ unterschiedliche Validatoren teilnehmen. Dies stellt sicher, dass rationale Validatoren motiviert sind, Stimmen und Vorschläge einzuschließen, statt sie zu zensieren, da der Ausschluss das gesamte Belohnungspool reduziert.
Wiederherstellung und ökonomische Restitution:
Wenn die Anzahl der Byzantine Validatoren die Standard-Schwelle von $1/3$ überschreitet, aber unter $2/3$ bleibt, tritt CoBRA in ein wiederherbares ökonomisches Sicherheitsregime ein.
- Konflikterkennung: Bei Erkennung von Equivocation (widersprüchlichen Finalitätszertifikaten) stoppen die Validatoren die Finalisierung.
- Set Agreement: Validatoren führen ein Set-Agreement-Protokoll durch, um über eine gemeinsame Menge von Blöcken zu einigen, die ausgeführt werden sollen, einschließlich aller widersprüchlichen Blöcke, die von Clients akzeptiert wurden.
- Erstattung: Das System kehrt in einen Zustand vor dem Fork zurück und führt alle widersprüchlichen Transaktionen in einer deterministischen Reihenfolge erneut aus. Verluste der Clients durch Double-Spending werden durch den geslashten Stake der nachweislich fehlhandelnden Validatoren erstattet. Entscheidend ist, dass dies ohne Neuprägung von Coins und ohne Beteiligung der Clients am Wiederherstellungsprozess geschieht.

3. Wichtigste Beiträge und Unmöglichkeitsergebnisse

Unmöglichkeitsergebnisse:
Die Arbeit stellt fundamentale Grenzen für Quorum-basiertes SMR unter einem hybriden Modell mit stillen Clients fest:

Partielle Synchronität: Kein Quorum-basiertes SMR-Protokoll kann $(n, k, f)$ -resilient sein (wobei $k$ rational und $f$ Byzantine ist), falls $f + k \geq n/3$ . Dies generalisiert die klassische $1/3$ Byzantine-Schwelle zur Einbeziehung ökonomisch motivierter Abweichungen.
Synchronität: Selbst mit einer bekannten synchronen Bindung ist SMR unmöglich, wenn $f + k \geq 2n/3$ .
Finalitätslatenz: Ohne Beschränkungen für liquide Mittel oder Teilnahmebelohnungen kann kein Protokoll die Finalität innerhalb eines $\Delta^*$ -Fensters garantieren, wenn die Größe des Adversary diese Schwellenwerte überschreitet, da rationale Validatoren Beträge im Wert von mehr als ihrem Stake per Double-Spend entwenden können.

Protokoll-Beiträge:

CoBRA-Transformation: Eine generische Methode, um jedes $(n, f)$ -resiliente Quorum-basierte SMR in ein $(n, k, f^*)$ -resilientes Protokoll zu transformieren.
Drei operative Regime:
1. Standard Regime: Behält die Sicherheit gegen bis zu $1/3$ Byzantine Validatoren in partieller Synchronität bei.
2. Rational-Resilient Regime: Gewährleistet Sicherheit und Liveness, wenn bis zu $1/3$ zusätzliche rationale Validatoren existieren (insgesamt $< 2/3$ ), vorausgesetzt, eine synchrone Bindung $\Delta^*$ ist bekannt.
3. Recoverable Regime: Garantiert volle Client-Erstattung und State-Recovery, wenn die Byzantine Validatoren die $1/3$ Schwelle überschreiten, aber unter $2/3$ bleiben.
Koalitions-Compliance: Das Protokoll stellt sicher, dass kein rationaler Validator einen Anreiz zur Abweichung hat, selbst wenn er mit Byzantine Akteuren kolludiert, indem es sicherstellt, dass protokollkonforme Strategien die Abweichungsstrategien schwach dominieren.

4. Ergebnisse und empirische Validierung

Die Autoren validieren die Machbarkeit von CoBRA durch eine empirische Analyse der Cosmos und Ethereum Netzwerke:

Teilnahmequoten: Eine Analyse von einer Million aufeinanderfolgender Cosmos-Blöcke zeigt, dass über 99% der Blöcke die $5/6$ Teilnahme-Schwelle überschritten, die für die "Strongest Chain"-Regel erforderlich ist.
Implikation: In diesen realen Szenarien würde CoBRA die sofortige Bestätigung für die überwiegende Mehrheit der Blöcke ermöglichen, während die Stake-Bounded-Regel die seltenen Phasen niedriger Teilnahme (die in den beobachteten Daten bis zu ~15 Minuten dauerten) handhabt, ohne die Sicherheit zu gefährden.
Ökonomische Sicherheit: Die Studie zeigt, dass der minimale slashbare Stake aktiver Validatoren (ca. $470.000 im Cosmos-Fall) ausreicht, um das Transaktionsvolumen der Phasen mit niedriger Teilnahme (ca. $180.000) abzudecken, wodurch eine vollständige Client-Erstattung theoretisch möglich ist.

5. Bedeutung und Ansprüche

Die Arbeit beansprucht, die erste generische Transformation für Quorum-basiertes SMR zu sein, die:

Optimale rationale Resilienz bietet, wenn die Byzantine Parteien weniger als $1/3$ ausmachen.
Ökonomischen Schutz für Clients bietet, wenn die Byzantine-Schwelle überschritten wird (bis zu $2/3$ ), speziell durch die Garantie der vollen Erstattung von Verlusten ohne Neuprägung von Coins.
Die Lücke zwischen theoretischen Konsens-Limits und praktischer PoS-Sicherheit schließt, indem sie das strategische Verhalten rationaler Validatoren adressiert – ein Faktor, der in traditionellen BFT-Analysen oft vernachlässigt wird.

Die Autoren positionieren CoBRA als eine Lösung, die es PoS-Blockchains ermöglicht, Sicherheit und Liveness auch dann aufrechtzuerhalten, wenn die Annahme der „ehrlichen Supermajority“ durch strategische Kollusion verletzt wird, sofern die gesamte adversarielle Kraft nicht $2/3$ des Stakes überschreitet.