Verifier-initiated quantum message-authentication via quantum zero-knowledge proofs

Nell'era digitale, una firma è più di un semplice fregio d'inchiostro; è una promessa crittografica che un messaggio sia autentico e non sia stato alterato. Per decenni, questa promessa si è basata su complessi enigmi matematici difficili da risolvere per i computer ma facili da verificare. Tuttavia, con l'emergere dei computer quantistici, queste serrature matematiche stanno diventando vulnerabili, minacciando la sicurezza di tutto, dai trasferimenti bancari ai registri governativi. Ciò ha spinto gli scienziati a cercare un nuovo tipo di sicurezza basata non sulla matematica difficile, ma sulle leggi fondamentali della fisica. Nel mondo quantistico, l'atto di misurare una particella la modifica inevitabilmente, una proprietà che può essere utilizzata per rilevare intercettatori o falsari. Eppure, un ostacolo significativo rimane nel modo in cui queste firme quantistiche vengono distribuite. La maggior parte dei metodi esistenti richiede che la persona che firma un documento prepari e invii in anticipo i materiali di autenticazione, anche se nessuno controllerà mai la firma. Questo crea un enorme ed inefficiente accumulo di dati inutilizzati, molto simile alla stampa di migliaia di biglietti per un concerto che potrebbe non avvenire mai.

Un team di ricercatori ha ora proposto una soluzione che ribalta questo processo, introducendo un sistema in cui la persona che controlla la firma la richiede solo quando necessario. Questo approccio, chiamato firme digitali quantistiche avviate dal verificatore, elimina lo spreco di pre-distribuzione dei dati e si allinea con il modo in cui operano i sistemi del mondo reale, dove la verifica è spesso sporadica. I ricercatori hanno costruito il loro protocollo su una base di prove a conoscenza zero quantistiche, una tecnica che permette a una parte di dimostrare di conoscere un segreto senza rivelare il segreto stesso. Combinando questo con un nuovo modo di modellare il comportamento degli attaccanti — specificamente, quelli che cercano di apprendere segreti fingendo di essere onesti — hanno creato un sistema sicuro sia contro la falsificazione che contro il furto di informazioni. Il loro lavoro dimostra che questo nuovo metodo non è solo una possibilità teorica, ma può essere costruito utilizzando la tecnologia attuale, come i sistemi a luce o a ioni intrappolati già utilizzati nei laboratori quantistici odierni.

L'innovazione principale risiede nello spostamento del controllo del processo di autenticazione. Nei tradizionali schemi di firma quantistica, il firmatario agisce come un trasmettitore, inviando costantemente chiavi e firme in anticipo per le verifiche future. Questo è inefficiente per le reti ampie e decentralizzate dove un messaggio potrebbe rimanere non verificato per anni prima che qualcuno decida di controllarlo. Il nuovo protocollo, sviluppato da Wusheng Wang e Masahito Hayashi, cambia la dinamica in modo che sia il verificatore, la persona che controlla il messaggio, a avviare il processo. Quando un verificatore ha bisogno di confermare un messaggio, invia una specifica sfida quantistica al firmatario. Il firmatario genera quindi una firma in risposta a quella specifica sfida e la rimanda indietro. Una volta emessa la firma, la verifica avviene istantaneamente senza ulteriori interazioni. Questo flusso di lavoro on-demand significa che nessun materiale di autenticazione viene sprecato e che il sistema scala in modo efficiente, rendendolo adatto ad ambienti ad alto throughput come le reti blockchain o i servizi distribuiti.

Per garantire la sicurezza di questo sistema, i ricercatori hanno dovuto affrontare una minaccia sottile ma critica: il verificatore curioso. In molti modelli di sicurezza, un attaccante è o completamente onesto o completamente malizioso. Tuttavia, nel mondo reale, un avversario può agire in modo perfettamente normale in superficie pur cercando segretamente di estrarre la chiave privata del firmatario. I ricercatori hanno definito un nuovo tipo di attaccante, che chiamano un avversario "specioso". Si tratta di un verificatore che interagisce con il firmatario in un modo che appare indistinguibile da un utente onesto, ma che tenta di apprendere la chiave segreta attraverso canali laterali o misurazioni attente. Il protocollo proposto è progettato per essere robusto contro questo specifico comportamento. Garantisce che anche se un verificatore sta cercando di essere astuto ed estrarre informazioni senza infrangere le regole, non imparerà nulla sulla chiave privata del firmatario oltre al fatto che la firma è valida. Questa protezione è ottenuta attraverso tecniche di conoscenza zero quantistica, che assicurano che l'interazione non riveli informazioni extra.

La sicurezza di questo sistema non si basa sull'assunto che certi problemi matematici siano difficili da risolvere, una pratica comune nella crittografia classica che i computer quantistici potrebbero eventualmente violare. Invece, la sicurezza è di tipo informativo-teoretico, il che significa che è garantita dalle leggi della fisica. I ricercatori hanno dimostrato che è impossibile per un attaccante falsificare una firma o apprendere la chiave segreta, indipendentemente dalla sua potenza di calcolo. Ci sono riusciti utilizzando le proprietà uniche degli stati quantistici, specificamente il fatto che misurare un sistema quantistico lo disturba. Se un attaccante prova a indovinare la chiave segreta o a falsificare una firma, introduce errori che il sistema può rilevare. I ricercatori hanno anche dimostrato che il protocollo può essere reso arbitrariamente sicuro ripetendo il processo alcune volte, il che riduce esponenzialmente la possibilità di una falsificazione riuscita senza richiedere hardware esotici.

Una componente chiave della loro soluzione è un metodo generale per convertire questi protocolli di prova quantistica in un sistema di firma funzionante. Lo hanno dimostrato con un esempio concreto basato sul gruppo di Heisenberg discreto, una struttura matematica che descrive come certe operazioni quantistiche interagiscono. Questa implementazione specifica utilizza operazioni semplici che sono già fattibili con la tecnologia attuale, come generare numeri casuali, applicare rotazioni specifiche ai bit quantistici e misurarli. I ricercatori hanno mostrato che questo protocollo può essere eseguito su sistemi fotonici, che utilizzano particelle di luce, o piattaforme a ioni intrappolati, che utilizzano atomi carichi. Questi sono gli stessi tipi di sistemi attualmente utilizzati per costruire computer quantistici, il che significa che la tecnologia è pronta per un dispiegamento pratico. Il protocollo richiede solo una singola copia di una chiave pubblica quantistica per ogni verifica, una caratteristica essenziale per la sicurezza perché impedisce a un attaccante di fare copie multiple per studiare la chiave in dettaglio.

I ricercatori hanno anche affrontato la realtà secondo cui nessun sistema fisico è perfetto. In un contesto reale, le memorie quantistiche potrebbero non conservare i dati per sempre e le misurazioni potrebbero non essere accurate al 100%. Hanno analizzato come queste imperfezioni influenzano il sistema e hanno dimostrato che il protocollo rimane sicuro anche con del rumore e delle perdite. Utilizzando una tecnica chiamata ripetizione, in cui la verifica viene eseguita più volte e i risultati vengono combinati, il sistema può tollerare errori pur mantenendo un alto livello di sicurezza. Questa analisi di robustezza fornisce un percorso chiaro per gli ingegneri per costruire questi sistemi oggi, sapendo esattamente quanto errore il sistema può gestire prima di dover essere regolato.

Questo lavoro rappresenta un passo avanti significativo nell'applicazione pratica della crittografia quantistica. Passando dai modelli inefficienti avviati dal firmatario del passato e abbracciando un approccio guidato dal verificatore e on-demand, i ricercatori hanno creato un sistema che è sia più efficiente che più sicuro. La capacità di verificare i messaggi senza rivelare i segreti, e senza la necessità di una massiccia pre-distribuzione di dati, risolve un importante collo di bottiglia nello sviluppo di reti sicure dal punto di vista quantistico. Le scoperte suggeriscono che ci stiamo avvicinando a un futuro in cui le firme digitali non saranno solo indistruttibili per i futuri computer, ma saranno anche abbastanza efficienti da essere utilizzate nelle complesse e veloci reti di domani. La dipendenza del protocollo da principi fisici fondamentali piuttosto che da assunti matematici offre una garanzia di sicurezza a lungo termine che rimarrà valida anche mentre la nostra comprensione del calcolo evolve.