Il piano quantistico di Bitcoin presume che alcuni algoritmi si rompano. L'IA ne ha appena indebolito uno in 60 ore

Il colosso dell'AI Anthropic ha dichiarato all'inizio di questa settimana che il suo modello Claude Mythos Preview aveva ha scoperto un attacco che dimezza la forza chiave effettiva di HAWK, una proposta di sostituzione per le firme digitali che proteggono l'online banking e i pagamenti web.

Il lavoro ha richiesto circa 60 ore e un costo di calcolo di circa 100.000 dollari, contro un algoritmo che aveva resistito per due anni e due cicli di revisione da parte di esperti umani.

Gli schemi di firma digitale come HAWK dimostrano che un messaggio o un insieme di dati proviene da chiunque detenga una specifica chiave digitale che fa riferimento esattamente a quel messaggio. Bitcoin ne utilizza uno ogni volta che una moneta si sposta, così come ogni sito web che mostra un lucchetto nel browser.

Le versioni attualmente in uso sono destinate a fallire di fronte ai computer quantistici, e HAWK è uno dei candidati in fase di valutazione per sostituirle. Non è stato ancora implementato pubblicamente in nessun luogo.

Niente nella ricerca influenza attualmente bitcoin o ether, poiché entrambi garantiscono le transazioni con firme a curva ellittica, che nessuno dei due attacchi ha preso di mira. HAWK non è uno degli schemi a cui bitcoin migrerebbe.

BIP-360, la proposta per fornire a Bitcoin indirizzi resistenti ai computer quantistici, specifica tre algoritmi già standardizzati dal NIST e ne include diversi intenzionalmente affinché gli utenti abbiano soluzioni alternative nel caso in cui uno venisse successivamente compromesso da progressi quantistici o classici.

Ciò che è cambiato è la velocità della parte classica. BIP-361, la proposta complementare che congelerebbe oltre un terzo dell'offerta di bitcoin, sostiene che la finestra di migrazione si sta chiudendo perché gli attacchi crittografici stanno migliorando fino a 20 volte. I risultati di Anthropic sono in linea con questa tendenza, supportati da un modello a sostegno.

Contro il più piccolo insieme di parametri di HAWK, Anthropic ha dichiarato che il costo previsto per il recupero di una chiave è diminuito da circa 2^64 operazioni a 2^38. Le chiavi più grandi restano impraticabili da attaccare, ma raddoppiare la dimensione delle chiavi per compensare elimina gran parte di ciò che rendeva HAWK attraente.

La società ha divulgato l’attacco agli autori di HAWK a giugno e ha coordinato la pubblicazione con la mailing list pubblica del NIST.

Un secondo risultato ha migliorato gli attacchi su una versione deliberatamente indebolita di AES, il cifrario utilizzato in tutto il settore per criptare i file dei portafogli, con fattori da 200 a 800.

È importante per gli sviluppatori di criptovalute che, secondo Anthropic, il modello abbia prodotto miglioramenti minori, inferiori a dieci volte, rispetto a Poseidon, la funzione hash che supporta molti sistemi di prova a conoscenza zero, inclusi quelli che garantiscono la sicurezza dei rollup e dei protocolli di privacy.

Claude, il noto strumento di intelligenza artificiale dell'azienda, inizialmente ha rifiutato il problema AES, dichiarando ai ricercatori che era “veramente difficile” e che non c'era “nulla di facile da trovare.” Tuttavia, dopo tre brevi prompt, ha prodotto un miliardo di token in uscita in tre giorni e ha individuato il miglioramento. La verifica ha richiesto a due ricercatori di Anthropic quasi un mese.

Il tempismo è davvero azzeccato. La rete di privacy Zcash ha attivato un aggiornamento martedì, introducendo un nuovo pool protetto progettato per rimanere recuperabile nel caso in cui i computer quantistici diventassero disponibili.

Gli schemi pensati per gestire entrambi durante questa transizione sono ora sottoposti a stress test da qualcosa che opera più rapidamente delle persone che li hanno progettati.