💻 computer science

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

Dit artikel introduceert CoBRA, een universeel strategie-proof bevestigingsprotocol dat quorum-gebaseerde Proof-of-Stake-blockchains uitbreidt om tot een derde Byzantijnse en een derde rationele validators te tolereren door transactievolume-grenzen en een 'strongest chain rule' af te dwingen, terwijl het tegelijkertijd een herstelmechanisme biedt om veiligheid, liveness en cliëntvergoeding te garanderen, zelfs onder hogere adversariële drempels.

Oorspronkelijke auteurs: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Gepubliceerd 2026-06-16

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een digitale bank voor waar de "kluis" open wordt gehouden door een commissie van validators. In een perfecte wereld is iedereen in de commissie eerlijk. In een nachtmerriescenario is iedereen een chaotische schurk. Maar in de echte wereld zijn de meeste mensen rationeel: ze zijn geen schurken, maar ze zullen de regels breken als dat hen meer geld oplevert.

Het paper CoBRA (Correct over Byzantine-Rational Adversary) introduceert een nieuwe set regels voor deze commissie om een mix van eerlijke mensen, chaotische schurken en hebzuchtige winstzoekers aan te pakken.

Dit is het verhaal van hoe CoBRA werkt, met behulp van eenvoudige analogieën.

Het Probleem: Het "Hebzuchtige Buurman"-dilemma

Traditionele beveiligingssystemen gaan ervan uit dat als meer dan 1/3 van de commissie slecht is (Byzantine), het hele systeem instort. Ze gaan er ook van uit dat de rest, als zij "goed" zijn, ook goed zal blijven.

Maar CoBRA vraagt: Wat als de "goede" mensen eigenlijk gewoon hebzuchtig zijn?
Als een schurk een steekpenning biedt aan een rationele validator om een valse transactie te ondertekenen, kan de rationele validator zeggen: "Natuurlijk, ik neem die steekpenning aan." Als de steekpenning groter is dan de straf voor het betrapt worden, zal de validator de regels breken.

De auteurs bewijzen eerst twee angstaanjagende dingen:

In een traag netwerk: Als de slechte gasten en de hebzuchtige gasten samen meer dan 1/3 van de commissie vormen, kan het systeem niet veilig zijn. De hebzuchtige mensen zullen altijd een manier vinden om geld te creëren door dubbele uitgaven te doen voor winst.
In een snel netwerk: Zelfs als het netwerk super snel is, als de slechte en hebzuchtige gasten samen meer dan 2/3 van de commissie vormen, is het systeem nog steeds gedoemd.

De Oplossing: De "Snelheidslimiet" en de "Beloning"

Omdat we hebzuchtige mensen niet kunnen stoppen met het willen hebben van geld, verandert CoBRA de spelregels zodat het breken van de regels een verlieslatende weddenschap wordt.

1. De Snelheidslimiet (Stake-Bounded Finalization)

Stel je voor dat de commissie transacties mag goedkeuren, maar dat er een strikte snelheidslimiet is op hoeveel geld ze in een korte tijdspanne (laten we zeggen 10 minuten) mogen goedkeuren.

De Regel: De totale waarde van de goedgekeurde transacties in die 10-minutenvenster mag niet groter zijn dan het bedrag aan geld (stake) dat een enkele validator heeft vastgelegd als beveiligingsdepositie.
De Logica: Als een hebzuchtige validator probeert te bedriegen en een valse transactie van $1 miljoen goed te keuren, maar hij heeft slechts $10.000 vastgelegd, dan kan hij dat niet doen. Zelfs als hij de $1 miljoen steekpenning krijgt, zal hij zijn $10.000 depositie verliezen wanneer het systeem hem betrapt.
Het Resultaat: Het is wiskundig onmogelijk voor een rationele validator om winst te maken door te bedriegen. Hij is "geplafonneerd" op het bedrag dat hij kan verliezen.

2. De Beloning (Strongest Chain Rule)

Soms werkt de commissie perfect en werkt iedereen mee. In dat geval heft CoBR de snelheidslimiet op.

De Regel: Als een enorme meerderheid van de commissie (meer dan 5/6) heel snel instemt met een blok, zegt het systeem: "Oké, we vertrouwen jullie allemaal. Jullie kunnen nu zoveel geld als je wilt goedkeuren."
De Realiteitscheck: Het paper heeft gekeken naar echte gegevens van de Cosmos en Ethereum netwerken. Ze ontdekten dat de commissie in 99% van de gevallen daadwerkelijk zo coöperatief is. Dus in de echte wereld staat CoBRA toe dat de meeste transacties direct en onbeperkt worden goedgekeurd.

Het Veiligheidsnet: De "Reanimatiekamer"

Wat als de slechteriken echt veel geluk hebben en meer dan 1/3 van de commissie controleren? Wat als ze erin slagen het systeem te misleiden en twee verschillende versies van het bankboekhoudregister te creëren?

CoBRA heeft een "Reanimatiekamer"-protocol:

Pauzeer: Zodra de eerlijke validators de twee verschillende versies zien (een "fork"), stoppen ze met het goedkeuren van nieuwe zaken.
De Audit: Ze kijken naar wie de valse versies heeft ondertekend. Omdat van de regels, kunnen ze precies bewijzen welke validators hebben bedrogen.
De Terugbetaling: Het systeem legt het vastgelegde geld (stake) van de bedriegers in beslag.
De Vergoeding: Dit ingeslagen geld wordt gebruikt om iedere persoon die geld heeft verloren door de valse transactie terug te betalen.
- Cruciaal Punt: Het systeem zegt niet alleen "oeps, je geld is weg." Het garandeert dat als jij misleid bent om een slechte transactie te accepteren, het ingeslagen geld van de bedriegers jouw verlies dekt. Er wordt geen nieuw geld bijgedrukt; de bedriegers betalen ervoor.

De "Stille Klant"

Een belangrijk kenmerk van CoBRA is dat het werkt voor stille klanten.

In veel systemen moet jij (de klant) de commissie constant in de gaten houden om te controleren of ze niet liegen.
In CoBRA hoef je niet op te letten. Je wacht gewoon op een "Finality Certificate" (een digitaal bewijs). Als het certificaat zegt dat de transactie voltooid is, dan is het voltooid. Als het systeem later moet herstellen, zorgt het certificaat ervoor dat je automatisch wordt terugbetaald.

Samenvatting

CoBRA is een nieuw protocol voor digitale grootboeken dat toegeeft: "Mensen zullen proberen te bedriegen voor winst."

In plaats van te hopen dat ze het niet doen, zet het een val op:

Beperk de buit: Je kunt niet meer stelen dan je eigen beveiligingsdepositie waard is.
Beloon eerlijkheid: Als iedereen zich aan de regels houdt, kun je snel geld verplaatsen.
Betaal de slachtoffers: Als de slechteriken tijdelijk winnen, worden hun gestolen beveiligingsdeposities gebruikt om de slachtoffers volledig te compenseren, zodat er uiteindelijk geen eerlijk persoon geld verliest.

Het verandert de "hebzucht" van de validators in het instrument dat het systeem juist veilig houdt.

Technische Samenvatting van CoBRA: Een Universeel Strategie-proof Bevestigingsprotocol voor Quorum-gebaseerde Proof-of-Stake Blockchains

1. Probleemstelling

Traditionele State Machine Replication (SMR) protocollen, zoals PBFT en HotStuff, opereren onder een Byzantine Fault Tolerant (BFT) model dat ervan uitgaat dat ten minste $2/3$ van de validators eerlijk is. Echter, in Proof-of-Stake (PoS) blockchains zijn validators winstmaximaliserende agenten in plaats van puur altruïstische of willekeurig kwaadwillende actoren. Dit creëert een hybride dreigingsmodel bestaande uit eerlijke, Byzantine (willekeurig kwaadwillende) en rationele (strategische, winstgedreven) validators.

Het artikel identificeert een kritieke kloof: bestaande protocollen falen in het bieden van veiligheidsgaranties wanneer rationele en Byzantine validators samenwerken. Specifiek:

In gedeeltelijk synchrone netwerken, als het gecombineerde deel van Byzantine en rationele validators groter is dan $1/3$ , kan geen enkel quorum-gebaseerd SMR-protocol veiligheid garanderen. Rationele validators kunnen samenwerken met Byzantine actoren om conflicterende blokken te creëren (equivocatie) en dubbele uitgaven (double-spending) te verrichten zonder dat zij worden afgeschrikt door slashing, aangezien de potentiële winst groter is dan de stake die op het spel staat.
In synchrone netwerken, zelfs met een bekende vertragingsgrens, is veiligheid onbereikbaar als de coalitie groter is dan $2/3$ van de validatorset.
Bestaande "verantwoordelijke" (accountable) protocollen kunnen wangedrag detecteren, maar falen in het bieden van economische restitutie aan cliënten die conflicterende transacties hebben geaccepteerd, wat vaak de deelname van de cliënt vereist of het aanmaken van nieuwe munten om verliezen te vergoeden.

2. Methodologie en Protocolontwerp

De auteurs stellen CoBRA (Correct over Byzantine-Rational Adversary) voor, een generieke transformatie voor quorum-gebaseerde PoS-protocollen. Het ontwerp rust op een hybride dreigingsmodel waarbij de validators statisch zijn en de cliënten "stil" zijn (zij monitoren de uitvoering van het protocol niet actief, maar vragen validators om bevestiging).

Kernmechanismen:

Stake-Bounded Finalisatie (De Finality Gadget):
Om te voorkomen dat het voor rationele validators winstgevend wordt om te forken, dwingt CoBRA een bovengrens af op het transactievolume dat binnen een bepaatafstand van tijd $\Delta^*$ wordt gefinaliseerd.
- Validators finaliseren blokken alleen als de totale waarde van de transacties in de gefinaliseerde set niet groter is dan $C = D$ (waarbij $D$ de stake is van een enkele validator).
- Dit zorgt ervoor dat zelfs als een rationele validator samenwerkt om een dubbele uitgave te verrichten, hun maximale winst wordt beperkt tot $D$ . Omdat zij het risico lopen hun volledige stake $D$ te verliezen via slashing als zij worden gedetecteerd, wordt de aanval onrendabel.
- Strongest Chain Rule: Als een supermeerderheid van deelnemers (specifiek $> f + 1/2$ ) aantoonbaar een keten ondersteunt, staat het protocol onmiddellijke bevestiging van een oneindig transactievolume toe, waardoor de volumegrens wordt omzeild.
Incentive-Compatible Beloningen:
Om censuur (liveness-aanvallen) te voorkomen, worden beloningen alleen verdeeld in vensters waarin ten minste $n-f$ verschillende validators deelnemen. Dit zorgt ervoor dat rationele validators worden geprikkeld om stemmen en voorstellen op te nemen in plaats van ze te censureren, aangezien uitsluiting de totale beloningspool verkleint.
Herstel en Economische Restitutie:
Wanneer het aantal Byzantine validators de standaard $1/3$ drempel overschrijdt maar onder $2/3$ blijft, gaat CoBRA over naar een herstelbaar economisch-beveiligingsregime.
- Conflict Detectie: Bij detectie van equivocatie (conflicterende finaliteitscertificaten), stoppen validators de finalisatie.
- Set Agreement: Validators voeren een set-agreement protocol uit om een gemeenschappelijke set blokken te bereiken om uit te voeren, inclusief alle conflicterende blokken die door cliënten zijn geaccepteerd.
- Vergoeding: Het systeem keert terug naar een pre-fork staat en voert alle conflicterende transacties in een deterministische volgorde opnieuw uit. Verliezen die door cliënten zijn geleden als gevolg van dubbele uitgaven, worden vergoed met de geslashte stake van de aantoonbaar wangedragende validators. Cruciaal is dat dit gebeurt zonder het aanmaken van nieuwe munten en zonder deelname van de cliënt in het herstelproces.

3. Belangrijkste Bijdragen en Onmogelijkheidscijfers

Onmogelijkheidscijfers:
Het artikel stelt fundamentele limieten vast voor quorum-gebaseerde SMR onder een hybride model met stille cliënten:

Partiële Synchronie: Geen enkel quorum-gebaseerd SMR-protocol kan $(n, k, f)$ -resilient zijn (waarbij $k$ rationeel is, $f$ Byzantine) als $f + k \geq n/3$ . Dit generaliseert de klassieke $1/3$ Byzantine drempel om ook economisch gemotiveerde afwijkingen te omvatten.
Synchronie: Zelfs met een bekende synchrone grens is SMR onmogelijk als $f + k \geq 2n/3$ .
Finaliteitslatentie: Zonder grenzen aan liquide middelen of participatiebeloningen kan geen enkel protocol finaliteit binnen een $\Delta^*$ -venster garanderen als de omvang van de adversary groter is dan deze drempels, aangezien rationele validators bedragen kunnen uitgeven die hun stake overstijgen via dubbele uitgaven.

Protocolbijdragen:

CoBRA Transformatie: Een generieke methode om elk $(n, f)$ -resilient quorum-gebaseerd SMR te converteren naar een $(n, k, f^*)$ -resilient protocol.
Drie Operationele Regimes:
1. Standaard Regime: Handhaaft veiligheid tegen maximaal $1/3$ Byzantine validators in partiële synchronie.
2. Rational-Resilient Regime: Garandeert veiligheid en liveness wanneer tot wel $1/3$ aanvullende rationele validators aanwezig zijn (totaal $< 2/3$ ), mits een synchrone grens $\Delta^*$ bekend is.
3. Recoverable Regime: Garandeert volledige restitutie aan cliënten en staatherstel wanneer de Byzantine validators de $1/3$ drempel overschrijden maar onder $2/3$ blijven.
Coalition-Compliance: Het protocol zorgt ervoor dat geen enkele rationele validator een prikkel heeft om af te wijken, zelfs wanneer zij samenwerken met Byzantine actoren, door de protocol-conforme strategieën zwak dominant te maken over afwijkende strategieën.

4. Resultaten en Empirische Validatie

De auteurs valideren de haalbaarheid van CoBRA door middel van een empirische analyse van de Cosmos en Ethereum netwerken:

Participatiegraden: Analyse van één miljoen opeenvolgende Cosmos-blokken toont aan dat meer dan 99% van de blokken de $5/6$ participatiedrempel overschreed die vereist is voor de "strongest chain" regel.
Implicatie: In deze real-world scenario's zou CoBRA de meeste blokken onmiddellijke transactiebevestiging toestaan, terwijl de stake-bounded regel de zeldzame perioden van lage participatie (die tot ongeveer ~15 minuten duurden in de geobserveerde data) zou afhandelen zonder de veiligheid in gevaar te brengen.
Economische Veiligheid: De studie toont aan dat de minimale slashable stake van actieve validators (ongeveer $470.000 in het geval van Cosmos) voldoende is om het transactievolume van perioden met lage participatie (ongeveer $180.000) te dekken, wat garandeert dat volledige restitutie aan cliënten theoretisch mogelijk is.

5. Betekenis en Claims

Het artikel claimt het eerste generieke transformatieproces voor quorum-gebaseerde SMR te zijn dat:

Optimale rationele veerkracht biedt wanneer de Byzantine partijen minder dan $1/3$ zijn.
Economische bescherming voor cliënten biedt wanneer de Byzantine drempel wordt overschreden (tot $2/3$ ), specifiek door volledige restitutie van verliezen te garanderen zonder het aanmaken van nieuwe munten.
De kloof overbrugt tussen theoretische consensuslimieten en praktische PoS-beveiliging door de strategische gedragingen van rationele validators aan te pakken, een factor die in traditionele BFT-analyses vaak wordt genegeerd.

De auteurs positioneren CoBRA als een oplossing die het mogelijk maakt voor PoS-blockchains om veiligheid en liveness te behouden, zelfs wanneer de aanname van een "eerlijke supermeerderheid" wordt geschonden door strategische collusie, mits de totale adversariële kracht niet meer dan $2/3$ van de stake bedraagt.