Quantum gate lower bounds for loss-tolerant position verification

Immagina di cercare di dimostrare di trovarti in un punto specifico della Terra senza mai lasciare quel punto. Nel mondo della crittografia, questo è l'obiettivo della verifica della posizione quantistica. È un metodo in cui un verificatore, situato lontano, invia segnali a un prover (dimostratore) e misura il tempo necessario affinché la risposta ritorni. Poiché nulla viaggia più velocemente della luce, i vincoli temporali possono dimostrare matematicamente che il prover deve trovarsi entro una specifica regione dello spazio. Se la risposta torna troppo velocemente o troppo lentamente, il prover sta traendo in inganno sulla propria posizione o non si trova dove dichiara di essere. Questo concetto si basa sulle strane regole della meccanica quantistica, dove l'informazione può essere codificata in particelle come i fotoni, e l'atto di misurarle ne cambia lo stato. Sebbene l'idea sembri un modo perfetto per mettere in sicurezza le posizioni fisiche, esperimenti recenti hanno dimostrato che le condizioni del mondo reale, come i segnali che si perdono nei cavi in fibra ottica o l'attrezzatura imperfetta, possono creare falle che gli attaccanti potrebbero sfruttare.

Un team di ricercatori ha ora colmato un divario significativo nella nostra comprensione di queste falle di sicurezza. Si sono concentrati su un metodo di verifica della posizione molto studiato, noto come schema f-BB84. In questa configurazione, due referee distanti inviano istruzioni classiche e una singola particella quantistica a un prover. Il prover deve eseguire un calcolo specifico basato sulle istruzioni e poi misurare la particella per generare una risposta. La sfida per un attaccante è che la particella quantistica e le istruzioni necessarie per misurarla sono divise tra due località. Per sovvertire il sistema, gli attaccanti dovrebbero condividere una quantità massiccia di risorse quantistiche entangled per coordinare le loro azioni istantaneamente attraverso lo spazio. Studi precedenti avevano suggerito che, all'aumentare della complessità delle istruzioni, le risorse necessarie per sovvertire il sistema sarebbero cresciute esponenzialmente, rendendo lo schema sicuro. Tuttavia, dimostrare questo in modo rigoroso in presenza di rumore del mondo reale, specificamente la perdita di segnale, era rimasto un problema aperto e difficile.

I ricercatori in questo studio hanno affrontato direttamente il problema della perdita di segnale. In uno scenario del mondo reale, una parte significativa dei segnali quantistici può andare perduta prima di raggiungere il prover. Un attaccante potrebbe potenzialmente sfruttare questo aspetto semplicemente indovinando la base di misurazione corretta e, se sbaglia, dichiarando che il segnale è andato perduto invece di ammettere di aver fallito. Il team ha dimostrato che anche se a un attaccante è permesso dichiarare che metà dei segnali è andata perduta, non può comunque sovvertire il sistema senza utilizzare una quantità proibitiva di potenza computazionale. Nello specifico, hanno dimostrato che per attaccare con successo lo schema in queste condizioni, un attaccante dovrebbe eseguire un numero di operazioni quantistiche che cresce linearmente con la dimensione dell'input. Al contrario, un prover onesto deve eseguire solo un numero costante e piccolo di operazioni. Ciò crea un enorme divario di difficoltà: il giocatore onesto compie un lavoro minimo, mentre il sovvertitore deve compiere un lavoro massiccio che scala con la complessità del compito.

Per raggiungere questa conclusione, gli autori hanno sviluppato un nuovo strumento matematico per analizzare un gioco di entanglement quantistico. Hanno modellato l'interazione tra gli attaccanti e il verificatore come un gioco in cui gli attaccanti cercano di indovinare l'esito di una misurazione su una particella quantistica condivisa. Hanno dimostrato un limite stretto su quanto bene possano agire gli attaccanti, anche se sono autorizzati a dire "non lo so" o "il segnale è perso" per una grande frazione dei tentativi. Questo limite è "stretto" (tight), il che significa che rappresenta la migliore prestazione assoluta che un attaccante potrebbe potenzialmente raggiungere. Applicando questo limite allo schema di verifica della posizione, hanno mostato che qualsiasi strategia che tenti di aggirare i vincoli temporali richiede un numero di porte quantistiche che aumenta direttamente con la lunghezza dei dati di input. Questo risultato è valido anche quando gli stati quantistici inviati dal verificatore non sono perfetti e quando gli attaccanti sono autorizzati a essere molto lenti nella loro elaborazione.

La significatività di questo lavoro risiede nella sua applicabilità agli esperimenti attuali e futuri. Recenti test di laboratorio hanno implementato con successo questi schemi di verifica della posizione, ma la loro sicurezza di fronte ad alta perdita di segnale non era pienamente compresa. Questo articolo fornisce una prova rigorosa che questi schemi rimangono sicuri, a patto che gli attaccanti non abbiano accesso a un numero illimitato di porte quantistiche. I ricercatori hanno stabilito un confine chiaro per la sicurezza: finché il tasso di errore e il tasso di perdita di segnale dichiarata rimangono entro un intervallo specifico, il prover onesto può essere considerato affidabile. Se un attaccante tenta di sovvertire il sistema al di fuori di questo intervallo, avrebbe bisogno di eseguire un numero lineare di operazioni quantistiche, il che è attualmente impossibile da sostenere per qualsiasi computer quantistico realistico per input di grandi dimensioni. Questa scoperta rassicura i ricercatori che lo schema f-BB84 è uno strumento vitale per mettere in sicurezza le posizioni fisiche, anche in ambienti rumorosi e imperfetti.

Lo studio ha anche affrontato la realtà pratica secondo cui gli stati quantistici non sono mai preparati perfettamente. Gli autori hanno dimostrato che i loro limiti di sicurezza valgono anche quando le particelle quantistiche iniziali sono leggermente difettose, purché i difetti rientrino in una certa distanza misurabile dallo stato ideale. Non si sono basati su simulazioni numeriche o approssimazioni, ma hanno fornito una prova analitica completa. Ciò significa che il risultato è una garanzia matematica ferma piuttosto che un suggerimento basato su modelli informatici. Il lavoro esclude efficacemente la possibilità che un attaccante possa usare una strategia semplice e a basse risorse per rompere il sistema, anche quando è autorizzato a dichiarare che metà dei segnali è andata perduta. Stabilendo che il costo per sovvertire il sistema scala linearmente con la dimensione dell'input, il documento conferma che il prover onesto possiede un vantaggio distinto e insuperabile in termini di efficienza delle risorse.

Nel contesto più ampio della crittografia quantistica, questa ricerca aiuta a colmare il divario tra le prove di sicurezza teorica e la realtà sperimentale. Sposta il campo oltre la domanda se questi schemi possano funzionare in un vuoto perfetto e affronta come funzionano quando i segnali svaniscono e l'attrezzatura è imperfetta. Gli autori non hanno sostenuto di aver risolto ogni possibile vettore di attacco, ma hanno chiuso fermamente la porta a una grande classe di attacchi che si basano sulla sovversione a basse risorse in ambienti con perdita di segnale. Il loro lavoro suggerisce che, con la scelta corretta delle funzioni e all'interno del regime di sicurezza stabilito, la verifica della posizione quantistica può essere un metodo robusto per confermare la posizione. Ciò fornisce una solida base per la prossima generazione di esperimenti, permettendo agli scienziati di costruire sistemi più complessi e sicuri con la certezza che la matematica sottostante regga sotto lo stress delle condizioni del mondo reale.