New Quantum Internet Applications via Verifiable One-Time Programs

Questo lavoro introduce i Programmi Monouso Verificabili (Ver-OTP), costruiti a partire da stati a singolo qubit e primitive crittografiche classiche, per realizzare un Calcolo Sicuro Aperto (OSC) in un singolo turno che abilita applicazioni come aste a offerta sigillata, proposte atomiche e aggregazione statistica differenzialmente privata, offrendo un nuovo framework di crittografia assistita da quantum realizzabile con tecnologie quantistiche a breve termine.

L'essenziale

Immagina di voler inviare un messaggio segreto o un programma informatico a qualcuno, ma con una regola ferrea: deve essere letto una sola volta e poi distrutto. Nel mondo classico, questo è quasi impossibile da garantire (il destinatario potrebbe copiarlo e leggerlo mille volte). Nel mondo quantistico, grazie a una proprietà fisica chiamata "principio di indeterminazione", è possibile creare questi "programmi usa e getta".

Tuttavia, c'è un problema: i programmi quantistici sono fragili. Come un fiore di carta che si secca in pochi secondi, questi programmi esistono solo per un istante (li chiamiamo ephemeral OTP). Se il destinatario non è pronto subito, il programma svanisce. Inoltre, come fai a fidarti che il mittente non ti abbia inviato un programma truccato?

L'autore, Lev Stambler, ha risolto questi due problemi creando due nuove "magie" digitali: i Programmi Monouso Verificabili e il Calcolo Sicuro Aperto.

Ecco come funzionano, usando delle analogie quotidiane:

1. I "Programmi Monouso Verificabili" (Ver-OTP)

Immagina che il mittente ti invii un pacco sigillato contenente un programma segreto.

• Il problema: Il pacco è fatto di ghiaccio (il programma quantistico). Se non lo apri subito, si scioglie. Inoltre, il mittente potrebbe aver messo dentro un pacco vuoto o pieno di sabbia invece del programma.
• La soluzione dell'autore: Prima di darti il pacco vero, il mittente ne crea migliaia di copie (o meglio, frammenti di esso).
  • Ti dice: "Ecco 1000 frammenti. Ne scegliamo a caso 100, li apriamo tutti insieme e controlliamo che contengano la sabbia giusta (la prova che il programma è reale). Se i 100 sono perfetti, abbiamo una certezza matematica che i restanti 900 contengono il programma vero."
  • Questo è il taglio e scelta (cut-and-choose): controlli un campione per essere sicuro del tutto.
  • Una volta verificato, ti dai il "pacco vero" (il programma monouso). Tu lo apri, lo leggi una volta, e puf, svanisce. Nessuno può copiarlo perché è fatto di ghiaccio quantistico.

2. Il "Calcolo Sicuro Aperto" (OSC)

Ora immagina un mercato delle aste o un sondaggio dove le persone vogliono partecipare senza dover prima registrarsi con un nome e un cognome.

• Il problema classico: Di solito, per fare un'asta sicura, devi sapere chi sono i partecipanti prima di iniziare, altrimenti il banditore (l'organizzatore) potrebbe truccare i risultati o ignorare chi non gli piace.
• La soluzione dell'autore: Crea un sistema dove chiunque può lanciare un "biglietto" (un input cifrato) in una scatola magica, senza dire chi è.
  • Il banditore prende tutti i biglietti, li mescola e calcola il risultato (es. chi ha fatto l'offerta più alta).
  • La magia: Il banditore non può vedere i biglietti prima di calcolare il risultato. Può solo vedere il risultato finale.
  • Inoltre, il sistema è progettato in modo che il banditore non possa dividere i partecipanti in gruppi separati per truccare l'asta (un attacco chiamato "partizionamento"). Se prova a farlo, il sistema si blocca o restituisce un errore.

A cosa servono queste magie? (Le Applicazioni)

L'autore mostra come queste due idee possano rivoluzionare cose che facciamo ogni giorno:

1. Aste a busta chiusa in un solo colpo:
   Immagina un'asta online dove tutti lanciano la loro offerta in un secondo. Nessuno vede le offerte degli altri. Il sistema calcola chi ha vinto e quanto deve pagare, e tutto questo avviene in un'unica istantanea, senza bisogno di round di comunicazione complessi. È come se tutti lanciassero la loro offerta in una scatola di vetro che si rompe solo quando si conta il totale.

2. Proposte "Atomiche" (per accordi di gruppo):
   In molte blockchain (come Ethereum), serve che la maggior parte delle persone sia d'accordo su un valore per procedere. Con questo sistema, un leader può proporre un valore e ottenere le "firme" della maggioranza in un solo passaggio, senza che nessuno possa cambiare idea o truccare il voto a metà strada.

3. Statistiche private senza registrazione:
   Immagina che un'azienda voglia sapere la media dei salari dei dipendenti di un quartiere, ma i dipendenti non vogliono dire il loro nome né registrarsi. Usando questo sistema, ognuno invia il proprio salario cifrato. Il sistema calcola la media e aggiunge un po' di "rumore" statistico (per proteggere l'identità di ognuno), restituendo solo il risultato finale. Nessuno sa chi ha inviato cosa, e non serve una lista di partecipanti.

4. Scambio equo (Fair Exchange):
   Due persone vogliono scambiarsi un oggetto digitale (es. un file) e un pagamento. Con questo sistema, possono farlo senza fidarsi l'una dell'altra: o entrambi ricevono ciò che vogliono, o nessuno riceve nulla. Non c'è il rischio che uno scappi con i soldi e non mandi il file.

Perché è importante?

La cosa più bella di questo lavoro è che non serve una tecnologia quantistica futuristica e costosissima.

• Non servono computer quantistici enormi.
• Non servono memorie quantistiche che durano anni.
• Serve solo un singolo fotone (una particella di luce) per ogni messaggio, qualcosa che possiamo già inviare oggi attraverso le fibre ottiche per centinaia di metri.

L'autore dice: "Non aspettiamo il futuro. Possiamo costruire queste cose oggi usando la tecnologia che abbiamo già, combinando la semplicità della fisica quantistica (i fotoni) con la potenza della matematica classica (criptografia)."

In sintesi:
L'autore ha inventato un modo per creare "messaggi che si autodistruggono dopo la lettura" e che possiamo verificare prima di usarli. Questo ci permette di creare sistemi sicuri, veloci e aperti (dove chiunque può partecipare senza registrarsi) per aste, voti e statistiche, usando solo la luce e un po' di matematica intelligente. È un passo avanti verso un "Internet Quantistico" che funziona davvero, non solo sulla carta.

Sommario tecnico

Titolo: Nuove Applicazioni per l'Internet Quantistico tramite Programmi Monouso Verificabili

1. Il Problema

L'Internet quantistico promette applicazioni rivoluzionarie oltre alla distribuzione quantistica di chiavi (QKD) e alla verifica della posizione. Tuttavia, la maggior parte delle proposte attuali richiede risorse quantistiche sofisticate (come stati entangled complessi o memorie quantistiche a lungo termine) che sono ben al di là della tecnologia quantistica attuale (near-term).
Un ostacolo specifico riguarda i Programmi Monouso (One-Time Programs - OTP): mentre esistono costruzioni teoriche basate su stati quantistici semplici (simili a BB84), questi stati hanno tempi di coerenza molto brevi. Di conseguenza, gli OTP costruiti con tali stati sono intrinsecamente effimeri (eOTP), funzionando solo per millisecondi. Questo limita la loro utilità pratica, poiché il destinatario dovrebbe essere online e pronto all'uso immediato, vanificando lo scopo di un "programma" valutabile in un secondo momento. Inoltre, manca un meccanismo per verificare che il programma ricevuto sia corretto prima della sua esecuzione, il che apre a rischi di sicurezza.

2. Metodologia e Approccio Tecnico

L'autore propone un framework che scambia complessità computazionale classica con semplicità quantistica, rendendo i protocolli implementabili con tecnologia quantistica a breve termine.

A. Programmi Monouso Verificabili (Ver-OTP)

L'idea centrale è trasformare gli OTP effimeri in Ver-OTP, permettendo al ricevitore di verificare la correttezza del programma prima di usarlo.

• Costruzione: Il protocollo combina:
  1. Circuiti Garbled: Per codificare la funzione da eseguire.
  2. One-Time Memories (OTM): Per fornire le etichette dei fili (wire labels) corrispondenti all'input del ricevitore.
  3. Tecnica Cut-and-Choose e Secret Sharing: Per rendere verificabili le OTM. Per ogni etichetta segreta ($\kappa_0, \kappa_1$), vengono generati $\zeta$ share segreti. Questi share sono inseriti in $\zeta$ OTP a singolo bit.
  4. Verifica: Il ricevitore seleziona casualmente una frazione degli OTP per "aprirli" (verificare che contengano share validi e prove crittografiche). Se i controlli passano, con alta probabilità la maggior parte degli OTP rimanenti è corretta.
  5. Soglia di Ricostruzione: La soglia di secret sharing è impostata a $\zeta/2 + 1$. Questo garantisce che il ricevitore non possa recuperare entrambe le etichette ($\kappa_0$ e $\kappa_1$), preservando la sicurezza del programma monouso.
• Assunzioni: Richiede stati a singolo qubit (BB84-like) e un riferimento comune (CRS) per le prove a conoscenza zero non interattive (NIZK).

B. Calcolo Sicuro Aperto (Open Secure Computation - OSC)

Sfruttando i Ver-OTP, l'autore introduce l'OSC, un nuovo modello di calcolo sicuro in singola round che non richiede pre-registrazione delle parti.

• Funzionamento: Un insieme di parti invianti (potenzialmente sconosciute) invia input a una parte ricevente nota (ma non fidata). La parte ricevente può calcolare una funzione sugli input.
• Meccanismo di Sicurezza:
  1. Le parti invianti generano chiavi per un Crittografia Omomorfica Multi-Chiave (MHE).
  2. Cifrano i loro input e creano un Ver-OTP che contiene la chiave segreta necessaria per decifrare parzialmente l'output della funzione calcolata sui ciphertext.
  3. Il ricevitore verifica i Ver-OTP. Se un OTP non è valido, l'input corrispondente viene sostituito con un valore nullo ($\bot$).
  4. Il ricevitore può partizionare gli input in gruppi disgiunti e calcolare la funzione su ciascun gruppo utilizzando l'MHE e le decifrature parziali fornite dai Ver-OTP verificati.
• Sicurezza: Si basa sulla sicurezza dell'MHE (modificata per gestire input ausiliari e decifrature parziali su sottoinsiemi) e sulla verificabilità dei Ver-OTP.

3. Contributi Chiave

1. Introduzione dei Ver-OTP: Un nuovo primitivo che permette la verifica non interattiva di un OTP rispetto a dati pubblici noti, garantendo che il programma sia ben formato senza rivelare dati segreti aggiuntivi.
2. Framework OSC: Un modello di calcolo sicuro in singola round senza pre-registrazione, che permette a un ricevitore di elaborare input da mittenti non noti.
3. Applicazioni Pratiche: Dimostrazione di come OSC possa costruire protocolli crittografici utili:
   • Aste a offerta sigillata (Single-round sealed-bid auctions): Con garanzia che l'asta sia eseguita una sola volta e con maggioranza onesta.
   • Proposte Atomiche (Atomic Proposes): Un componente fondamentale per i protocolli di consenso (es. PBFT, HotStuff), dove un leader propone un valore e ottiene attestazioni da una maggioranza.
   • Aggregazione Statistica Differenzialmente Privata: Calcolo di statistiche su dati privati senza pre-registrazione, garantendo la privacy degli input.
   • Scambio Equo (Fair Exchange): Possibilità di scambiare beni digitali in modo sicuro (entrambe le parti ricevono o nessuna) utilizzando blockchain e Ver-OTP.

4. Risultati

• Fattibilità Tecnologica: Il requisito quantistico è minimo: sono necessari solo stati a singolo qubit (facili da generare e trasmettere su centinaia di metri di fibra), rendendo il protocollo realizzabile con la tecnologia quantistica attuale o a breve termine.
• Sicurezza Teorica: I protocolli sono dimostrati sicuri in un modello basato sulla simulazione (simulation-based security). L'autore ammette che la sicurezza non è UC (Universal Composability) a causa della necessità di "rewinding" nella simulazione, ma è sufficiente per le applicazioni proposte.
• Trade-off: Il lavoro scambia complessità computazionale classica (uso di MHE, NIZK, circuiti garbled) per semplificare la parte quantistica, un compromesso considerato pratico dato il rapido miglioramento dell'hardware classico.

5. Significato e Impatto

Questo lavoro è significativo perché democratizza l'accesso alle applicazioni dell'Internet quantistico. Invece di attendere tecnologie quantistiche mature e costose, dimostra che stati quantistici semplici ed effimeri, se combinati con tecniche crittografiche classiche avanzate, possono abilitare nuovi paradigmi di sicurezza.

• Nuovo Paradigma: Sposta il focus dalla necessità di memorie quantistiche perfette all'uso di stati effimeri verificabili.
• Versatilità: Il framework OSC risolve problemi di coordinamento in scenari "aperti" (senza registrazione preventiva), aprendo la strada a protocolli decentralizzati più fluidi per aste, votazioni e aggregazione dati.
• Futuro della Ricerca: Il paper solleva domande aperte importanti, come la rimozione dell'assunzione di CRS, l'ottimizzazione dell'efficienza, la tolleranza al rumore (fault-tolerance) e l'estensione a input/functionalità quantistiche.

In sintesi, Stambler fornisce un ponte teorico e pratico tra le limitazioni attuali della tecnologia quantistica e la necessità di protocolli di calcolo sicuro avanzati, proponendo una soluzione che potrebbe essere implementata già oggi.