💻 computer science

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

Questo articolo introduce CoBRA, un protocollo di conferma universalmente strategyproof che estende le blockchain basate su quorum e Proof-of-Stake per tollerare fino a un terzo di validatori bizantini e un terzo di validatori razionali attraverso l'imposizione di limiti al volume delle transazioni e una regola della catena più forte, fornendo al contempo un meccanismo di recupero per garantire sicurezza, liveness e il rimborso dei client anche sotto soglie avversarie più elevate.

Autori originali: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Pubblicato 2026-06-16

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Zeta Avarikioti, Eleftherios Kokoris Kogias, Ray Neiheiser, Christos Stefo

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Immagina una banca digitale dove la "cassaforte" è tenuta aperta da un comitato di validatori. In un mondo perfetto, tutti i membri del comitato sono onesti. In uno scenario da incubo, tutti sono malvagi e caotici. Ma nel mondo reale, la maggior parte delle persone è razionale: non sono malvagi, ma violeranno le regole se questo permette loro di guadagnare di più.

Il documento CoBRA (Correct over Byzantine-Rational Adversary) introduce un nuovo insieme di regole per questo comitato, per gestire un mix di persone oneste, malvagi caotici e cercatori di profitto avidi.

Ecco la storia di come funziona CoBRA, usando semplici analogie.

Il Probleo: Il dilemma del "Vicino Avido"

I sistemi di sicurezza tradizionali assumono che se più di 1/3 del comitato è cattivo (Byzantine), l'intero sistema crolli. Assumono anche che il resto sia "buono" e che rimanga tale.

Ma CoBRA si chiede: E se le persone "buone" fossero in realtà solo avide?
Se un malvagio offre una mazzetta a un validatore razionale per firmare una transazione falsa, il validatore razionale potrebbe dire: "Certo, accetto la mazzetta". Se la mazzetta è superiore alla penalità per essere stati scoperti, violerà le regole.

Gli autori dimostrano prima due cose spaventose:

In una rete lenta: Se i cattivi e gli avidi insieme costituiscono più di 1/3 del comitato, il sistema non può essere sicuro. Gli avidi troveranno sempre un modo per effettuare il doppio dispendio (double-spending) di denaro per profitto.
In una rete veloce: Anche se la rete è super veloce, se i cattivi e gli avidi costituiscono più di 2/3 del comitato, il sistema è comunque destinato al fallimento.

La Soluzione: Il "Limite di Velocità" e la "Ricompensa"

Poiché non possiamo impedire alle persone avide di desiderare denaro, CoBRA cambia le regole del gioco in modo che violare le regole diventi una scommessa perdente.

1. Il Limite di Velocità (Stake-Bounded Finalization)

Immagina che il comitato sia autorizzato ad approvare transazioni, ma ci sia un limite di velocità rigoroso su quanto denaro possono approvare in una breve finestra temporale (diciamo 10 minuti).

La Regola: Il valore totale delle transazioni approvate in quella finestra di 10 minuti non può superare l'importo di denaro (stake) che un singolo validatore ha bloccato come deposito di sicurezza.
La Logica: Se un validatore avido cerca di imbrogliare e approvare una transazione falsa da 1 milione di dollari, ma ha solo 10.000 dollari bloccati, non può farlo. Anche se ottiene la mazzetta da 1 milione di dollari, perderà il suo deposito di 10.000 dollari quando il sistema lo scopre.
Il Risultato: È matematicamente impossibile per un validatore razionale trarre profitto imbrogliando. Il loro guadagno è "limitato" dall'importo che possono perdere.

2. La Ricompensa (Strongest Chain Rule)

A volte, il comitato sta lavorando perfettamente e tutti stanno cooperando. In questo caso, CoBRA solleva il limite di velocità.

La Regola: Se una stragrande maggioranza del comitato (più di 5/6) concorda su un blocco molto rapidamente, il sistema dice: "Ok, ci fidiamo di voi. Potete approvare quanto denaro volete in questo momento".
Il Controllo della Realtà: Il documento ha analizzato dati reali dalle reti Cosmos ed Ethereum. Hanno scoperto che il 99% delle volte, il comitato è effettivamente così cooperativo. Quindi, nel mondo reale, CoBRA permette approvazioni di transazioni istantanee e illimitate la maggior parte del tempo.

La Rete di Sicurezza: La "Sala di Recupero"

E se i cattivi fossero davvero fortunati e controllassero più di 1/3 del comitato? E se riuscissero a ingannare il sistema e creare due versioni diverse del registro della banca?

CoBRA ha un protocollo di "Sala di Recupero":

Pausa: Non appena i validatori onesti vedono le due versioni diverse (un "fork"), smettono di approvare nuove cose.
L'Audit: Esaminano chi ha firmato le versioni false. Grazie alle regole, possono provare esattamente quali validatori hanno imbrogliato.
Il Recupero: Il sistema sequestra il denaro bloccato (stake) dei malfattori.
Il Rimborso: Questo denaro sequestrato viene utilizzato per rimborsare ogni singola persona che ha perso denaro a causa della transazione falsa.
- Punto Cruciale: Il sistema non dice solo "ops, i tuoi soldi sono spariti". Garantisce che, se sei stato ingannato accettando una transazione errata, il denaro confiscato ai malfattori coprirà la tua perdita. Non viene stampato nuovo denaro; sono i malfattori a pagare.

Il "Cliente Silenzioso"

Una caratteristica chiave di CoBRA è che funziona per i clienti silenziosi.

In molti sistemi, tu (il cliente) devi costantemente controllare il comitato per assicurarti che non stiano mentendo.
In CoBRA, non devi controllare. Devi solo aspettare un "Certificato di Finalità" (una ricevuta digitale). Se il certificato dice che la transazione è conclusa, è conclusa. Se il sistema deve successivamente effettuare un recupero, il certificato garantisce che tu venga rimborsato automaticamente.

Riassunto

CoBRA è un nuovo protocollo per i registri digitali che ammette: "Le persone cercheranno di imbrogliare per profitto."

Invece di sperare che non lo facciano, crea una trappola:

Limita il bottino: Non puoi rubare più di quanto valga il tuo deposito di sicurezza.
Premia l'onestà: Se tutti si comportano bene, puoi spostare denaro velocemente.
Paga le vittime: Se i cattivi vincono temporaneamente, i loro depositi di sicurezza sequestrati vengono utilizzati per rimborsare completamente le vittime, garantendo che nessuna persona onesta perda denaro alla fine.

Trasforma l'avidità dei validatori nell'elemento stesso che mantiene sicuro il sistema.

Sintesi Tecnica di CoBRA: Un Protocollo di Conferma Universale e Strategicamente Sicuro per Blockchain Proof-of-Stake basate su Quorum

1. Definizione del Problema

I protocolli tradizionali di Replicazione di Macchina a Stati (SMR), come PBFT e HotStuff, operano sotto un modello Byzantine Fault Tolerant (BFT) assumendo che almeno $2/3$ dei validatori siano onesti. Tuttavia, nelle blockchain Proof-of-Stake (PoS), i validatori sono agenti massimizzatori di profitto piuttosto che puramente altruisti o arbitrariamente maliziosi. Ciò crea un modello di minaccia ibrido composto da validatori onesti, Byzantine (arbitrariamente maliziosi) e razionali (strategici, guidati dal profitto).

Il documento identifica una lacuna critica: i protocolli esistenti non riescono a fornire garanzie di sicurezza quando i validatori razionali e quelli Byzantine colludono. Nello specifico:

Nella semi-sincronia (partial synchrony), se la frazione combinata di validatori Byzantine e razionali supera $1/3$ , nessun protocollo SMR basato su quorum può garantire la sicurezza (safety). I validatori razionali possono colludere con gli attori Byzantine per creare blocchi conflittuali (equivocazione) e realizzare il doppio dispendio (double-spend) senza essere scoraggiati dal slashing, poiché il potenziale profitto supera lo stake a rischio.
Nelle reti sincrone, anche con un limite di ritardo noto, la sicurezza è irraggiungibile se la coalizione supera i $2/3$ dell'insieme dei validatori.
I protocolli esistenti "accountable" possono rilevare il comportamento scorretto ma non riescono a fornire una restituzione economica ai clienti che hanno accettato transazioni conflittuali, richiedendo spesso la partecipazione dei clienti o la coniazione di nuove monete per rimborsare le perdite.

2. Metodologia e Design del Protocollo

Gli autori propongono CoBRA (Correct over Byzantine-Rational Adversary), una trasformazione generica per protocolli PoS basati su quorum. Il design si basa su un modello di minaccia ibrido in cui i validatori sono statici e i clienti sono "silenziosi" (non monitorano attivamente l'esecuzione del protocollo, ma interrogano i validatori per la conferma).

Meccanismi Chiave:

Finalizzazione Vincolata dallo Stake (Il Gadget di Finalità):
Per evitare che i validatori razionali trovino profittevole creare fork, CoBRA impone un limite superiore al volume di transazioni finalizzate entro qualsiasi finestra temporale $\Delta^*$ .
- I validatori finalizzano i blocchi solo se il valore totale delle transazioni nel set finalizzato non supera $C = D$ (dove $D$ è lo stake di un singolo validatore).
- Ciò garantisce che anche se un validatore razionale collude per un doppio dispendio, il suo guadagno massimo è limitato a $D$ . Poiché rischiano di perdere l'intero stake $D$ tramite slashing se rilevati, l'attacco diventa improfitto vero.
- Regola della Catena più Forte (Strongest Chain Rule): Se una supermaggioranza di partecipanti (specificamente $> f + 1/2$ ) supporta provabilmente una catena, il protocollo consente la conferma istantanea di un volume di transazioni infinito, bypassando il limite di volume.
Ricompense Compatibili con gli Incentivi:
Per prevenire la censura (attacchi alla liveness), le ricompense vengono distribuite solo in finestre in cui partecipano almeno $n-f$ validatori distinti. Ciò assicura che i validatori razionali siano incentivati a includere voti e proposte piuttosto che censurarli, poiché l'esclusione riduce il pool totale delle ricompense.
Ripristino e Restituzione Economica:
Quando il numero di validatori Byzantine supera la soglia standard di $1/3$ ma rimane al di sotto di $2/3$ , CoBRA entra in un regime di sicurezza economica recuperabile.
- Rilevamento del Conflitto: Al rilevamento dell'equivocazione (certificati di finalità conflittuali), i validatori interrompono la finalizzazione.
- Accordo sul Set (Set Agreement): I validatori eseguono un protocollo di accordo sul set per concordare un set comune di blocchi da eseguire, inclusi tutti i blocchi conflittuali che sono stati accettati dai clienti.
- Rimborso: Il sistema ritorna a uno stato precedente al fork e riesegue tutte le transazioni conflittuali in un ordine deterministico. Le perdite subite dai clienti a causa del doppio dispendio vengono rimborsate utilizzando lo stake tagliato (slashed) dei validatori provabilmente maliziosi. Fondamentalmente, ciò avviene senza coniare nuove monete e senza la partecipazione del cliente nel processo di ripristino.

3. Contributi Chiave e Risultati di Impossibilità

Risultati di Impossibilità:
Il documento stabilisce i limiti fondamentali per i protocolli SMR basati su quorum in un modello ibrido con clienti silenti:

Semi-sincronia: Nessun protocollo SMR basato su quorum può essere $(n, k, f)$ -resiliente (dove $k$ è razionale, $f$ è Byzantine) se $f + k \geq n/3$ . Questo generalizza la classica soglia Byzantine di $1/3$ includendo le deviazioni economicamente motivate.
Sincronia: Anche con un limite sincrono noto, la SMR è impossibile se $f + k \geq 2n/3$ .
Latenza di Finalità: Senza limiti sui fondi liquidi o sulle ricompense di partecipazione, nessun protocollo può garantire la finalità entro una finestra $\Delta^*$ se la dimensione dell'avversario supera queste soglie, poiché i validatori razionali possono eseguire un doppio dispendio superiore al loro stake.

Contributi del Protocollo:

Trasformazione CoBRA: Un metodo generico per convertire qualsiasi SMR basato su quorum $(n, f)$ -resiliente in un protocollo $(n, k, f^*)$ -resiliente.
Tre Regimi Operativi:
1. Regime Standard: Mantiene la sicurezza contro fino a $1/3$ di validatori Byzantine in semi-sincronia.
2. Regime di Resilienza Razionale: Garantisce sicurezza e liveness quando fino a $1/3$ di validatori razionali aggiuntivi sono presenti (totale $< 2/3$ ), a condizione che sia noto un limite sincrono $\Delta^*$ .
3. Regime Recuperabile: Garantisce il pieno rimborso dei clienti e il ripristino dello stato quando i validatori Byzantine superano la soglia di $1/3$ ma restano sotto i $2/3$ .
Conformità della Coalizione: Il protocollo assicura che nessun validatore razionale abbia l'incentivo a deviare, anche quando collude con attori Byzantine, rendendo le strategie conformi al protocollo debolmente dominanti rispetto alle strategie di deviazione.

4. Risultati e Validazione Empirica

Gli autori validano la fattibilità di CoBRA attraverso un'analisi empirica delle reti Cosmos ed Ethereum:

Tassi di Partecipazione: L'analisi di un milione di blocchi consecutivi di Cosmos mostra che oltre il 99% dei blocchi ha superato la soglia di partecipazione di $5/6$ richiesta per la "regola della catena più forte".
Implicazione: In questi scenari reali, CoBRA permetterebbe la conferma istantanea delle transazioni per la stragrande maggioranza dei blocchi, mentre la regola del vincolo di volume gestirebbe i rari periodi di bassa partecipazione (durati circa 15 minuti nei dati osservati) senza compromettere la sicurezza.
Sicurezza Economica: Lo studio dimostra che lo stake minimo tagliabile dei validatori attivi (circa $470.000 nel caso di Cosmos) è sufficiente a coprire il volume di transazioni dei periodi di bassa partecipazione (circa $180.000), garantendo che il pieno rimborso dei clienti sia teoricamente possibile.

5. Significato e Rivendicazioni

Il documento afferma di essere la prima trasformazione generica per SMR basata su quorum che:

Fornisce una resilienza razionale ottimale quando le parti Byzantine sono meno di $1/3$ .
Offre protezione economica per i clienti quando la soglia dei Byzantine viene superata (fino a $2/3$ ), specificamente garantendo il pieno rimborso delle perdite senza coniare nuove monete.
Colma il divario tra i limiti teorici del consenso e la sicurezza pratica della PoS affrontando il comportamento strategico dei validatori razionali, un fattore spesso ignorato nelle analisi BFT tradizionali.

Gli autori posizionano CoBRA come una soluzione che consente alle blockchain PoS di mantenere sicurezza e liveness anche quando l'assunzione di "supermaggioranza onesta" è violata dalla collusione strategica, a condizione che la forza avversaria totale non superi i $2/3$ dello stake.