Il 17 luglio 2026, Bitcoin Optech ha pubblicato la Newsletter #414, portando due aggiornamenti che rafforzano le fondamenta dell’intera rete: il rilascio di Bitcoin Core 30.3 (e della versione parallela 29.4) e l’avvio del progetto btc-verified, che applica per la prima volta la verifica formale al protocollo Bitcoin. Questi sviluppi non sono aggiornamenti di routine: segnano un salto qualitativo nella sicurezza, nella velocità e nella dimostrabilità matematica del sistema su cui si reggono centinaia di miliardi di dollari di valore. La redazione di BitcoinLive24 analizza ogni dettaglio di questa release.
btc-verified: la Matematica Certifica che Bitcoin È Sicuro
Keagan McClelland ha annunciato sul forum Bitcoin-Dev e su Delving Bitcoin il progetto btc-verified, un’implementazione in Lean4 (un linguaggio di verifica formale usato in matematica pura) che mira a dimostrare in modo rigoroso la correttezza delle regole di consenso di Bitcoin.
La verifica formale è una pratica software che usa i metodi della matematica per provare, non solo testare, che un sistema funziona come specificato. Mentre un test può trovare bug, una prova matematica garantisce per costruzione l’assenza di certi tipi di errori — un risultato fondamentale per un protocollo monetario che non può permettersi aggiornamenti di emergenza o rollback.
Il primo obiettivo di btc-verified è stato l’algoritmo che Bitcoin usa per calcolare il merkle root — la struttura ad albero che riassume tutte le transazioni di un blocco. Questo algoritmo contiene una falla nota (CVE-2012-2459): in linea teorica, due liste di transazioni diverse potrebbero produrre lo stesso merkle root. Bitcoin Core include da anni un controllo per rilevare questa mutazione.
McClelland ha usato btc-verified per dimostrare formalmente che quel controllo è corretto: nessuna lista di transazioni distinta può superarlo e produrre lo stesso merkle root, assumendo che SHA256 sia collision-resistant. È la prima volta che una proprietà critica del consenso Bitcoin viene certificata con metodi formali invece che affidata ai test.
«Questo potrebbe aiutare a risolvere le dispute fattuali sulle proposte di modifica delle regole di consenso di Bitcoin» — McClelland, Bitcoin-Dev mailing list.
Bitcoin Core 30.3 e 29.4: Validazione Blocchi fino a 3x Più Veloce
In parallelo alla ricerca teorica, Bitcoin Core ha rilasciato due versioni di manutenzione con impatti pratici immediati. La principale novità tecnica riguarda la velocità di validazione dei blocchi, migliorata attraverso il fetching parallelo degli UTXO (Unspent Transaction Outputs — le “monete” non ancora spese che devono essere verificate per ogni transazione).
Prima di questo aggiornamento, Bitcoin Core recuperava le precedenti uscite di transazione (previous outputs) in modo sequenziale, accumulando la latenza di ogni lettura su disco. Con Bitcoin Core #35295, il nodo avvia prima della validazione diversi thread worker che recuperano in parallelo i dati necessari, mentre il thread principale elabora il blocco nell’ordine normale.
L’opzione -prevoutfetchthreads usa di default 8 thread, consente fino a 16 e può essere disabilitata con valore zero. I benchmark mostrano che l’Initial Block Download (IBD) — il processo con cui un nuovo nodo scarica tutta la blockchain dalla genesi — diventa tra 1,18 e oltre 3 volte più veloce, a seconda dell’hardware e della configurazione.
| Componente | Prima | Dopo | Speedup |
|---|---|---|---|
| Lettura UTXO da disco | Sequenziale | Parallela (8-16 thread) | 1,18x – 3x+ |
| Chainstate flush | Potenziale inconsistenza con indici | Indici allineati al chainstate | Fix critico |
| Private broadcast queue | Illimitata (rischio memoria) | Max 10.000 transazioni | Stabilità |
Bitcoin Core 30.3 e 29.4 correggono inoltre un bug nel database chainstate che poteva causare letture e scritture eccessive su disco durante il normale funzionamento — un problema di efficienza che impattava i nodi su hardware con storage lento.
Tre Fix che Migliorano la Stabilità della Rete
Bitcoin Core #34897 — Indici sempre consistenti: In passato, uno spegnimento imprevisto poteva far riavviare Bitcoin Core con il chainstate su un blocco precedente rispetto all’indice (coinstatsindex), creando un’inconsistenza difficile da risolvere senza rielaborare i blocchi. Il fix introduce una regola semplice: l’indice non salva progressi a disco finché il chainstate non lo raggiunge. Zero inconsistenze, zero dati persi.
Bitcoin Core #35406 — Coda di broadcast privata limitata: Le transazioni trasmesse tramite il meccanismo di broadcast privato venivano tracciate finché non tornavano dalla rete. La coda era illimitata: transazioni mai restituite (per differenze di policy tra nodi) potevano accumularsi indefinitamente, consumando memoria e CPU. Ora il limite è 10.000 transazioni; i nuovi inserimenti oltre soglia vengono rifiutati, garantendo la stabilità del nodo.
Per chi gestisce infrastruttura Bitcoin — mining pool, exchange, custodi, nodi Lightning — questi aggiornamenti significano meno consumo di risorse, meno rischi operativi e un IBD significativamente più rapido per i nuovi nodi.
Il Contesto: l’Ecosistema Bitcoin Si Rafforza dal Basso
Il valore di queste release va letto nel contesto più ampio dello sviluppo dell’infrastruttura Bitcoin. Come già analizzato in precedenti approfondimenti di BitcoinLive24 su Optech #403 — filtri BIP158 80x più veloci e sulle novità di Optech #401, ogni newsletter documenta decine di miglioramenti incrementali che complessivamente rendono la rete più resiliente.
La verifica formale applicata a Bitcoin si inserisce in una tendenza più ampia: con la crescita dell’adozione istituzionale e del valore in gioco, la comunità di sviluppatori sta alzando gli standard di sicurezza. Verificare matematicamente le proprietà del consenso — invece di affidarsi solo a review umane e test — è il passo successivo naturale per un protocollo che ambisce a essere l’infrastruttura monetaria globale.
Sfide e Prossimi Passi
McClelland è chiaro sullo stato attuale di btc-verified: il progetto fa largo uso di AI nel repository, è ancora immaturo, e copre solo una proprietà del protocollo (la costruzione del merkle root). La verifica formale dell’intero sistema di consenso Bitcoin è un lavoro che richiederà anni e il contributo di molti sviluppatori con competenze in matematica formale.
Sul fronte Bitcoin Core, la sfida principale rimane la latenza dell’IBD su hardware consumer. Il miglioramento 1,18x-3x è significativo, ma la sincronizzazione completa di un nuovo nodo richiede ancora molte ore su connessioni standard — un ostacolo alla decentralizzazione della rete (più nodi = più resilienza).
📲 Rimani aggiornato su ogni sviluppo dell’ecosistema Bitcoin in tempo reale: Scarica l’app BitcoinLive24 e ricevi push notification istantanee.
FAQ — Domande Frequenti
Cos’è la verifica formale del protocollo Bitcoin?
La verifica formale è un metodo matematico che dimostra in modo rigoroso che un sistema si comporta come specificato. Applicata a Bitcoin, permette di provare — non solo testare — che certe proprietà del protocollo sono sempre valide. Il progetto btc-verified di Keagan McClelland usa Lean4 per questa dimostrazione.
Perché Bitcoin Core 30.3 è importante per chi gestisce un nodo?
Bitcoin Core 30.3 porta la validazione dei blocchi fino a 3 volte più veloce grazie al fetching parallelo degli UTXO, e corregge un bug nel database chainstate. Per chi gestisce un nodo full, si traduce in meno consumo di risorse e una sincronizzazione iniziale più rapida.
Cosa cambia con il limite di 10.000 transazioni nella coda di broadcast privato?
Il limite a 10.000 entry risolve un problema di memoria: transazioni mai restituite dalla rete non possono più accumularsi indefinitamente, garantendo la stabilità del nodo.
Questi aggiornamenti cambiano le regole di consenso di Bitcoin?
No. Bitcoin Core 30.3 e 29.4 sono release di manutenzione: correggono bug e migliorano le performance senza modificare le regole di consenso. La verifica formale di btc-verified è un progetto di ricerca.
