Claude di Anthropic risolve il mistero crittografico NSA di 25 anni in 30 minuti

Il contesto storico della crittografia ECDSA

Nel 2000 il National Institute of Standards and Technology (NIST) ha standardizzato diverse curve ellittiche per l'algoritmo di firma digitale ECDSA, che da allora è diventato il pilastro delle transazioni sicure su Internet, dalle criptovalute alle comunicazioni aziendali. Le curve sono definite da parametri matematici (p, a, b, G, n) generati a partire da “seed” forniti dalla National Security Agency (NSA). Tuttavia, la NSA non ha mai spiegato il metodo di generazione di questi seed, alimentando per decenni teorie su possibili backdoor.

Il dubbio è stato accentuato da un bando di ricompensa lanciato dal NIST, che ha offerto premi a chiunque fosse riuscito a dimostrare la presenza di vulnerabilità intenzionali. Numerosi ricercatori amatoriali e professionisti hanno tentato di ricostruire il processo, ma senza successo.

Il ruolo di Claude e la scoperta chiave

Claude, il modello linguistico di Anthropic, è stato messo alla prova con la descrizione dei seed. In meno di trenta minuti, l'IA ha identificato una caratteristica cruciale: i valori dei seed presentavano i bit più alti sistematicamente a zero. Questa osservazione ha suggerito l'uso di lrand48, un generatore pseudo‑casuale C a 31 bit, noto per produrre output con i primi bit nulli.

Claude ha quindi ipotizzato che i seed fossero generati da lrand48 inizializzato con un timestamp Unix compreso tra maggio 1997 e aprile 1998. Verificando la sequenza dei numeri prodotti in quel periodo, ha ricostruito esattamente i seed originali, confermando l'ipotesi.

Perché lrand48?

• Generatore semplice, disponibile su tutti i sistemi Unix dell’epoca.
• Produzione di numeri a 31 bit, coerente con la presenza di bit alti a zero.
• Facilità di replicare la sequenza se si conosce il valore iniziale (seed).

Implicazioni per la sicurezza informatica

La scoperta di Claude riduce drasticamente la probabilità che le curve ECDSA contengano backdoor intenzionali. Se i seed fossero stati derivati da un algoritmo complesso o da una funzione hash segreta, la possibilità di manipolazione deliberata sarebbe più alta. L'uso di lrand48, sebbene poco sofisticato, indica una scelta di convenienza piuttosto che di occultamento.

Inoltre, la verifica dimostra che le curve rimangono affidabili per le applicazioni critiche. Le istituzioni finanziarie, i fornitori di certificati digitali e i progetti blockchain possono continuare a utilizzare le curve P‑256, P‑384 e P‑521 senza timore di vulnerabilità nascoste.

Le reazioni della comunità e la ricompensa

L'Internet Security Research Group (ISRG), responsabile di Let’s Encrypt, ha accolto con entusiasmo la soluzione di Claude. Anthropic ha annunciato che il premio di $36.864, parte della bounty originale, sarà devoluto all'ISRG per sostenere ulteriori ricerche sulla crittografia e la sicurezza web.

Molti esperti hanno sottolineato il valore di un approccio ibrido tra intelligenza artificiale e analisi umana. “Claude ha mostrato come un modello di linguaggio possa identificare pattern matematici che sfuggono anche a ricercatori esperti”, ha commentato il professor Alessandro Rossi, docente di crittografia all'Università di Pisa.

Prospettive future per l'IA nella crittografia

Il caso Claude dimostra che gli LLM possono diventare strumenti di supporto per la reverse engineering di protocolli crittografici, analisi di vulnerabilità e audit di standard. Tuttavia, gli esperti avvertono la necessità di un utilizzo responsabile, poiché la stessa capacità di decifrare può essere impiegata per individuare debolezze in sistemi ancora non pubblici.

Anthropic prevede di integrare funzionalità di verifica formale nei prossimi aggiornamenti di Claude, consentendo all'IA di produrre prove matematiche formali dei risultati ottenuti. Questo potrebbe accelerare la certificazione di nuovi algoritmi e ridurre i tempi di revisione da parte dei comitati di standardizzazione.

Conclusioni

La risoluzione del mistero dei seed NSA da parte di Claude rappresenta una pietra miliare per la sicurezza informatica e per l'applicazione pratica dell'intelligenza artificiale nella crittografia. Dimostra che anche problemi apparentemente irrisolvibili possono essere affrontati con approcci innovativi, combinando conoscenza storica, analisi statistica e potenza computazionale. La donazione della bounty all'ISRG segna inoltre un gesto di responsabilità sociale, reinvestendo i risultati nella protezione dell'ecosistema digitale globale.