⚛️ quantum physics

Private Proofs of When and Where

Questo articolo introduce e costruisce un protocollo di verifica della posizione a conoscenza zero, che permette di provare affermazioni sofisticate sulla propria ubicazione passata mantenendo la privacy, sfruttando la verifica della posizione standard e le funzioni one-way post-quantistiche tramite una nuova primitiva chiamata "impegni di posizione".

Autori originali: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Pubblicato 2026-02-17

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Uma Girish, Greg Gluch, Shafi Goldwasser, Tal Malkin, Leo Orshansky, Henry Yuen

Articolo originale sotto licenza CC BY 4.0 (http://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

Immagina di dover dimostrare a un giudice di essere stato in un luogo specifico, diciamo "al parco alle 14:00", ma senza rivelare assolutamente nulla sul tuo percorso, su chi hai incontrato o su cosa hai fatto prima e dopo. Sembra impossibile, vero? Se dici "ero al parco", il giudice potrebbe chiederti: "E prima di lì? E dopo?".

Questo è esattamente il problema che risolvono gli autori di questo articolo: come provare la propria posizione fisica (o la propria assenza da un luogo) senza spifferare nessun altro dettaglio privato.

Ecco una spiegazione semplice, con metafore quotidiane, di come funziona la loro scoperta.

1. Il Problema: La "Prova di Posizione" è come un Flashback

Nella vita reale, se vuoi provare dove eri, qualcuno controlla il tuo telefono, le telecamere di sorveglianza o chiede a dei testimoni. Nel mondo digitale, i protocolli di "verifica della posizione" funzionano in modo simile: dei verificatori (come torri cellulari o satelliti) ti inviano segnali e misurano quanto tempo impieghi a rispondere. Se i tempi sono perfetti, sanno che eri lì.

Il problema è che questi protocolli classici sono troppo chiassosi. Se provi a dimostrare di essere al parco, il protocollo rivela tutto il tuo "stato" in quel momento. Inoltre, nel mondo classico, i truffatori possono ingannare il sistema (fingendo di essere ovunque) se collaborano. La fisica quantistica ha risolto il problema dei truffatori (grazie al fatto che non si può copiare l'informazione quantistica), ma ha creato un nuovo problema: la privacy. Anche se sei onesto, il protocollo ti "spoglia" rivelando la tua esatta posizione.

2. La Soluzione: Il "Caschetto Invisibile" (Zero-Knowledge)

Gli autori introducono un concetto chiamato Verifica di Posizione a Conoscenza Zero.
Immagina di indossare un caschetto magico che ti rende invisibile, tranne per il fatto che puoi dimostrare di essere in una certa stanza.

L'obiettivo non è dire "Sono al punto X", ma dire "Sono da qualche parte in questa zona sicura" oppure "Non sono mai stato vicino al crimine", senza che nessuno sappia dove esattamente ti trovi all'interno di quella zona.

3. Lo Strumento Magico: Il "Contratto di Posizione" (Position Commitment)

Il cuore della loro invenzione è una nuova tecnica chiamata Position Commitment (Impegno di Posizione).

Facciamo un'analogia con una cassaforte:

Fase di Impegno (Commit): Tu entri in una stanza con dei testimoni. Prendi un foglio, scrivi il tuo indirizzo segreto, lo metti in una cassaforte, chiudi la cassaforte e dai la chiave ai testimoni. A questo punto, i testimoni hanno la cassaforte chiusa. Sanno che c'è un indirizzo dentro, ma non possono vederlo.
Fase di Apertura (Reveal): Più tardi, dici: "Apro la cassaforte". Dai la chiave ai testimoni. Loro aprono, leggono l'indirizzo e verificano che corrisponda a dove eri fisicamente in quel momento.

La magia quantistica:
Nel loro protocollo, la "cassaforte" è piena di messaggi criptati.

Tu sei in un punto segreto (diciamo il parco).
Ma per non far capire ai testimoni dove sei, fingi di essere ovunque contemporaneamente.
Mentre sei al parco, invii messaggi criptati che sembrano provenire da ogni punto possibile della città, tutti sincronizzati perfettamente.
I testimoni ricevono un flusso continuo di messaggi da tutte le direzioni. Non possono capire quale sia il "vero" messaggio e quale sia una finta, perché sono tutti criptati.
Solo quando decidi di rivelare la tua posizione, dai la chiave di decrittazione. A quel punto, i messaggi "finti" spariscono e rimane solo quello vero, che i testimoni possono verificare.

È come se tu fossi un attore su un palco buio. Mentre il pubblico (i verificatori) guarda, tu accendi e spegni luci in modo che sembri che tu sia in tutti i punti del palco contemporaneamente. Solo alla fine, accendi una sola luce e dici: "Ero qui".

4. Perché è importante?

Questa tecnologia apre porte incredibili per la privacy:

Alibi Privati: Puoi provare a un giudice che "Non ero vicino al luogo del crimine alle 14:00" senza dover dire "Ero a casa di mia nonna a 50 km di distanza".
Trattati Nucleari: Un paese può provare che un missile è rimasto dentro i suoi confini senza rivelare la base militare esatta dove si trova.
Fitness Tracker: Immagina di voler provare che hai corso un percorso specifico (per una gara) senza che nessuno sappia dove hai corso, evitando che i dati rivelino la tua casa o i tuoi luoghi preferiti (un problema reale successo con app come Strava).

5. I Limiti e il Futuro

Gli autori ammettono che il loro sistema funziona perfettamente se i "verificatori" sono onesti (o almeno, non cercano di essere troppo furbi). Se i verificatori sono cattivi e decidono di inviare segnali solo in una direzione specifica per "pizzicare" se sei lì o no, il sistema potrebbe essere aggirato. È come se qualcuno ti chiedesse: "Sei qui?" solo lanciando una palla in una direzione; se la prendi, sei lì. Se non la prendi, non sei lì.

Tuttavia, questo lavoro è un passo fondamentale. Dimostra che è possibile combinare la sicurezza fisica (dove sono?) con la privacy totale (ma non dirò altro). È come avere un passaporto che dice "Ho il diritto di entrare in questo edificio" senza mostrare la tua foto o il tuo indirizzo.

In sintesi: Hanno creato un modo per dire "Sono qui" (o "Non sono lì") usando la fisica quantistica e la crittografia, in modo che il mondo sappia che la tua affermazione è vera, ma rimanga completamente all'oscuro del tuo vero indirizzo.

1. Il Problema: Verifica della Posizione e Privacy

La verifica della posizione (Position Verification - PV) è un protocollo interattivo in cui un'entità (il "prover") dimostra a un insieme di verificatori di trovarsi in una specifica posizione fisica $L$ in un dato momento. Sebbene la PV sicura sia impossibile in un setting puramente classico (anche con assunzioni computazionali) a causa di attacchi di spoofing tramite entanglement, è realizzabile nel modello quantistico sfruttando principi come l'indistinguibilità e l'incertezza quantistica.

Tuttavia, un problema fondamentale rimane: la privacy. In molte applicazioni reali (es. alibi legali, conformità a trattati nucleari, tracciamento fitness), un'entità potrebbe voler dimostrare una proposizione sulla propria posizione (es. "Non ero vicino al luogo del crimine alle 12:00") senza rivelare la propria posizione esatta.
Il paper si pone la domanda: È possibile realizzare protocolli di verifica della posizione che siano a conoscenza zero (Zero-Knowledge - ZK)? Cioè, protocolli che permettano di provare una affermazione sulla posizione senza rivelare nulla di più di quanto strettamente necessario per l'affermazione stessa.

2. Metodologia e Strumenti Chiave

Gli autori risolvono il problema combinando la verifica della posizione quantistica con primitive crittografiche post-quantum. La metodologia si basa su tre pilastri principali:

A. Modello di Spazio-Tempo

Il lavoro modella lo spazio come $\mathbb{R}^d$ e il tempo come $\mathbb{R}$ . Si assume che tutti i segnali viaggino a una velocità fissa (velocità della luce) e che le parti possano eseguire computazione quantistica. La sicurezza si basa sul fatto che un avversario distribuito non può rispondere a sfide provenienti da diverse posizioni simultaneamente senza violare i limiti della velocità della luce o l'indistinguibilità quantistica.

B. Il Primitivo Innovativo: "Position Commitment" (Impegno di Posizione)

Il contributo tecnico centrale è l'introduzione di un nuovo primitivo crittografico chiamato Position Commitment.

Funzionamento: Permette a un prover di impegnarsi (commit) a una posizione spazio-temporale $(L, t)$ senza rivelarla immediatamente.
Proprietà:
1. Nascondimento (Hiding): I verificatori non apprendono nulla sulla posizione reale durante la fase di impegno.
2. Vincolo di Posizione (Position Binding): In una fase successiva (reveal), il prover può aprire l'impegno. Se l'impegno è valido, il prover deve aver fisicamente occupato quella posizione al momento specificato. Questo è più forte del binding crittografico classico: non basta scegliere un punto, bisogna esserci stati.
Costruzione: Il Position Commitment è costruito utilizzando:
- Protocolli di verifica della posizione "nice" (singola istanza, risposta classica, un round).
- Funzioni one-way post-quantum (per crittografia e commitment classici).
- Meccanismo: Il prover esegue parallelamente istanze di protocolli di verifica per tutti i punti possibili nell'insieme committibile. Risponde a tutte le sfide con messaggi cifrati. Solo la risposta corrispondente alla posizione reale viene decifrata e rivelata alla fine. Le risposte per le altre posizioni sono "finte" (dummy) ma temporizzate correttamente per sembrare valide.

C. Costruzione della Verifica a Conoscenza Zero (ZK-PV)

Una volta ottenuto il Position Commitment, gli autori costruiscono la ZK-PV come segue:

Il prover esegue il protocollo di Position Commitment per una regione spazio-temporale $R$ .
Il prover genera una prova a conoscenza zero (ZK) classica (basata su NP) per dimostrare che possiede un'apertura valida per l'impegno tale che la posizione rivelata appartiene all'insieme $R$ (o soddisfa una specifica proprietà logica su $R$ ).
La sicurezza della prova ZK garantisce che i verificatori non apprendano la posizione esatta, solo che la posizione rientra nell'insieme richiesto.

3. Risultati Principali

Il paper presenta i seguenti risultati teorici e costruttivi:

Definizione Formale: Formalizzazione della Zero-Knowledge Position Verification (o Spacetime Verification) utilizzando una definizione di sicurezza basata sulla simulazione.
Costruzione Teorica: Dimostrazione che, assumendo l'esistenza di funzioni one-way post-quantum e di protocolli di verifica della posizione "nice" (sicuri contro avversari con entanglement limitato), è possibile costruire protocolli ZK-PV per qualsiasi insieme finito di posizioni spazio-temporali.
- Teorema 1.1: Un protocollo di verifica della posizione sicuro per un singolo punto può essere "aggiornato" (upgrade) a un protocollo ZK per un insieme finito di punti.
- Sicurezza: Il protocollo risultante è sicuro contro spoofer che condividono fino a $E/2$ qubit di entanglement (dove $E$ è il limite del protocollo sottostante).
Efficienza e Ottimizzazione: Viene proposta una versione ottimizzata (Protocollo 2) che riduce il carico computazionale. Invece di eseguire protocolli per ogni punto in modo esplicito, i verificatori inviano messaggi classici broadcast. Il prover risponde con messaggi cifrati solo quando riceve una combinazione specifica di sfide, permettendo una griglia fine di punti committibili con complessità costante per timestep.
Limiti contro Verificatori Maliziosi: Gli autori dimostrano che ottenere ZK contro verificatori maliziosi (che deviano dal protocollo) è difficile se i verificatori possono inviare messaggi direzionali. Un verificatore malizioso può inviare messaggi solo verso una specifica direzione e osservare se il prover risponde, rivelando così se il prover si trova in quella direzione. Tuttavia, se si assume un modello dove i verificatori inviano solo broadcast (o il prover può distinguere i messaggi direzionali), la ZK contro verificatori maliziosi potrebbe essere raggiungibile.

4. Significato e Impatto

Questo lavoro rappresenta un passo fondamentale nella convergenza tra crittografia quantistica e privacy spaziale:

Nuova Applicazione Pratica: Abilita scenari prima impossibili, come dimostrare un alibi ("ero altrove") senza rivelare dove si era effettivamente, o verificare il rispetto di trattati nucleari (es. "nessun dispositivo nucleare in Antartide") senza rivelare la posizione esatta dei dispositivi o dei sensori.
Sicurezza Post-Quantum: La costruzione è resistente agli attacchi quantistici, basandosi su funzioni one-way post-quantum e principi fisici quantistici.
Nuovo Primitivo Crittografico: Il "Position Commitment" è un nuovo strumento che potrebbe trovare applicazioni indipendenti, come la creazione di registri privati di spostamenti che possono essere rivelati selettivamente in tribunale.
Sfide Future: Il lavoro apre la strada a ricerche su modelli più realistici (orologi non sincronizzati, errori di misura) e sulla sicurezza contro verificatori completamente maliziosi, identificando le limitazioni fondamentali imposte dalla fisica della comunicazione direzionale.

In sintesi, il paper dimostra che è possibile combinare la fisica quantistica e la crittografia computazionale per creare prove di posizione che rispettano la privacy, trasformando la posizione da un dato sensibile da nascondere in un attributo verificabile in modo selettivo.