Riepilogo Tecnico: Computazione Quantistica Delegata Privata per Contesti a Livello Utente e Industriale

1. Enunciato del Problema

L'accesso all'hardware quantistico rimane un collo di bottiglia per gli utenti individuali e le industrie a causa dell'alto costo di costruzione, gestione e manutenzione dei dispositivi quantistici. La Computazione Quantistica Delegata (DQC) offre una soluzione in cui un client con risorse limitate delega i calcoli a un server potente. Tuttavia, una sfida critica è preservare la privacy dei dati di input del calcolo, dei dati di output e della descrizione del calcolo (struttura e parametri).

Gli approcci esistenti, come la Computazione Quantistica Cieca Basata sulla Misurazione (MBQC) e la Computazione Quantistica Cieca Basata su Circuiti (CBQC), spesso richiedono che il client possieda significative capacità quantistiche (ad esempio, generare stati a grafo o memorizzare tutti i qubit) o si basino su modelli di fiducia specifici. Inoltre, le definizioni standard di privacy spesso confondono diversi tipi di segretezza (privacy dello stato vs. privacy strutturale) o assumono una cecità universale che potrebbe non essere raggiungibile con risorse client limitate.

Questo articolo affronta la necessità di una gerarchia modulare di protocolli di computazione quantistica delegata privata adattata alle varie capacità del client, che spaziano da dispositivi multi-qubit completamente capaci a controller puramente classici. Il lavoro distingue esplicitamente tra la protezione dello stato quantistico (tramite crittografia) e la protezione della struttura del circuito (tramite compilazione e instradamento), chiarificando le specifiche assunzioni di perdita di informazioni richieste per ciascuna.

2. Metodologia e Quadro Teorico

Gli autori propongono una gerarchia basata sulle risorse in cui la scelta del protocollo dipende dalle capacità quantistiche del client ($M$ qubit) e dalla natura delle operazioni (Clifford vs. non-Clifford). Il quadro si basa su diverse tecniche fondamentali:

2.1 Meccanismi Fondamentali di Privacy

• One-Time Pad Quantistico (QOTP): La base per la privacy dello stato. Il client crittografa i qubit con chiavi Pauli $X$ e $Z$ casuali. Nel modello semi-onesto purificato, se le chiavi sono fresche, segrete e uniformi, la matrice di densità ridotta del server è massimamente mista, non rivelando alcuna informazione sullo stato.
• Aggiornamenti delle Chiavi Clifford: Le operazioni Clifford pubbliche (H, S, CNOT, CZ) possono essere eseguite dal server su dati crittografati. Il client aggiorna il frame Pauli classicamente senza decrittare i dati.
• Gestione Non-Clifford: I protocolli di base limitano il server alle operazioni Clifford. Le porte non-Clifford (ad esempio, $T$, rotazioni generiche) sono gestite tramite:
  • Esecuzione Locale: Il client decrittografa, applica la porta, ricrittografa e restituisce il qubit (per client con capacità locale).
  • Decomposizione: Scomposizione delle porte non-Clifford in livelli Clifford pubblici e porte a singolo qubit locali.
  • Primitivi di Ambiguità dell'Angolo: Per client limitati, gli angoli di rotazione privati sono nascosti tramite condivisione su griglia finita e randomizzazione del segno.

2.2 Privacy Strutturale e Perdita di Informazioni

L'articolo introduce una rigorosa definizione di privacy relativa alla perdita. La privacy non è assoluta ma relativa a una funzione di perdita dichiarata $L(D)$.

• Privacy Strutturale: Nascondere il layout del circuito, le posizioni delle porte e l'instradamento. Questo è ottenuto tramite compilatori randomizzati, riempimento con porte finte/cancellanti e permutazioni di instradamento.
• Ambiguità a Livello di Trascrizione: Per client limitati, l'articolo definisce "ambiguità dell'angolo" piuttosto che cecità universale. Utilizzando la condivisione $r$-share con angoli randomizzati di segno nascosti su griglia finita e instradamento nascosto, il server vede quote di rotazione valide ma non può determinare univocamente l'angolo logico a causa dei segni nascosti (indotti dalle chiavi QOTP) e della raggruppamento nascosto (indotto dalle permutazioni di instradamento).

2.3 La Gerarchia dei Protocolli

L'articolo definisce quattro rami distinti di protocollo basati sulle risorse del client:

1. Protocollo 1 (Client Completamente Capace con $M$ Qubit):

   • Capacità: Può memorizzare $M$ qubit ed eseguire porte multi-qubit locali.
   • Meccanismo: Il client invia batch di $M$ qubit al server. Il server esegue operazioni Clifford pubbliche su dati crittografati. Le porte private/non-Clifford sono eseguite localmente dal client (decrittografa-applica-ricrittografa) se l'aritmetica è $\le M$.
   • Privacy: Privacy dello stato QOTP; la privacy strutturale dipende dal compilatore.

2. Protocollo 2 (Client con $M$ Dispositivi Indipendenti a Singolo Qubit):

   • Capacità: $M$ dispositivi indipendenti; nessuna porta di entanglement locale.
   • Meccanismo: Simile al Protocollo 1 ma limitato a porte a singolo qubit locali. Le operazioni multi-qubit sono delegate come livelli Clifford pubblici. Il nascondimento strutturale è ottenuto tramite randomizzazione delle porte (permutazioni di instradamento) tra i dispositivi per nascondere le mappature logiche dei fili.
   • Privacy: Privacy dello stato QOTP; la privacy strutturale si basa su permutazioni di instradamento e riempimento.

3. Protocollo 3 (Dispositivi a Singolo Qubit Limitati):

   • Capacità: Dispositivi limitati a Pauli $X, Z$ (maschere QOTP) e controllo di instradamento; non possono eseguire rotazioni arbitrarie.
   • Meccanismo: Utilizza una primitiva di ambiguità dell'angolo $r$-share con angoli randomizzati di segno nascosti su griglia finita e instradamento nascosto. Gli angoli di rotazione privati sono compilati su una griglia finita, suddivisi in $r$ quote con segni nascosti (tramite chiavi QOTP $X$) e raggruppamento nascosto (tramite instradamento).
   • Privacy: Privacy dello stato QOTP; ambiguità dell'angolo a livello di trascrizione (non cecità universale) sotto le assunzioni di segno nascosto e instradamento nascosto.

4. Protocollo 4 (Client Classico):

   • Capacità: Puramente classico; nessuna interazione quantistica diretta.
   • Meccanismo: Utilizza due server computazionali ($S_1, S_2$) e un nodo comune ($R$). Il client mantiene una divisione QOTP persistente con abbinamento nascosto. Il nodo comune nasconde l'abbinamento tra le quote di chiave detenute da $S_1$ e $S_2$.
   • Privacy: Privacy dello stato sotto QOTP diviso persistente più nascondimento della chiave $\epsilon_{key}$ (assumendo assenza di collusione totale). La privacy dell'angolo è un'anonimato a livello di trascrizione tramite condivisione $r$-share mescolata.
   • Assunzione: La coalizione completa $\{S_1, S_2, R\}$ è esclusa; il nodo comune è fidato o controllato tramite canali laterali.

2.4 Livello di Rilevamento Basato su Trappole

Per affrontare le deviazioni malevole (dove il server non segue il protocollo), l'articolo propone un incorporato livello di rilevamento statistico.

• Metodo: Il client compila "blocchi di verifica" (con risposte note o output simulabili) e li mescola con blocchi di dati utilizzando rinominazione privata e instradamento.
• Garanzia: Sotto assunzioni di indistinguibilità, il server non può prendere di mira solo i blocchi di dati. La probabilità di rilevamento dipende dalla densità degli slot di verifica e dalla solidità della modalità di verifica (risposta nota, simulabile o eco).
• Limitazione: Questo è un livello di rilevamento statistico, non una prova completa di sicurezza contro attacchi malevoli o un meccanismo di autenticazione.

3. Contributi Chiave

1. Gerarchia di Protocolli Indicizzata per Risorse: Un insieme strutturato di protocolli (Protocolli 1–4) che mappano specifiche capacità del client (da $M$ qubit a classico) su meccanismi di privacy appropriati, evitando un approccio "taglia unica".
2. Definizioni di Privacy Relative alla Perdita: Un quadro formale che separa la privacy dello stato QOTP (informativa-teorica) dalla privacy strutturale (dipendente dal compilatore) e dall'ambiguità dell'angolo (dipendente dalla trascrizione). L'articolo chiarisce che la "cecità" è spesso una funzione della perdita dichiarata e della casualità del compilatore, non una proprietà intrinseca della sola crittografia.
3. Primitiva con Segno Randomizzato e Instradamento Nascosto: Una tecnica innovativa per client limitati per nascondere angoli di rotazione privati utilizzando condivisione su griglia finita, segni nascosti (tramite QOTP) e permutazioni di instradamento, fornendo ambiguità a livello di trascrizione senza richiedere la cecità completa dello stato quantistico.
4. QOTP Diviso per Client Classici: Un protocollo multi-partita (Protocollo 4) che permette ai client classici di ottenere privacy dello stato tramite un modello a chiave divisa su server non colludenti, sostituendo il QOTP lato client con un invariante persistente con abbinamento nascosto.
5. Ambito di Sicurezza Esplicito: L'articolo delinea esplicitamente cosa ciascun protocollo non afferma (ad esempio, nessuna cecità universale per il Protocollo 3, nessuna sicurezza contro attacchi malevoli per i protocolli di base, nessun nascondimento strutturale incondizionato senza assunzioni sul compilatore).

4. Risultati ed Esempi

L'articolo dimostra l'applicabilità di questi protocolli attraverso tre esempi algoritmici:

• Algoritmo di Grover: Mostra come delegare l'oracolo (privacy strutturale) e l'operatore di diffusione. La struttura privata è nascosta tramite riempimento e instradamento; i componenti non-Clifford (CCZ) sono gestiti localmente o tramite decomposizione.
• QAOA (Quantum Approximate Optimization Algorithm): Illustra la separazione tra parametri privati (angoli in $RZ$e$RZZ$) e struttura pubblica. La parte di entanglement $RZZ$ è delegata come Clifford pubblico, mentre gli angoli privati sono gestiti localmente o tramite la primitiva di ambiguità dell'angolo. L'articolo sottolinea la necessità di riempire le trascrizioni dell'ottimizzatore per prevenire la perdita di informazioni sulle proprietà di convergenza.
• Reti Neurali Quantistiche (QNN): Dimostra il nascondimento degli angoli di codifica dell'input e dei pesi del modello. Le rotazioni private sono eseguite localmente o tramite la primitiva con segno randomizzato, mentre le porte di entanglement sono delegate.

Analisi di Sicurezza:
L'articolo fornisce prove formali per:

• Privacy dello Stato: Sotto il modello semi-onesto purificato con chiavi QOTP fresche (Teorema 1).
• Ambiguità dell'Angolo: Limiti sulla dimensione dell'insieme dei candidati per gli angoli privati dati segni e raggruppamenti nascosti (Proposizione 5.1, 5.4).
• Probabilità di Rilevamento: Limiti ipergeometrici per la probabilità di rilevare deviazioni malevole basate sulla densità dei verificatori (Proposizione 6.2, 6.3).

5. Significato e Affermazioni

Gli autori posizionano questo lavoro non come una sostituzione della Computazione Quantistica Cieca Universale (UBQC) o della Computazione Quantistica Cieca Verificabile (VBQC) nei loro regimi più forti, ma come un quadro modulare e indicizzato per le risorse per contesti pratici in cui i client hanno capacità quantistiche parziali o nulle.

• Modestia delle Affermazioni: L'articolo afferma esplicitamente di non fornire cecità universale o sicurezza contro attacchi malevoli di per sé.
  • Il Protocollo 3 offre "ambiguità dell'angolo a livello di trascrizione", non cecità universale.
  • Il Protocollo 4 si basa sull'assunzione di assenza di collusione totale e sul controllo dei canali laterali; non offre sicurezza contro attacchi malevoli senza livelli di verifica aggiuntivi.
  • La Privacy Strutturale è condizionata dal compilatore randomizzato e dalla perdita dichiarata; non è una garanzia incondizionata contro tutti i canali laterali.
• Praticità: La gerarchia permette alle industrie e agli utenti di selezionare un protocollo che corrisponde ai loro specifici vincoli hardware (ad esempio, un'azienda con un piccolo processore quantistico rispetto a un utente con solo un computer classico) comprendendo i precisi compromessi in termini di privacy e sovraccarico.
• Direzioni Future: Gli autori notano che il lavoro futuro potrebbe concentrarsi sulla riduzione del sovraccarico di trasmissione dei qubit e sul rafforzamento dei componenti non-Clifford e di rilevamento per contesti tolleranti ai guasti.

In sintesi, l'articolo fornisce una tassonomia rigorosa e sfumata della computazione quantistica delegata privata, chiarificando le condizioni esatte sotto le quali la privacy può essere ottenuta per client con diversi livelli di risorse quantistiche, delimitando esplicitamente i limiti di ciascun approccio.