💻 computer science

Fast Deterministically Safe Proof-of-Work Consensus

Questo articolo introduce Sieve-MMR, il primo protocollo blockchain completamente permissionless che raggiunge sia la sicurezza deterministica che una latenza attesa costante senza meccanismi esterni, adattando un protocollo Proof-of-Stake all'ambiente Proof-of-Work e impiegando un nuovo algoritmo Sieve per mitigare gli attacchi di tipo time-travel.

Autori originali: Ali Farahbakhsh, Giuliano Losa, Youer Pu, Lorenzo Alvisi, Ittay Eyal

Pubblicato 2026-06-04

📖 6 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Ali Farahbakhsh, Giuliano Losa, Youer Pu, Lorenzo Alvisi, Ittay Eyal

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 un enorme registro digitale globale dove chiunque può unirsi o lasciare il gruppo in qualsiasi momento. Questo è il mondo delle blockchain permissionless (come Bitcoin). L'obiettivo è far sì che tutti concordino sull'ordine delle transazioni senza che un capo dica loro cosa fare.

Per molto tempo, questi sistemi hanno avuto due modi principali di funzionare, entrambi con gravi difetti:

Proof of Stake (PoS): Blocchi del denaro per votare. Il problema? Un attaccante può comprare vecchi account di persone che se ne sono andate anni fa, potendo così riscrivere la storia a basso costo. Questo è chiamato un "Long-Range Attack" (Attacco a lungo raggio).
Proof of Work (PoW): Risolvi complessi enigmi matematici per votare. Il problema? È o incredibilmente lento, o si affida alla sicurezza "probabilistica" (il che significa che esiste una possibilità minima, non nulla, che un attaccante possa avere fortuna e riscrivere la storia).

Gli autori di questo articolo, Sieve-MMR, hanno costruito un nuovo sistema che sostiene di essere il meglio dei due mondi: è veloce, è sicuro contro la riscrittura della storia e non ha bisogno di aiuto esterno (come il consenso sociale o i checkpoint) per essere sicuro.

Ecco come ci sono riusciti, usando alcune analogie quotidiane.

La Grande Idea: Disaccoppiare il "Voto" dal "Controllo dell'Identità"

Pensa a un protocollo di consenso come a un'assemblea cittadina.

La Logica di Consenso (MMR): Questo è il vero processo di voto. "Chi ha più voti? Concordiamo su questo". Questa parte è veloce e intelligente, ma era stata progettata originariamente per una città dove tutti hanno una tessera d'identità fissa e sanno chi è presente.
Il Problema Permissionless: In un sistema permissionless, le persone possono unirsi o lasciare la città istantaneamente. Peggio ancora, un malintenzionato può fingere di essere una persona che ha lasciato la città 10 anni fa e riportare vecchi voti per confondere l'assemblea attuale. Questo è l'"Attacco del Viaggiatore nel Tempo".

Gli autori si sono resi conto che potevano prendere la logica di voto veloce e intelligente (MMR) e avvolgerla in un nuovo "guardia giurata" (Sieve) che gestisce il caos di persone che si uniscono/lasciano e viaggiano nel tempo.

Il Cattivo: Il Viaggiatore nel Tempo

In una riunione normale, se parli, parli ora.
In una blockchain permissionless, un attore malvagio (nodo bizantino) può fare qualcosa di subdolo:

Genera un sacco di "voti" (enigmi matematici) nel 2020.
Li tiene da parte.
Nel 2026, scarica tutti quei vecchi voti nell'assemblea attuale, fingendo che siano stati appena espressi proprio ora.

Poiché il sistema vede un'ondata di "voti" dal passato, si confonde su chi abbia effettivamente la maggioranza oggi. Questo rompe la sicurezza dell'assemblea.

L'Eroe: Il Sieve (Il Setaccio)

Per fermare questi viaggiatori nel tempo, gli autori hanno inventato un nuovo filtro chiamato Sieve. Immaginalo come un buttafuori di un club che controlla i documenti, ma con un tocco particolare.

Come funziona il Sieve:

Il "Cofre" (Il Baule): Ogni volta che un nodo invia un messaggio (un voto), deve includere un "coffer" (un sacco) contenente i messaggi che ha ricevuto dai round precedenti.
La Proof of Work (DPoW): Per inviare un messaggio, devi risolvere un enigma matematico. Il tempo necessario per risolverlo viene registrato.
Il Filtro: Quando il Sieve riceve un mucchio di messaggi, controlla i "coffers".
- Se un messaggio dichiara di provenire dal "Round 5", ma il suo coffer non contiene i messaggi del "Round 4" che sono stati appena generati da persone oneste, il Sieve sa che è un falso.
- Analogia: Immagina che qualcuno affermi di essere appena arrivato a una festa nel 2026. Ma quando guardi il suo album fotografico (il coffer), le foto sono del 2020 e non contengono le foto delle decorazioni della festa che sono state messe su ieri. Il buttafuori (Sieve) dice: "Sei un viaggiatore nel tempo. Non puoi entrare".

Il Sieve filtra questi messaggi "antichi", assicurando che solo i messaggi generati recentemente da persone che erano effettivamente presenti recentemente vengano conteggiati.

I Due Modi del Sieve

Il Sieve ha due modi di lavorare, a seconda di quanto tempo sei stato alla festa:

Online-Sieve (L'Ospite Regolare): Se sei stato alla festa per un po', hai una lista degli ultimi messaggi validi. Devi solo controllare se i nuovi messaggi si adattano a quella lista. È veloce e facile.
Bootstrap-Sieve (Il Nuovo Ospite): Se ti sei appena unito alla festa, non hai la storia. Devi guardare l'intera storia della festa dall'inizio, costruire una mappa gigante (un DAG) di chi ha parlato con chi, e capire quali messaggi sono reali e quali sono falsi viaggiatori nel tempo.
- Il Problema: Questo processo del "Nuovo Ospite" è computazionalmente pesante (è come risolvere un enorme puzzle). Il documento ammette che questo è un ostacolo per l'uso nel mondo reale al momento, ma dimostra che il concetto funziona.

Il Risultato: Sieve-MMR

Impilando il Sieve (la guardia giurata) sotto l'MMR (la logica di voto veloce), hanno creato il Sieve-MMR.

Sicurezza Deterministica: A differenza di Bitcoin, dove devi aspettare e sperare che l'attaccante non abbia fortuna, questo sistema garantisce la sicurezza. Se le regole vengono seguite, la storia non può essere cambiata.
Latenza Costante: È veloce. Il documento afferma che le transazioni possono essere finalizzate in un tempo prevedibile e breve (circa 7 passaggi), invece di aspettare una conferma "probabilistica".
Nessun Attacco a Lungo Raggio: Poiché il Sieve filtra i vecchi messaggi, un attaccante non può comprare vecchie chiavi e riscrivere la storia.
Nessun Aiuto Esterno: Non ha bisogno di un "consenso sociale" o di un checkpoint centrale per essere sicuro. Lo fa tutto matematicamente.

Le Limitazioni (Le Note Bene)

Il documento è onesto su ciò che non può fare ancora:

Larghezza di Banda: Richiede che tutti parlino con tutti in ogni round. Se la rete diventa enorme, i ingorghi di traffico diventano enormi (scalabilità quadratica).
Il Problema del "Nuovo Ospite": Il Bootstrap-Sieve (per i nuovi nodi) richiede di risolvere un problema matematico molto difficile su tutta la storia della catena. Al momento è più una prova teorica che uno strumento pronto all'uso per i nuovi utenti.
Rete Sincrona: Assume che i messaggi arrivino rapidamente e in ordine, il che è un'idealizzazione del disordinato mondo reale di Internet.

Riassunto

Il documento presenta Sieve-MMR, un nuovo modo per gestire una blockchain che combina la velocità e la certezza dei moderni sistemi di voto con la sicurezza della Proof of Work. Risolve il problema dell' "Attacco del Viaggiatore nel Tempo" utilizzando un meccanico meccanismo di filtraggio chiamato Sieve, che assicura che solo i voti freschi e recenti vengano conteggiati, impedendo agli attaccanti di usare dati vecchi per confondere il sistema. Sebbene debba superare alcuni ostacoli pratici prima di poter sostituire Bitcoin o Ethereum, dimostra che una blockchain permissionless, veloce e perfettamente sicura è teoricamente possibile.

Riepilogo Tecnico: Sieve-MMR, un protocollo di Proof-of-Work a consenso deterministico e veloce

Problematica

Le blockchain permissionless affrontano un compromesso fondamentale tra garanzie di sicurezza e prestazioni. I protocolli esistenti si dividono generalmente in due categorie: Proof-of-Stake (PoS) e Proof-of-Work (PoW), entrambi affetti da vulnerabilità specifiche:

Vulnerabilità PoS: I protocolli PoS sono suscettibili di attacchi a lungo raggio (long-range attacks), in cui gli avversari acquistano chiavi storiche per fabbricare storie di esecuzione alternate a basso costo. Difendersi da ciò richiede tipicamente meccanismi esterni (ad esempio, consenso sociale o checkpoint sicuri), il che mina la natura autocontenuta del sistema.
Vulnerabilità PoW: I protocolli PoW tradizionali (come Bitcoin) evitano gli attacchi a lungo raggio ma si affidano a garanzie di sicurezza probabilistiche. Ciò lascia aperta la possibilità che un attaccante crei con successo una storia alternativa. Inoltre, raggiungere la sicurezza deterministica nel PoW ha storicamente comportato protocolli proibitivamente lenti (ad esempio, latenza esponenziale) o richiesto modelli restrittivi.

La sfida centrale affrontata da questo articolo è l'"attacco di viaggio nel tempo" (time-travel attack). In un ambiente completamente permissionless, i protocolli dinamicamente disponibili (che permettono ai nodi di unirsi e lasciare la rete) si basano su argomenti di intersezione del quorum. Tuttavia, in un ambiente permissionless, i nodi bizantini possono generare messaggi in un passato remoto, memorizzarli e rilasciarli successivamente per distorcere la percezione del quorum di nodi corretti nel presente. Questo "viaggio nel tempo" invalida la logica di intersezione del quorum, rendendo insicuri i normali protocolli dinamicamente disponibili senza assunzioni di fiducia esterne.

Metodologia: Sieve-MMR

Gli autori propongono Sieve-MMR, il primo protocollo di Total-Order Broadcast (TOB) basato su Proof-of-Work completamente permissionless che raggiunge la sicurezza deterministica e una latenza attesa costante senza fare affidamento su meccanismi esterni. Il sistema è costruito su due livelli distinti:

1. Il Livello Inferiore: Sieve e TTRB

Il principale contributo tecnico è Sieve, un nuovo algoritmo che implementa un nuovo primitivo di broadcast chiamato Time-Travel-Resilient Broadcast (TTRB).

Obiettivo: Il TTRB garantisce che i messaggi consegnati in un dato round siano stati generati nel round immediatamente precedente, filtrando i messaggi "antichi" (time-traveling).
Meccanismo: Sieve utilizza un primitivo di Deterministic Proof-of-Work (DPoW). Costruisce un Grafo Aciclico Diretto (DAG) di valutazioni DPoW dove i messaggi sono vertici e gli archi rappresentano l'inclusione in "coffers" (insiemi di messaggi del round precedente inclusi nel payload di un nuovo messaggio).
Politiche di Filtraggio: Sieve impiega due strategie di filtraggio per potare il DAG e identificare i messaggi validi:
- Online-Sieve: Utilizzato dai nodi che erano attivi nel passaggio precedente. Filtra efficientemente i messaggi controllando se l'intersezione tra il coffer di un messaggio e l'insieme dei messaggi validi di due step precedenti supera una soglia ponderata ( $1-\rho$ ).
- Bootstrap-Sieve: Utilizzato dai nodi che si uniscono al sistema o che si riprendono da un'inattività. Esegue un'analisi più intensiva dal punto di vista computazionale dell'intera cronologia del DAG per ricostruire l'insieme dei messaggi validi del passaggio precedente, garantendo che il nodo non accetti messaggi antichi che potrebbero confondere la sua visione del quorum.
Assunzioni: Sieve assume una rete sincrona e che gli avversari controllino meno della metà ( $\rho \le 1/2$ ) della potenza di calcolo DPoW totale su un intervallo sufficientemente lungo.

2. Il Livello Superiore: MMR

La logica di consenso deriva dal protocollo MMR (Malkhi et al.), un protocollo PoS veloce e deterministicamente sicuro progettato per il modello "dinamicamente disponibile".

Integrazione: Stratificando MMR sopra Sieve, gli autori separano la logica di consenso dalla logica di partecipazione permissionless. Sieve fornisce le garanzie di consegna dei messaggi (TTRB) necessarie affinché MMR mantenga l'intersezione del quorum.
Elezione del Leader: Sieve-MMR utilizza un componente di elezione del leader probabilistico basato sull'oracolo casuale DPoW per determinare su quale catena votare o impegnare (commit) in ogni step.

Contributi Chiave

Time-Travel-Resilient Broadcast (TTRB): Un nuovo astrazione di broadcast che garantisce uno strato di messaggistica immune agli attacchi di viaggio nel tempo, assicurando che i messaggi consegnati siano causalmente coerenti con il round corrente.
Algoritmo Sieve: Un nuovo protocollo che implementa il TTRB utilizzando un primitivo DPoW black-box. Introduce il concetto di "coffers" e la potatura basata su DAG per distinguere tra messaggi attuali e antichi.
Protocollo Sieve-MMR: Il primo protocollo TOB completamente permissionless che raggiunge:
- Sicurezza Deterministica: Nessuna modalità di fallimento probabilistico riguardo alla sicurezza (all'interno del modello Dolev-Yao).
- Latenza Attesa Costante: Le transazioni vengono confermate in un numero costante di step (atteso 7 step, caso migliore 3 step).
- Nessuna Fiducia Esterna: Non si affida al consenso sociale o a checkpoint esterni per prevenire attacchi a lungo raggio.

Risultati e Garanzie

Sicurezza: Sieve-MMR garantisce la consistenza (tutti i nodi corretti confermano catene compatibili) e il progresso (le catene crescono eventualmente). Eredita la capacità di MMR di tollerare un avversario limitato a $1/3$ nel livello di consenso, mentre Sieve stesso tollera un avversario limitato a $1/2$ nel livello di messaggistica.
Latenza: Il protocollo raggiunge una latenza attesa costante, un miglioramento significativo rispetto ai precedenti protocolli PoW deterministici che soffrivano di una latenza esponenziale rispetto al numero di partecipanti.
Modello di Sicurezza: Le affermazioni di sicurezza valgono all'interno di un modello di tipo Dolev-Yao in cui gli avversari non possono violare le primitive crittografiche o indovinare i messaggi. Il protocollo assume una rete sincrona e si affida al broadcast all-to-all, incorrendo in costi di banda quadratici rispetto al numero di nodi attivi.

Significato e Limitazioni

L'articolo posiziona Sieve-MMR come un passo teorico significativo verso un consenso PoW pratico, veloce e sicuro. Dimostra che la vulnerabilità del "viaggio nel tempo", precedentemente considerata una barriera fondamentale per portare il consenso a bassa latenza in contesti permissionless, può essere mitigata attraverso il meccanismo Sieve.

Tuttavia, gli autori sono modesti riguardo all'immediata implementazione pratica, segnalando diverse ostruzioni:

Complessità Computazionale: La fase di Bootstrap-Sieve richiede la risoluzione di un problema a tempo esponenziale sulla cronologia di esecuzione del protocollo. Sebbene i nodi non siano obbligati a completarlo entro un tempo fisso, devono farlo prima della partecipazione attiva, il che rappresenta una barriera significativa per i nuovi nodi.
Assunzioni di Rete: Il protocollo assume una rete sincrona e una comunicazione all-to-all, il che potrebbe non scalare efficientemente in ambienti internet reali e asincroni.
Overhead di Verifica: Verificare le valutazioni DPoW per tutti i messaggi può essere computazionalmente costoso, sebbene gli autori suggeriscano la verifica batch e ottimizzazioni crittografiche (come le prove zero-knowledge) come potenziali rimedi futuri.

In conclusione, Sieve-MMR fornisce un ponte teorico tra i modelli dinamicamente disponibili e quelli completamente permissionless, dimostrando che la sicurezza deterministica e la latenza costante sono raggiungibili in un contesto PoW permissionless senza fiducia esterna, a patto che i vincoli computazionali e di rete possano essere affrontati.