Conferme e riorganizzazioni: quanto è definitivo il definitivo?

La tua transazione è stata confermata. Hai visto il segno di spunta. Il denaro è regolato — solo che «regolato» si rivela essere uno spettro più che uno stato, e dove ti collochi su quello spettro dipende dalla catena, dall’importo e da quanto costerebbe a qualcuno disfare il tutto.

Questo è uno dei pochi angoli della meccanica delle catene di blocchi in cui i dettagli cambiano ciò che davvero dovresti fare, quindi merita venti minuti della tua attenzione.

Che cosa conta davvero una conferma

Una conferma non è il timbro di approvazione di nessuno. È una misura di profondità.

Quando la tua transazione viene inclusa in un blocco, quel blocco si trova a una certa altezza nella catena. Ogni blocco estratto sopra di esso lo seppellisce di uno strato in più. Il numero di conferme è semplicemente quanti blocchi sono impilati sul tuo, compreso il suo.

SSP lo calcola nel modo consueto: tipHeight - blockheight + 1. Quel +1 non è un errore di conteggio: una transazione che si trova nel blocco più recente ha una conferma, non zero. Zero conferme significa che è ancora nella mempool, diffusa ma non ancora inclusa da nessuna parte.

La ragione per cui la profondità significa qualcosa è che annullare la tua transazione richiede di sostituire il blocco che la contiene, più ogni blocco costruito sopra. Ogni blocco in più rende quel lavoro più arduo. Su una catena a prova di lavoro nulla è mai impossibile da annullare; diventa solo via via più costoso, e a una certa profondità il costo supera qualunque guadagno immaginabile.

Le riorganizzazioni sono normali, non un attacco

Ecco la parte che allarma le persone senza motivo: le brevi riorganizzazioni della catena accadono di routine, e quasi nessuna è malevola.

Due miner ai lati opposti del mondo possono risolvere un blocco a pochi secondi di distanza. Per un istante la rete è davvero in disaccordo su quale sia la cima. Poi il blocco successivo atterra su uno dei due, quel ramo diventa più lungo e l’altro blocco resta orfano. Qualsiasi transazione che stava solo nel blocco orfano torna nella mempool e viene estratta di nuovo poco dopo.

Questo è il protocollo che funziona esattamente come progettato. Ed è anche precisamente il motivo per cui una conferma è più debole di quanto sembri: una transazione profonda uno vive in un blocco che potrebbe ancora perdere un testa o croce.

Le riorganizzazioni profonde sono un altro animale. Richiedono o un’enorme potenza di calcolo o, a volte, qualcosa di più strano: il difetto di consenso di Ravencoin ha imposto una riscrittura assai più profonda di qualunque riorganizzazione ordinaria, non perché qualcuno l’avesse attaccata ma perché i nodi erano in disaccordo su quali fossero le regole. È raro. È anche un promemoria che «la catena non può cambiare» è un’abbreviazione, non fisica.

Da dove vengono le sei conferme

La convenzione delle sei conferme non è un numero magico e non è mai stata pensata come legge universale.

Viene dal calcolo di probabilità del documento fondativo di Bitcoin: dato un attaccante che controlla una certa frazione della potenza di calcolo, quanto è probabile che recuperi da dietro dopo un dato numero di blocchi? La risposta decade esponenzialmente con la profondità. Sei blocchi portano la probabilità di successo in territorio trascurabile per un attaccante che detiene una modesta minoranza della potenza su una catena grande come Bitcoin.

Ogni pezzo di quell’inciso in corsivo conta, ed è qui che le persone sbagliano. Sei conferme su Bitcoin rappresentano all’incirca un’ora del calcolo più costoso della Terra. Sei conferme su una piccola catena a prova di lavoro possono rappresentare una potenza che qualcuno può semplicemente affittare per un pomeriggio.

Non è un’ipotesi. Catene a prova di lavoro più piccole — tra cui Ethereum Classic e Bitcoin Gold — hanno subito veri attacchi al 51 per cento con doppie spese reali ai danni di borse. La risposta del settore non è stata abbandonare quelle catene, ma alzare drasticamente il requisito di conferme, talvolta fino alle migliaia. Quell’asimmetria è tutta la lezione: la profondità di conferma è significativa solo in rapporto a quanta sicurezza la catena compra davvero per blocco.

La prova di partecipazione cambia la domanda

Su una catena dotata di definitività esplicita, il modello differisce per genere, non solo per grado.

I validatori di Ethereum votano periodicamente per rendere definitivi dei punti di controllo. Una volta che un punto di controllo è definitivo — cosa che richiede circa due epoche, nell’ordine dei tredici minuti — ribaltarlo non è questione di superare qualcuno nel calcolo. Richiede che una frazione molto grande di tutto l’etere vincolato abbia votato per punti di controllo contraddittori, cosa rilevabile e che comporta la distruzione di quel vincolo. La garanzia non è «sarebbe costoso disfarlo», ma «chiunque lo disfaccia perde in modo dimostrabile una somma enorme».

È un’affermazione davvero più forte della profondità probabilistica, ed è il motivo per cui attendere la definitività su Ethereum è un’attesa di tipo diverso dal contare blocchi su Bitcoin. Solana traccia una distinzione simile tra una transazione confermata in modo ottimistico e una pienamente radicata.

In pratica: sulle catene a prova di lavoro conti la profondità. Sulle catene a prova di partecipazione vuoi sapere se il blocco che contiene la tua transazione è stato reso definitivo, che è una domanda da sì o no anziché un totale progressivo.

L’asimmetria che nessuno menziona

Le conferme contano quando stai ricevendo. Contano ben poco quando stai inviando.

Se hai pagato qualcuno, la tua transazione annullata da una riorganizzazione è un fastidio lieve: torna nella mempool, si conferma di nuovo, e il destinatario aspetta solo un po’ di più. Non hai perso nulla.

Se invece qualcuno ha pagato te, e tu consegni merce, sblocchi fondi o spedisci un prodotto sulla fiducia di una conferma superficiale, una riorganizzazione significa che hai dato via qualcosa in cambio di un pagamento che non esiste più. Tutti gli attacchi a doppia spesa che hanno contato hanno funzionato così: hanno preso di mira parti che si erano mosse troppo presto sul denaro in entrata.

La regola onesta è dunque semplice. Quando spendi, una conferma ti dice che la transazione è reale e puoi smettere di preoccuparti. Quando accetti valore da uno sconosciuto, la profondità che pretendi dovrebbe crescere con l’importo in gioco e restringere la tua fiducia proprio su quelle catene dove i blocchi costano poco da produrre.

Che cosa ti mostra SSP e che cosa no

L’elenco attività di SSP ti dà un contrassegno binario: confermata o non confermata. È una scelta deliberata, perché per la stragrande maggioranza dell’uso quotidiano il binario è tutta la risposta. Espandendo una riga di transazione ottieni il conteggio delle conferme in tempo reale e l’altezza del blocco, calcolati rispetto alla cima attuale della catena.

Ora il limite onesto: nulla in SSP subordina alcunché alla profondità di conferma. Il portafoglio non ti avviserà che tre conferme sono poche per l’importo appena ricevuto, e non ha alcuna nozione di «abbastanza»: riporta il numero e lascia a te il giudizio. Nessun portafoglio può davvero fare altrimenti, perché «abbastanza» dipende da che cosa stai per fare con quel denaro, cosa che il portafoglio non può sapere. Ma significa che l’interpretazione spetta a te, e che un segno di spunta verde non è la stessa affermazione di «irreversibile».

Vale anche la pena ricordare che il conteggio che stai leggendo proviene dal nodo con cui parla il tuo portafoglio. Durante esattamente il tipo di incidente in cui la profondità conta di più — una biforcazione contesa, un difetto di consenso, una scissione di catena — è proprio quando una fonte sola è meno affidabile.

Regole pratiche da tenere

Zero conferme non è un pagamento. È l’annuncio dell’intenzione di pagare. Per importi piccoli, a basso rischio e di persona può andare bene. Per tutto il resto non è una transazione regolata.

Una conferma è reale ma superficiale. Va benissimo per spendere. È poco per accettare qualcosa di rilevante da chi non conosci.

Sei è una convenzione su scala Bitcoin, non una costante universale. Su una catena dove la potenza di calcolo si affitta a poco, sei conferme possono valere pochissimo, e il numero giusto potrebbe essere di ordini di grandezza superiore.

Sulle catene a prova di partecipazione, chiedi della definitività invece di contare. Definitivo significa qualcosa di categoricamente più forte che profondo.

Scala la profondità al valore. Trenta secondi di pazienza costano poco. Un errore irreversibile no.

L’idea di fondo è silenziosamente rassicurante una volta che scatta. Nulla nelle criptovalute è definitivo nel modo in cui è definitiva una dimostrazione matematica. Quel che ottieni invece è un costo di annullamento che sale ripidamente col tempo, e la possibilità di decidere tu stesso quanto alto debba essere quel costo prima di agire. È una garanzia più debole di quella che la maggior parte crede di avere — e molto più onesta di qualunque cosa una banca ti dirà su un pagamento che può ancora essere revocato mesi dopo.