Classical Verifier Position Verification from Non-Local Games

Nell'era digitale, sapere esattamente dove si trova un dato o una persona è più di una comodità; è un pilastro della sicurezza. Immaginate una banca che deve essere certa che una transazione stia avvenendo da una specifica cassaforte a New York, e non dal laptop di un hacker in un altro paese. Nel mondo della crittografia, questo è chiamato verifica della posizione. Per decenni, gli scienziati hanno saputo che l'uso di soli computer standard e segnali classici per provare la posizione è impossibile contro un gruppo determinato di attaccanti che lavorano insieme. Questi attaccanti possono semplicemente inoltrare messaggi avanti e indietro così velocemente da poter ingannare un verificatore facendogli credere di trovarsi in un punto specifico, anche se sono lontani. Per risolvere questo problema, i ricercatori si sono rivolti alla meccanica quantistica, la fisica dell'infinitamente piccolo. Inviando particelle di luce che non possono essere copiate senza essere disturbate, hanno creato sistemi in cui la posizione poteva essere provata. Tuttavia, questi sistemi quantistici hanno un grande difetto: l'invio di particelle fragili su lunghe distanze causa la loro scomparsa, rendendo la tecnologia impraticabile per qualsiasi cosa al di là di un laboratorio.

Un team di ricercatori di JPMorgan Chase ha proposto un nuovo modo per risolvere questo enigma che evita del tutto la necessità di canali quantistici a lunga distanza. Il loro lavoro introduce un metodo in cui le persone che controllano la posizione, i verificatori, inviano e ricevono solo messaggi digitali ordinari. Il lavoro pesante è svolto dalle persone che vengono controllate, i prover, che utilizzano risorse quantistiche solo all'interno dei propri dispositivi locali. I ricercatori hanno costruito un framework generale che trasforma un tipo specifico di gioco quantistico cooperativo in un test di posizione sicuro. In questo gioco, giocatori separati devono coordinare le loro risposte senza parlarsi, facendo affidamento su una connessione quantistica condivisa. Il team ha dimostito che se i giocatori si trovano realmente nei posti giusti, le loro risposte mostreranno un livello di coordinazione che è impossibile simulare senza essere scoperti. Fondamentalmente, hanno dimostrato che questa sicurezza non dipende dal fatto che i giocatori producano numeri casuali insieme, quanto piuttosto da un tipo specifico di imprevedibilità locale che è imposta dalla disposizione fisica delle persone coinvolte.

Il cuore di questo nuovo sistema è una sapiente traduzione di un concetto noto come gioco non locale. In questi giochi, due o più giocatori ricevono domande da un arbitro e devono fornire risposte che siano correlate in un modo specifico. Se i giocatori condividono un legame quantistico speciale chiamato entanglement, possono rispondere correttamente più spesso di quanto qualsiasi gruppo di giocatori utilizzando solo la fisica classica permetta. I ricercatori si sono resi conto di poter usare questo vantaggio quantistico per verificare la posizione senza mai inviare una particella quantistica al verificatore. Invece, i verificatori inviano domande classiche ai prover, che utilizzano i propri dispositivi quantistici locali per generare risposte. I prover inviano poi le loro risposte a tutti i verificatori. Il sistema controlla due cose: prima, che le risposte siano sufficientemente corrette da provare che i prover stanno usando la meccanica quantistica, e secondo, che le risposte inviate a diversi verificatori siano coerenti tra loro. Se un attaccante tenta di simulare la posizione, dovrebbe prevedere le risposte dei prover senza avere accesso alle necessarie informazioni quantistiche, un compito che i ricercatori hanno dimostrato essere statisticamente impossibile se la geometria della configurazione è corretta.

Una delle scoperte più significative è che la sicurezza di questo sistema dipende fortemente dalla disposizione fisica delle persone coinvolte. I ricercatori hanno dimostrato che avere semplicemente un gioco con un vantaggio quantistico non è sufficiente; le posizioni dei verificatori e dei prover devono essere disposte in modo che nessun singolo attaccante possa raccogliere tutte le informazioni necessarie in tempo per simulare la posizione. Hanno mostrato che in alcune configurazioni, un attaccante potrebbe teoricamente prevedere la risposta di un prover osservando le risposte degli altri, ma spostando le posizioni dei verificatori, è possibile bloccare questo flusso di informazioni. Ciò crea una situazione in cui la risposta di ogni prover rimane imprevedibile per gli altri, una proprietà che gli autori chiamano casualità locale cieca. Questa intuizione ribalta il precedente assunto secondo cui la sicurezza di tali sistemi dipenda dalla casualità globale di tutti gli output combinati dei giocatori. Al contrario, la sicurezza è un risultato diretto della separazione spaziale e dei vincoli temporali imposti dalla velocità della luce.

Per dimostrare che la loro idea funziona nel mondo reale, il team ha testato il loro framework utilizzando la versione più semplice possibile di questo gioco quantistico, noto come gioco CHSH. Questo gioco richiede solo due giocatori e attrezzature quantistiche di base che sono già state dimostrate in esperimenti per testare le fondamenta della fisica. I ricercatori hanno calcolato che, con questa configurazione, potrebbero verificare le posizioni con un alto grado di certezza utilizzando la tecnologia esistente. Hanno dimostrato che anche con un piccolo numero di round, il sistema può rilevare un attaccante con una probabilità molto alta. La bellezza di questo approccio è che i verificatori non hanno bisogno di alcun hardware quantistico; possono essere computer standard connessi da reti regolari. La complessità quantistica è interamente contenuta nei dispositivi dei prover, che potrebbero trovarsi in un data center sicuro o in una struttura protetta. Questa separazione significa che il sistema potrebbe essere implementato incrementalmente, aggiornando le reti classiche esistenti senza la necessità di costose e fragili linee di comunicazione quantistica tra il verificatore e il prover.

L'articolo affronta anche le realtà pratiche di quanto tempo occorra a un dispositivo per elaborare una domanda e inviare una risposta. In un mondo teorico perfetto, i dispositivi risponderebbero istantaneamente, ma nella realtà esiste un ritardo. I ricercatori hanno analizzato come questo ritardo influenzi la sicurezza e hanno scoperto che richiede che i prover siano distanziati ulteriormente per mantenere lo stesso livello di protezione. Hanno fornito un metodo chiaro per calcolare queste distanze, garantendo che, anche con i ritardi di elaborazione, un attaccante non possa raccogliere abbastanza informazioni per simulare una posizione. Questa attenzione ai dettagli sposta il concetto da una possibilità teorica a un progetto per un sistema pratico. Il lavoro suggerisce che, in un futuro prossimo, centri dati indipendenti potrebbero verificare le proprie posizioni per soddisfare i requismi normativi e, nel lungo termine, man mano che le reti quantistiche maturano, la stessa infrastruttura potrebbe essere utilizzata per verificare le posizioni di molteplici nodi attraverso una rete più ampia.

I ricercatori sottolineano con cautela che, sebbene il loro metodo sia un passo significativo, non è una soluzione magica che risolve ogni problema di sicurezza della posizione. Essi escludono esplicitamente l'idea che questo sistema funzioni con un solo prover e un solo verificatore in una configurazione semplice; richiede molteplici prover e molteplici verificatori disposti in una geometria specifica. Mostrano anche che se i prover sono troppo vicini tra loro o se i verificatori sono posizionati male, il sistema diventa vulnerabile ad attacchi precedentemente ritenuti impossibili. Mappando questi vincoli geometrici, forniscono una guida chiara su come costruire un sistema sicuro. Il lavoro non sostiene di aver risolto il problema della comunicazione quantistica su lunghe distanze, ma offre piuttosto un modo per aggirare completamente questo problema per il compito specifico della verifica della posizione.

In definitiva, questa ricerca offre una nuova strada per proteggere la posizione fisica degli asset digitali. Spostando l'onere quantistico sul prover e mantenendo il verificatore classico, il team ha rimosso la barriera principale alla distribuzione pratica: la perdita dei segnali quantistici sulla distanza. Le loro scoperte suggeriscono che non dobbiamo aspettare un internet quantistico globale per iniziare a verificare le posenze in modo sicuro. Invece, possiamo utilizzare le risorse quantistiche che già abbiamo, confinate in dispositivi locali, e combinarle con configurazioni geometriche intelligenti per creare un sistema che sia robusto e fattibile. Il lavoro è una prova del fatto che le leggi della fisica, quando applicate con una chiara comprensione dello spazio e del tempo, possono fornire una base per la fiducia in un mondo digitale.