Quantum Vault: Symmetric No-Cloning Protection for Token Issuer and User (Benchmarked on IBM Quantum)
Questo articolo propone e valuta un protocollo "Quantum Vault" su processori IBM Quantum che protegge l'autenticazione dei token memorizzando le copie dei token presso la banca emittente per eliminare le informazioni laterali classiche, proteggendo così simmetricamente sia gli utenti che gli emittenti contro la falsificazione, consentendo al contempo verificabilità pubblica, tracciabilità e revocabilità con tassi di errore trascurabili.
Articolo originale sotto licenza CC BY 4.0 (https://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
Nel mondo della comunicazione sicura, esiste una regola fondamentale della natura che agisce come una serratura perfetta: non è possibile fare una copia perfetta di uno stato quantistico sconosciuto. Questo principio, noto come teorema di non clonazione, suggerisce che se un frammento di informazione esiste in forma quantistica, è impossibile duplicarlo senza distruggere l'originale. Questa idea ha alimentato per lungo tempo il sogno di valute digitali e carte d'identità impossibili da falsificare, spesso chiamate denaro o token quantistici. Il concetto è semplice: una banca emette un token fisico che contiene uno stato quantistico specifico e segreto. Per spenderlo, l'utente presenta il token a un commerciante, il quale controlla se lo stato corrisponde ai registri della banca. Se il token è stato copiato, le leggi della fisica garantiscono che la copia fallirà il test. Tuttavia, per decenni, una debolezza critica è rimasta in questi piani. Il sistema si basava sul fatto che la banca conservasse un elenco segreto delle impostazioni degli stati quantistici in un database informatico classico. Se un hacker avesse rubato quell'elenco digitale, avrebbe potuto semplicemente ricreare i token perfettamente, aggirando completamente la serratura quantistica. La sicurezza dell'intero sistema dipendeva dalla segretezza di un file digitale, una vulnerabilità che i recenti attacchi informatici globali hanno dimostrato essere fin troppo reale.
Un team di ricercatori presso l'Helmholtz-Zentrum Berlin per i Materiali e l'Energia ha proposto un nuovo modo per risolvere questo problema, eliminando del tutto la necessità di quel vulnerabile elenco digitale. Invece di memorizzare le impostazioni segrete in un computer, suggeriscono che la banca conservi una copia fisica del token stesso in una "cassaforte quantistica" sicura. Quando la banca emette un token a un utente, crea simultaneamente un gemello identico e lo conserva in questa cassaforte. Per verificare un token, la banca o un commerciante autorizzato non consultano un numero in un database. Invece, effettuano un confronto fisico diretto tra il token dell'utente e quello che si trova nella cassaforte. Se i due sono identici, il token viene accettato; se differiscono, viene rifiutato. Questo metodo assicura che anche se un hacker rubasse ogni pezzo di dato classico in possesso della banca, non potrebbe falsificare un token perché non possiede il gemello fisico quantistico necessario per il confronto. I ricercatori hanno testato questa idea utilizzando veri computer quantistici di IBM, eseguendo simulazioni per vedere quanto bene il sistema regga contro un attaccante determinato che cerchi di indovinare lo stato del token.
L'esperimento ha previsto la creazione di token composti da molti piccoli bit quantistici, piuttosto che da uno solo, per rendere il processo di verifica più robusto. I ricercatori hanno simulato uno scenario in cui un hacker cercava di rubare informazioni su un token genuino misurandolo in modi diversi e poi usando tali informazioni per costruire una copia falsa. Hanno scoperto che, sebbene un hacker potesse indovinare con successo lo stato di un singolo token con una probabilità di successo relativamente alta, le probabilità di falsificare un intero biglietto composto da molti token scendessero drasticamente. Nei loro test, utilizzando un biglietto composto da 200 token, la probabilità di un falso riuscito sul computer meno potente testato era inferiore a un caso su dieci miliardi. Anche sulle macchine più avanzate a loro disposizione, la possibilità che un biglietto falso passasse era infinitesimale, mentre i biglietti genuini venivano accettati con quasi totale certezza. Ciò dimostra che, rimuovendo il segreto classico e affidandosi a un confronto fisico, il sistema diventa sicuro contro il tipo più comune di furto digitale.
Lo studio ha anche evidenziato come la qualità dell'hardware influenzi la sicurezza. I ricercatori hanno eseguito lo stesso protocollo su tre diversi processori quantistici, ciascuno con livelli leggermente diversi di precisione e tassi di errore. Hanno scoperto che, anche sulla macchina con i tassi di errore più elevati, il sistema rimaneva incredibilmente sicuro, sebbene il margine di sicurezza fosse più stretto rispetto alle macchine migliori. Ciò suggerisce che, man mano che l'hardware quantistico continua a migliorare, la sicurezza di un tale sistema diventerà sempre più forte. I ricercatori hanno osservato che questo approccio cambia la natura del token da un pezzo di contanti anonimo a una carta d'identità tracciabile, simile a una carta di credito. Poiché la banca detiene la copia nella cassaforte, può tracciare chi possiede quale token e revocare l'accesso se necessario, aggiungendo un livello di governance che il contante anonimo non può offrire.
Forse l'aspetto più significativo di questo lavoro è che sposta la sicurezza del sistema dal dominio digitale a quello fisico. Nelle proposte precedenti, la sicurezza dipendeva dall'assunto che il database informatico della banca fosse impenetrabile. In questo nuovo modello, la sicurezza si basa sulle leggi della fisica e sulla presenza fisica della copia nella cassaforte. I ricercatori hanno dimostrato che questo metodo funziona anche quando il processo di verifica è aperto a parti non fidate, come un venditore che non conosce personalmente l'utente. Il venditore deve solo avere accesso all'interfaccia della cassaforte della banca per eseguire il confronto, senza mai dover conoscere le impostazioni segrete del token. Ciò apre la porta a un sistema di verifica pubblica dove chiunque può controllare la validità di un token, purché abbia un collegamento all'interfaccia della cassaforte sicura della banca.
I ricercatori riconoscono che la costruzione di una versione reale di questo sistema affronta ostacoli significativi, principalmente la difficoltà di conservare gli stati quantistici per lunghi periodi senza che svaniscano. Le attuali memorie quantistiche sono fragili e spesso richiedono temperature estreme o il vuoto, rendendole difficili da trasportare come un portafoglio. Tuttavia, lo studio funge da cruciale prova di concetto, dimostrando che il quadro teorico è solido e che le metriche di sicurezza sono raggiungibili con la tecnologia esistente. Effettuando il benchmark del protocollo su hardware reale, il team ha fornito dati concreti su quanti token siano necessari per garantire la sicurezza e su come il sistema si comporti sotto il rumore e gli errori del mondo reale. Il loro lavoro suggerisce che, sebbene la tecnologia per portare una cassaforte quantistica in tasca non sia ancora arrivata, il percorso per creare identità digitali unforgeabili, tracciabili e sicure sta diventando più chiaro, basandosi non su password segrete, ma sulle regole infrangibili del mondo quantistico.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.