Breaking the Bounded Entanglement Barrier for Quantum Position Verification

Immaginate un mondo in cui la vostra posizione fisica è la vostra password. In questo scenario, non avete bisogno di una chiave o di un codice per dimostrare chi siete; dovete semplicemente dimostrare di trovarvi esattamente dove dite di essere. Questo concetto, noto come crittografia basata sulla posizione, si affida alle leggi della fisica per verificare le coordinate di una persona. Se vi trovate davvero in un punto specifico, dovreste essere in grado di ricevere un segnale da un mittente e rispondere a un ricevitore entro un intervallo di tempo che sarebbe fisicamente impossibile raggiungere se vi trovaste altrove. Per decenni, gli scienziati hanno creduto che fosse impossibile garantire ciò con informazioni classiche, poiché un ladro astuto avrebbe potuto semplicemente copiare un messaggio e trasmetterlo più velocemente di quanto la luce permetta. Quando la meccanica quantistica è entrata in gioco, offrendo informazioni che non possono essere copiate, la speranza è tornata. Tuttavia, è emerso un grande ostacolo: i ricercatori hanno dimostrato che se un gruppo di ladri avesse condiviso una massiccia rete preesistente di connessioni quantistiche, avrebbe potuto eludere qualsiasi controllo di sicurezza, non importa quanto fosse ingegnoso il protocollo. Sembrava che, per essere sicuri, l'utente onesto dovesse essere potente quanto il più intraprendente degli attaccanti.

Un team di ricercatori ha ora trovato un modo per superare questa barriera. Hanno progettato un nuovo metodo per verificare la posizione che rimane sicuro anche se gli attaccanti possiedono una quantità enorme, potenzialmente esponenziale, di risorse quantistiche condivise. La svolta si basa su un sottile cambiamento nel modo in cui il tempo viene trattato durante il processo di verifica. Invece di inviare una sfida in un momento fisso e prevedibile, il sistema invia la sfida in un istante casuale all'interno di un flusso continuo di tempo. Questo cambiamento, apparentemente piccolo, crea un problema fondamentale per gli attaccanti. Per avere successo, i ladri dovrebbero essere pronti a rispondere in ogni possibile momento, il che richiederebbe loro di consumare costantemente le loro risorse quantistiche condivise. Poiché il numero di possibili momenti è effettmente infinito, le loro risorse finite si esauriscono rapidamente, lasciandoli incapaci di mantenere l'inganno.

I ricercatori hanno dimostrato questo utilizzando un protocollo basato su uno stato quantistico standard noto come stato BB84, che è un elemento fondamentale nella comunicazione quantistica. Nel loro modello idealizzato, in cui il tempo scorre continuamente come un fiume liscio piuttosto che procedere per passi discreti, hanno dimostrato che qualsiasi gruppo finito di attaccanti, indipendentemente da quanta memoria quantistica possiedano, fallirà con quasi totale certezza. Gli attaccanti dovrebbero eseguire un'operazione quantistica specifica, simile al teletrasporto dello stato di una particella, per ogni singolo momento in cui la sfida potrebbe arrivare. Poiché dispongono solo di una scorta limitata di "carburante" quantistico necessario per questo teletrasporto, non possono tenere il passo con l'infinito flusso di possibilità. L'utente onesto, al contrario, deve solo reagire quando la sfida arriva effettivamente, conservando le proprie risorse senza sforzo.

Per rendere questo approccio pratico nel mondo reale, dove il tempo è misurato in scatti discreti piuttosto che in un flusso continuo, i ricercatori hanno adattato il loro metodo. Hanno introdotto un sistema con molti slot temporali potenziali, la maggior parte dei quali sono dummy (vuoti). L'utente onesto attende semplicemente, senza fare nulla, durante questi slot vuoti, mentre gli attaccanti, non sapendo quale sia quello reale, devono rimanere attivi e consumare le loro risorse in quasi tutti gli slot per essere pronti. Gli autori chiamano questo paradigma "Io dormo, tu lavori". Mentre l'utente onesto dorme attraverso le sfide false, gli attaccanti sono costretti a lavorare instancabilmente, bruciando il loro entanglement. I ricercatori hanno dimostrato che, regolando il numero di questi slot e la quantità di dati memorizzati, possono creare un divario in cui gli attaccanti necessitano di molte più risorse dell'utente onesto per avere successo.

Questo divario non è fisso; cresce man mano che la nostra tecnologia migliora. La sicurezza del protocollo è direttamente legata alla precisione degli orologi utilizzati per misurare il tempo. Più precisamente possiamo distinguere tra due momenti, più "slot" possiamo inserire in un dato secondo, e maggiori sono le risorse che gli attaccanti devono spendere. Il documento nota che gli moderni orologi atomici ottici, che possono distinguere trilioni di scatti al secondo, forniscono già una solida base per questa sicurezza. Man mano che la tecnologia degli orologi avanza, il divario di risorse si amplia automaticamente, rendendo il protocollo più forte senza apportare modifiche al codice stesso. Ciò significa che la sicurezza del sistema migliora nel tempo come conseguenza naturale di migliori strumenti di misurazione, piuttosto che richiedere una riprogettazione del protocollo.

Il lavoro affronta anche come questo sistema funzioni nel mondo reale, dove gli attaccanti potrebbero trovarsi in uno spazio tridimensionale piuttosto che su una semplice linea. I ricercatori hanno dimostrato che la loro prova di sicurezza regge anche quando i verificatori e la posizione rivendicata si trovano in configurazioni multidimensionali complesse. Hanno ottenuto questo mappando matematicamente il problema tridimensionale su una linea monodimensionale, dimostrando che i vincoli di sicurezza rimangono invariati. Ciò assicura che il protocollo sia abbastanza robusto per l'implementazione pratica, sia per verificare la posizione di un satellite in orbita che di un dispositivo in una strada cittadina.

Le scoperte rappresentano un cambiamento significativo nella comprensione della verifica della posizione quantistica. Il lavoro precedente suggeriva che la sicurezza fosse possibile solo se la parte onesta avesse risorse uguali o superiori a quelle dell'attaccante. Questo nuovo approccio ribalta tale limitazione, mostrando che la sicurezza può essere raggiunta anche quando l'attaccante ha molte più risorse, a patto che la parte onesta possa sfruttare i vincoli del tempo e la natura finita dell'entanglement quantistico. I ricercatori non si sono limitati a suggerire che ciò fosse possibile; hanno fornito una rigorosa prova matematica che un tale protocollo esiste ed è sicuro contro qualsiasi coalizione finita di attaccanti. Sebbene il modello ideale a tempo continuo sia una costruzione teorica, la versione a tempo discreto offre una via concreta, con parametri che possono essere calibrati per adattarsi alle capacità della tecnologia attuale e futura.

In sostanza, il documento dimostra che la marcia incessante del tempo può essere trasformata in un'arma contro l'inganno. Costringendo gli attaccanti a prepararsi per ogni possibile momento, il sistema garantisce che le loro limitate risorse quantistiche vengano esaurite prima che possano avere successo. L'utente onesto, protetto dalle leggi della fisica e dalla precisione della misurazione del tempo, può verificare la propria posizione con un livello di sicurezza precedentemente ritenuto irraggiungibile. Questo lavoro apre la porta a una nuova era di sicurezza basata sulla posizione, dove l'atto stesso di tentare di falsificare la propria posizione diventa un esercizio autodistruttivo di esaurimento delle risorse.