{"id":4460,"date":"2026-07-22T19:36:59","date_gmt":"2026-07-22T19:36:59","guid":{"rendered":"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/"},"modified":"2026-07-22T19:36:59","modified_gmt":"2026-07-22T19:36:59","slug":"bitcoin-core-303-verifica-formale-protocollo","status":"publish","type":"post","link":"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/","title":{"rendered":"Bitcoin Core 30.3 e la Verifica Formale: il Protocollo Diventa Provabile"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\">Il 17 luglio 2026, Bitcoin Optech ha pubblicato la <a href=\"https:\/\/bitcoinops.org\/en\/newsletters\/2026\/07\/17\/\" rel=\"nofollow noreferrer noopener\" target=\"_blank\">Newsletter #414<\/a>, portando due aggiornamenti che rafforzano le fondamenta dell\u2019intera rete: il rilascio di <strong>Bitcoin Core 30.3<\/strong> (e della versione parallela 29.4) e l\u2019avvio del progetto <em>btc-verified<\/em>, che applica per la prima volta la <strong>verifica formale<\/strong> al protocollo Bitcoin. Questi sviluppi non sono aggiornamenti di routine: segnano un salto qualitativo nella sicurezza, nella velocit\u00e0 e nella dimostrabilit\u00e0 matematica del sistema su cui si reggono centinaia di miliardi di dollari di valore. La redazione di BitcoinLive24 analizza ogni dettaglio di questa release.<\/p>\n\n\n\n<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_82_2 counter-hierarchy ez-toc-counter ez-toc-transparent ez-toc-container-direction\">\n<div class=\"ez-toc-title-container\">\n<p class=\"ez-toc-title\" style=\"cursor:inherit\">Table of Contents<\/p>\n<span class=\"ez-toc-title-toggle\"><a href=\"#\" class=\"ez-toc-pull-right ez-toc-btn ez-toc-btn-xs ez-toc-btn-default ez-toc-toggle\" aria-label=\"Toggle Table of Content\"><span class=\"ez-toc-js-icon-con\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n<nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#btc-verified_la_Matematica_Certifica_che_Bitcoin_E_Sicuro\" >btc-verified: la Matematica Certifica che Bitcoin \u00c8 Sicuro<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#Bitcoin_Core_303_e_294_Validazione_Blocchi_fino_a_3x_Piu_Veloce\" >Bitcoin Core 30.3 e 29.4: Validazione Blocchi fino a 3x Pi\u00f9 Veloce<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#Tre_Fix_che_Migliorano_la_Stabilita_della_Rete\" >Tre Fix che Migliorano la Stabilit\u00e0 della Rete<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#Il_Contesto_lEcosistema_Bitcoin_Si_Rafforza_dal_Basso\" >Il Contesto: l\u2019Ecosistema Bitcoin Si Rafforza dal Basso<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-5\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#Sfide_e_Prossimi_Passi\" >Sfide e Prossimi Passi<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-6\" href=\"https:\/\/bitcoinlive24.com\/news\/bitcoin-core-303-verifica-formale-protocollo\/#FAQ_%E2%80%94_Domande_Frequenti\" >FAQ \u2014 Domande Frequenti<\/a><\/li><\/ul><\/nav><\/div>\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"btc-verified_la_Matematica_Certifica_che_Bitcoin_E_Sicuro\"><\/span>btc-verified: la Matematica Certifica che Bitcoin \u00c8 Sicuro<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Keagan McClelland ha annunciato sul forum Bitcoin-Dev e su Delving Bitcoin il progetto <strong>btc-verified<\/strong>, un\u2019implementazione in <strong>Lean4<\/strong> (un linguaggio di verifica formale usato in matematica pura) che mira a dimostrare in modo rigoroso la correttezza delle regole di consenso di Bitcoin.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La verifica formale \u00e8 una pratica software che usa i metodi della matematica per <em>provare<\/em>, non solo testare, che un sistema funziona come specificato. Mentre un test pu\u00f2 trovare bug, una prova matematica garantisce per costruzione l\u2019assenza di certi tipi di errori \u2014 un risultato fondamentale per un protocollo monetario che non pu\u00f2 permettersi aggiornamenti di emergenza o rollback.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Il primo obiettivo di btc-verified \u00e8 stato l\u2019algoritmo che Bitcoin usa per calcolare il <strong>merkle root<\/strong> \u2014 la struttura ad albero che riassume tutte le transazioni di un blocco. Questo algoritmo contiene una falla nota (<strong>CVE-2012-2459<\/strong>): 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.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">McClelland ha usato btc-verified per <strong>dimostrare formalmente<\/strong> che quel controllo \u00e8 corretto: nessuna lista di transazioni distinta pu\u00f2 superarlo e produrre lo stesso merkle root, assumendo che SHA256 sia collision-resistant. \u00c8 la prima volta che una propriet\u00e0 critica del consenso Bitcoin viene certificata con metodi formali invece che affidata ai test.<\/p>\n\n\n\n<blockquote class=\"wp-block-quote is-layout-flow wp-block-quote-is-layout-flow\"><p><em>\u00abQuesto potrebbe aiutare a risolvere le dispute fattuali sulle proposte di modifica delle regole di consenso di Bitcoin\u00bb<\/em> \u2014 McClelland, Bitcoin-Dev mailing list.<\/p><\/blockquote>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Bitcoin_Core_303_e_294_Validazione_Blocchi_fino_a_3x_Piu_Veloce\"><\/span>Bitcoin Core 30.3 e 29.4: Validazione Blocchi fino a 3x Pi\u00f9 Veloce<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">In parallelo alla ricerca teorica, Bitcoin Core ha rilasciato due versioni di manutenzione con impatti pratici immediati. La principale novit\u00e0 tecnica riguarda la velocit\u00e0 di validazione dei blocchi, migliorata attraverso il <strong>fetching parallelo degli UTXO<\/strong> (Unspent Transaction Outputs \u2014 le \u201cmonete\u201d non ancora spese che devono essere verificate per ogni transazione).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Prima di questo aggiornamento, Bitcoin Core recuperava le precedenti uscite di transazione (<em>previous outputs<\/em>) in modo sequenziale, accumulando la latenza di ogni lettura su disco. Con <strong>Bitcoin Core #35295<\/strong>, il nodo avvia prima della validazione diversi thread worker che recuperano in parallelo i dati necessari, mentre il thread principale elabora il blocco nell\u2019ordine normale.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">L\u2019opzione <code>-prevoutfetchthreads<\/code> usa di default <strong>8 thread<\/strong>, consente fino a 16 e pu\u00f2 essere disabilitata con valore zero. I benchmark mostrano che l\u2019<strong>Initial Block Download (IBD)<\/strong> \u2014 il processo con cui un nuovo nodo scarica tutta la blockchain dalla genesi \u2014 diventa tra <strong>1,18 e oltre 3 volte pi\u00f9 veloce<\/strong>, a seconda dell\u2019hardware e della configurazione.<\/p>\n\n\n\n<figure class=\"wp-block-table\"><table><thead><tr><th>Componente<\/th><th>Prima<\/th><th>Dopo<\/th><th>Speedup<\/th><\/tr><\/thead><tbody><tr><td>Lettura UTXO da disco<\/td><td>Sequenziale<\/td><td>Parallela (8-16 thread)<\/td><td>1,18x \u2013 3x+<\/td><\/tr><tr><td>Chainstate flush<\/td><td>Potenziale inconsistenza con indici<\/td><td>Indici allineati al chainstate<\/td><td>Fix critico<\/td><\/tr><tr><td>Private broadcast queue<\/td><td>Illimitata (rischio memoria)<\/td><td>Max 10.000 transazioni<\/td><td>Stabilit\u00e0<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n<p class=\"wp-block-paragraph\">Bitcoin Core 30.3 e 29.4 correggono inoltre un <strong>bug nel database chainstate<\/strong> che poteva causare letture e scritture eccessive su disco durante il normale funzionamento \u2014 un problema di efficienza che impattava i nodi su hardware con storage lento.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Tre_Fix_che_Migliorano_la_Stabilita_della_Rete\"><\/span>Tre Fix che Migliorano la Stabilit\u00e0 della Rete<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Bitcoin Core #34897 \u2014 Indici sempre consistenti<\/strong>: In passato, uno spegnimento imprevisto poteva far riavviare Bitcoin Core con il chainstate su un blocco precedente rispetto all\u2019indice (<em>coinstatsindex<\/em>), creando un\u2019inconsistenza difficile da risolvere senza rielaborare i blocchi. Il fix introduce una regola semplice: l\u2019indice non salva progressi a disco finch\u00e9 il chainstate non lo raggiunge. Zero inconsistenze, zero dati persi.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>Bitcoin Core #35406 \u2014 Coda di broadcast privata limitata<\/strong>: Le transazioni trasmesse tramite il meccanismo di broadcast privato venivano tracciate finch\u00e9 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 \u00e8 <strong>10.000 transazioni<\/strong>; i nuovi inserimenti oltre soglia vengono rifiutati, garantendo la stabilit\u00e0 del nodo.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Per chi gestisce infrastruttura Bitcoin \u2014 mining pool, exchange, custodi, nodi Lightning \u2014 questi aggiornamenti significano meno consumo di risorse, meno rischi operativi e un IBD significativamente pi\u00f9 rapido per i nuovi nodi.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Il_Contesto_lEcosistema_Bitcoin_Si_Rafforza_dal_Basso\"><\/span>Il Contesto: l\u2019Ecosistema Bitcoin Si Rafforza dal Basso<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">Il valore di queste release va letto nel contesto pi\u00f9 ampio dello sviluppo dell\u2019infrastruttura Bitcoin. Come gi\u00e0 analizzato in precedenti approfondimenti di BitcoinLive24 su <a href=\"https:\/\/news.bitcoinlive24.com\/bitcoin-optech-403-filtri-bip158-fino-a-80x-piu-veloci-e-portafogli-quantum-safe\/\">Optech #403 \u2014 filtri BIP158 80x pi\u00f9 veloci<\/a> e sulle novit\u00e0 di <a href=\"https:\/\/news.bitcoinlive24.com\/bitcoin-si-aggiorna-frigate-swiftsync-e-taproot-su-lightning-le-5-novita-di-optech-401\/\">Optech #401<\/a>, ogni newsletter documenta decine di miglioramenti incrementali che complessivamente rendono la rete pi\u00f9 resiliente.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La verifica formale applicata a Bitcoin si inserisce in una tendenza pi\u00f9 ampia: con la crescita dell\u2019adozione istituzionale e del valore in gioco, la comunit\u00e0 di sviluppatori sta alzando gli standard di sicurezza. Verificare matematicamente le propriet\u00e0 del consenso \u2014 invece di affidarsi solo a review umane e test \u2014 \u00e8 il passo successivo naturale per un protocollo che ambisce a essere l\u2019infrastruttura monetaria globale.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"Sfide_e_Prossimi_Passi\"><\/span>Sfide e Prossimi Passi<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">McClelland \u00e8 chiaro sullo stato attuale di btc-verified: il progetto fa largo uso di AI nel repository, \u00e8 ancora immaturo, e copre solo una propriet\u00e0 del protocollo (la costruzione del merkle root). La verifica formale dell\u2019intero sistema di consenso Bitcoin \u00e8 un lavoro che richieder\u00e0 anni e il contributo di molti sviluppatori con competenze in matematica formale.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Sul fronte Bitcoin Core, la sfida principale rimane la latenza dell\u2019IBD su hardware consumer. Il miglioramento 1,18x-3x \u00e8 significativo, ma la sincronizzazione completa di un nuovo nodo richiede ancora molte ore su connessioni standard \u2014 un ostacolo alla decentralizzazione della rete (pi\u00f9 nodi = pi\u00f9 resilienza).<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\ud83d\udcf2 Rimani aggiornato su ogni sviluppo dell\u2019ecosistema Bitcoin in tempo reale: <a href=\"https:\/\/bitcoinlive24.com\" target=\"_blank\">Scarica l\u2019app BitcoinLive24<\/a> e ricevi push notification istantanee.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\"><span class=\"ez-toc-section\" id=\"FAQ_%E2%80%94_Domande_Frequenti\"><\/span>FAQ \u2014 Domande Frequenti<span class=\"ez-toc-section-end\"><\/span><\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Cos\u2019\u00e8 la verifica formale del protocollo Bitcoin?<\/h3>\n\n\n<p class=\"wp-block-paragraph\">La verifica formale \u00e8 un metodo matematico che dimostra in modo rigoroso che un sistema si comporta come specificato. Applicata a Bitcoin, permette di <strong>provare<\/strong> \u2014 non solo testare \u2014 che certe propriet\u00e0 del protocollo sono sempre valide. Il progetto btc-verified di Keagan McClelland usa Lean4 per questa dimostrazione.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Perch\u00e9 Bitcoin Core 30.3 \u00e8 importante per chi gestisce un nodo?<\/h3>\n\n\n<p class=\"wp-block-paragraph\">Bitcoin Core 30.3 porta la validazione dei blocchi fino a <strong>3 volte pi\u00f9 veloce<\/strong> 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\u00f9 rapida.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Cosa cambia con il limite di 10.000 transazioni nella coda di broadcast privato?<\/h3>\n\n\n<p class=\"wp-block-paragraph\">Il limite a 10.000 entry risolve un problema di memoria: transazioni mai restituite dalla rete non possono pi\u00f9 accumularsi indefinitamente, garantendo la stabilit\u00e0 del nodo.<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">Questi aggiornamenti cambiano le regole di consenso di Bitcoin?<\/h3>\n\n\n<p class=\"wp-block-paragraph\">No. Bitcoin Core 30.3 e 29.4 sono release di <em>manutenzione<\/em>: correggono bug e migliorano le performance senza modificare le regole di consenso. La verifica formale di btc-verified \u00e8 un progetto di ricerca.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Il 17 luglio 2026, Bitcoin Optech ha pubblicato la Newsletter #414, portando due aggiornamenti che rafforzano le fondamenta dell\u2019intera rete: il rilascio di Bitcoin Core&#8230;<\/p>\n","protected":false},"author":4,"featured_media":828,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[611],"tags":[],"class_list":["post-4460","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-crescita"],"_links":{"self":[{"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/posts\/4460","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/comments?post=4460"}],"version-history":[{"count":0,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/posts\/4460\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/media\/828"}],"wp:attachment":[{"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/media?parent=4460"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/categories?post=4460"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/bitcoinlive24.com\/news\/wp-json\/wp\/v2\/tags?post=4460"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}