Perché l'IA minaccia il software di Bitcoin ma non il suo modello di sicurezza

La prima passata del Bitcoin Red Team sull'ecosistema open source ha prodotto un numero facile da drammatizzare e difficile da interpretare. Ha depositato 7.958 possibili rilievi su 501 progetti nel giro di pochi giorni, e il suo co-responsabile ha riassunto il risultato così: «tutto è rotto, Bitcoin sta bruciando». Per i fatti su cosa è stato depositato e cosa è stato corretto, si veda il nostro resoconto sulla scansione. Il numero grezzo non è la parte interessante. La parte interessante è ciò che dice su dove Bitcoin è fragile, dove non lo è, e perché un modello di IA abbia cambiato quel quadro quasi da un giorno all'altro.

Il presupposto che l'IA ha appena infranto

Per gran parte della sua storia, la sicurezza dell'open source ha poggiato su un presupposto silenzioso. L'idea, a volte chiamata legge di Linus, è che con abbastanza occhi tutti i bug diventano superficiali. La metà non detta di quella frase è che anche gli aggressori hanno solo un certo numero di occhi, di tempo e di competenze. Una revisione seria di una grande base di codice era costosa per tutti, difensori e aggressori allo stesso modo.

L'IA elimina la parte costosa. Un modello può leggere un'intera base di codice, proporre idee di attacco e passare al progetto successivo un'ora dopo. Il Red Team ha speso più di 40.000 dollari in token dei modelli per scansionare centinaia di repository in pochi giorni. Non è una squadra più grande. È una struttura di costo diversa per trovare i bug, e vale per chiunque sia disposto a pagare.

Lo strato base funziona sulla fisica, non su codice ingegnoso

Ecco la distinzione che gran parte della copertura mediatica allarmistica salta. La sicurezza di fondo di Bitcoin non deriva dall'ingegnosità del suo codice. Deriva dalla proof of work, la regola per cui aggiungere un blocco costa energia reale e hardware specializzato. Un modello può leggere riga per riga le regole del consenso, ma non può produrre potenza di calcolo senza pagare elettricità e macchine, e non può riscrivere la storia già consolidata senza superare in calcolo l'intera rete onesta.

Ecco perché un modello che fa paura nel leggere il codice non è, di per sé, una minaccia per il protocollo. Può dare la caccia a bug logici nel software. Non può falsificare il costo fisico su cui è costruita la garanzia di regolamento di Bitcoin. L'audit di Bitcoin Core condotto da Quarkslab nel 2025, commissionato dall'organizzazione no profit Brink, non ha trovato problemi critici o ad alta gravità nelle aree esaminate, il che si accorda con questo quadro. Lo strato base è un bersaglio piccolo e minuziosamente scrutinato, con un modello di sicurezza fisico. Il software che lo circonda è l'opposto.

Lo stesso strumento taglia da entrambi i lati, ma non in modo uniforme

La lettura ottimistica è che l'IA sia simmetrica. Se un modello può trovare un bug, un difensore che usa lo stesso modello può trovarlo per primo e correggerlo. È vero, ed è l'intera premessa del Red Team.

La contro-lettura onesta è che la simmetria è imperfetta. A un aggressore serve un solo bug sfruttabile. Un difensore deve chiuderli tutti. Una ricerca economica e parallela aiuta di più chi cerca un singolo varco rispetto al lato che deve tenere l'intero perimetro. In più, i difensori qui sono manutentori volontari e un gruppo finanziato da donazioni, mentre un aggressore è mosso da motivi economici e non è vincolato da alcuna etichetta di divulgazione. La nostra lettura è che l'IA non dia a nessuno dei due lati un vantaggio permanente. Alza il ritmo, e il ritmo favorisce chi ha più risorse ed è più rapido ad adottarla. Oggi non è ovviamente la difesa.

Un rilievo è una pista, non un verdetto

Il numero di 7.958 nasconde anche dove sta il lavoro vero. Un modello produce problemi sospetti. Trasformare un sospetto in un bug confermato e sfruttabile richiede una persona in grado di riprodurlo e un manutentore in grado di giudicare se il percorso vulnerabile sia perfino raggiungibile. Nell'ultimo aggiornamento, solo circa un quarto dei rilievi era stato riprodotto e poco meno di un terzo era stato inviato ai manutentori. La verifica, non la scoperta, è ora la risorsa scarsa. Un fiume di rilievi non verificati può persino lavorare contro la difesa, seppellendo i pochi problemi critici sotto migliaia di segnalazioni di scarso valore.

Perché Lightning è la superficie più difficile

Calle ha indicato Lightning come più compromesso della media e difficile da esaminare. È strutturale, non casuale. Lightning non è un unico programma. È un intreccio di implementazioni di nodi, wallet, watchtower, servizi di liquidità e di swap e librerie che devono tutti interoperare, mantenere uno stato sensibile al tempo e restare online. Il numero di parti in movimento si vede in come funziona davvero la rete. Ogni parte in più è un altro punto in cui può annidarsi un bug. Boltz, un fornitore di swap non custodial, ha messo offline il suo servizio il 3 agosto dopo che attacchi assistiti dall'IA hanno prosciugato la liquidità del team più in fretta di quanto potesse correggere. I fondi degli utenti erano al sicuro per costruzione, ma il servizio si è comunque spento.

Il guasto costoso non è il bug. È il riflesso che innesca

È qui che sta la nostra preoccupazione principale, e la segnaliamo chiaramente come nostra lettura e non come fatto neutro. Quando gli strumenti che le persone usano per custodire le proprie monete iniziano a sembrare poco sicuri, la via di minor resistenza è affidare le monete a qualcun altro. Uno spavento su un wallet hardware o l'interruzione di un servizio spingono gli utenti verso gli exchange e i prodotti in custodia, cioè esattamente il rischio di controparte che Bitcoin era stato pensato per eliminare. Altri commentatori hanno fatto la stessa osservazione, sostenendo che il vero pericolo dell'hacking assistito dall'IA è che riporti le persone tra le braccia dei grandi custodi.

Vale la pena esporre per intero l'obiezione più forte alla nostra stessa tesi. È che un custode con una squadra di sicurezza professionale e accesso ai modelli di frontiera possa davvero difendere una persona comune meglio di quanto quella persona difenda una configurazione casalinga costruita su software appena bocciato da un audit di IA. È un argomento valido, e gli slogan non lo risolvono. Dipende dal fatto che lo strato software della self-custody venga irrobustito in fretta, che è esattamente ciò che il Red Team sta cercando di forzare.

Il vero scontro politico è sull'accesso

Se ora è l'IA a decidere chi trova per primo un bug, allora chi è autorizzato a usare i modelli più potenti conta più di prima. I difensori in questa storia si appoggiano a un modello a pesi aperti, Kimi K3, in parte perché l'accesso ad alcuni sistemi di frontiera è vincolato a un'approvazione. Il 10 agosto il Bitcoin Policy Institute e più di 40 organizzazioni, tra cui Block, Coinbase, Strategy, BitGo, Brink e OpenSats, hanno chiesto ai laboratori di IA di dare ai ricercatori di sicurezza verificati un accesso anticipato, potenza di calcolo e ambienti sicuri. Letta in chiave strutturale, quella lettera è l'ammissione che le regole attuali possono lasciare i difensori un passo indietro, e che colmare il divario è un problema di distribuzione, non di tecnologia.

Cosa pensiamo, e cosa ci farebbe cambiare idea

La nostra posizione, detta chiaramente. Questa non è una crisi di sicurezza di Bitcoin. È un audit forzato e a lungo rimandato dello strato software che quasi tutti toccano davvero, e il suo esito dipende meno dai bug in sé che da due cose che l'ecosistema non controlla del tutto. Se i difensori riusciranno a eguagliare strumenti e ritmo degli aggressori, e se gli utenti risponderanno ai guasti della periferia irrobustendo la self-custody oppure abbandonandola.

Ci sbaglieremmo sulla metà rassicurante di tutto questo se exploit trovati dall'IA cominciassero a colpire Bitcoin Core o le stesse regole del consenso, perché allora la linea tra protocollo e periferia non reggerebbe più. Ci sbaglieremmo sulla metà ottimistica se, nel corso del prossimo anno, gli aggressori superassero in modo dimostrabile i difensori in tutto l'ecosistema, oppure se il risultato misurabile di questo periodo fosse una migrazione lontano dalla self-custody invece di un software di self-custody migliore. Sono queste le cose da osservare. Nessuna di esse è un prezzo, e nessuna è un motivo per comprare o vendere alcunché.