Dibattito sulla Migrazione Post-Quantistica di Bitcoin
Il dibattito sulla migrazione post-quantistica di Bitcoin si è spostato verso la sicurezza dei portafogli e la gestione delle monete dormienti, dopo che il CTO di Ledger, Charles Guillemet, ha sostenuto che scegliere un nuovo schema di firma potrebbe rivelarsi più semplice rispetto al trasferimento sicuro dei fondi esistenti degli utenti di Bitcoin.
Analisi Tecnica di Charles Guillemet
In un’analisi tecnica pubblicata da Ledger, Guillemet ha dichiarato:
“Bitcoin non ha oggi un problema con i computer quantistici”
, avvertendo però che la ricerca sulla migrazione, l’implementazione del software, le modifiche ai portafogli hardware e l’adozione da parte degli utenti potrebbero richiedere anni. Ha sottolineato che attualmente non esiste un computer quantistico rilevante dal punto di vista crittografico in grado di compromettere le attuali firme di Bitcoin, mentre il momento in cui potrebbe esistere una macchina del genere rimane incerto.
Proposta SHRINCS
La sua revisione si concentra su SHRINCS, una proposta di firma post-quantistica specifica per Bitcoin che combina un meccanismo di firma stateful più compatto con un percorso di recupero stateless più ampio. La specifica rimane incompleta, non ha un numero BIP assegnato e la sua formale “prova di sicurezza è in fase di sviluppo”.
Guillemet ha affermato che
“Bitcoin non ha oggi un problema con i computer quantistici. Ha un problema di migrazione, e le migrazioni potrebbero richiedere anni per essere corrette”
. SHRINCS è la prima proposta post-quantistica specifica per Bitcoin che ho visto, e fa un serio compromesso end-to-end, merita di essere letta.
Problemi della Transizione
Guillemet ha suddiviso la transizione in tre problemi:
- Selezionare uno schema di firma post-quantistica
- Adattare i portafogli Bitcoin e l’infrastruttura del protocollo a quello schema
- Decidere come i BTC esistenti dovrebbero essere trasferiti verso output resistenti ai computer quantistici
L’ultimo problema include monete i cui proprietari potrebbero aver perso le chiavi o non hanno spostato fondi per molti anni.
Autorizzazione delle Transazioni di Bitcoin
L’attuale autorizzazione delle transazioni di Bitcoin si basa fortemente su firme ECDSA e Schnorr, costruite sulla crittografia a curve ellittiche. Un computer quantistico sufficientemente potente che esegue l’algoritmo di Shor potrebbe teoricamente recuperare chiavi private da chiavi pubbliche esposte, ma nessuna macchina dimostrata pubblicamente può eseguire quell’attacco contro Bitcoin oggi.
Compromessi e Sfide
Guillemet ha affermato che la migrazione non può essere giudicata solo dalla forza crittografica di uno schema di sostituzione, poiché i portafogli, i dispositivi hardware, i sistemi di backup e le configurazioni multi-dispositivo devono implementarlo in modo sicuro. Ha descritto il raggiungimento di un accordo sociale su monete legacy vulnerabili come una delle questioni più difficili e irrisolte.
Una posizione simile è emersa da altri crittografi. Il crittografo di Stanford Dan Boneh ha sostenuto che Bitcoin dovrebbe prepararsi al rischio quantistico evitando una migrazione affrettata che potrebbe introdurre gravi guasti software.
Specifiche Tecniche di SHRINCS
L’attuale specifica del draft SHRINCS descrive un sistema basato su hash costruito attorno a SHA-256, la stessa famiglia di hash già utilizzata ampiamente da Bitcoin. I suoi progettisti mirano a circa 128 bit di sicurezza classica e 64 bit di sicurezza quantistica sotto i loro parametri scelti. La sua chiave pubblica di 48 byte si impegna a due percorsi di firma.
Il percorso compatto utilizza Flexible XMSS e WOTS+C, producendo firme stateful da 548 byte fino a 4.619 byte. Un fallback stateless basato su concetti SLH-DSA produce una firma di 5.777 byte.
Considerazioni Finali
SHRINCS è solo una parte della discussione attuale sulla sicurezza quantistica di Bitcoin. Il BIP 360, chiamato Pay-to-Merkle-Root, è una proposta di draft separata progettata per rimuovere la spesa del percorso chiave vulnerabile ai quantistici di Taproot e proteggere gli utenti contro attacchi a lungo termine. Il BIP 361 affronta il problema della migrazione in modo più diretto.
Il repository ufficiale BIP di Bitcoin elenca ancora sia il BIP 360 che il BIP 361 come Draft al 17 settembre. SHRINCS stesso rimane una specifica di draft non numerata, con i suoi autori che avvertono che la crittografia è un lavoro prototipo che richiede ulteriori revisioni tra pari e una prova di sicurezza completata.