Quantum pseudoresources imply cryptography

Nel mondo della fisica quantistica, certe proprietà della materia agiscono come combustibile per compiti che i computer classici semplicemente non possono eseguire. Tra queste, l'entanglement si distingue come una risorsa particolarmente potente. Immaginate due particelle legate così profondamente che lo stato di una influenza istantaneamente l'altra, indipendentemente da quanto siano lontane. Questa connessione permette ai sistemi quantistici di elaborare informazioni in modi che sembrano impossibili per la nostra esperienza quotidiana. Tuttavia, creare e mantenere questo entanglement è difficile; richiede un controllo preciso ed è facilmente distrutto dall'ambiente. Per molto tempo, gli scienziati hanno assunto che per costruire sistemi di comunicazione quantistica sicuri, fosse necessario generare e proteggere questo entanglement genuino e di alto livello a ogni costo.

Tuttavia, una nuova prospettiva è emersa dall'intersezione tra fisica e informatica. I ricercatori hanno iniziato a chiedersi cosa accada quando osserviamo queste risorse quantistiche attraverso la lente di una potenza di calcolo limitata. Proprio come un osservatore umano potrebbe non essere in grado di distinguere tra una sequenza di numeri veramente casuale e una generata da un algoritmo ingegnoso, un sistema quantistico con velocità di elaborazione limitata potrebbe non essere in grado di distinguere uno stato con un massiccio entanglement da uno con pochissimo entanglement. Questo fenomeno, in cui un sistema "sembra" ricco di risorse per un osservatore limitato ma è in realtà povero di risorse, è noto come pseudorifornimento (pseudoresource). La domanda che guida la recente indagine è se questi stati ingannevoli e a basse risorse possano comunque servire come fondamento per una crittografia sicura, o se sia strettamente richiesto il prodotto autentico.

Un team di ricercatori della Sorbonne Université e del CNRS di Parigi ha ora fornito una risposta definitiva a questa domanda. Hanno dimostrato che questi stati ingannevoli non sono solo delle curiosità; sono abbastanza potenti da costruire l'architettura stessa di una comunicazione sicura. Nello specifico, gli autori hanno mostrato che se si possiede una coppia di famiglie di stati quantistici che sono computazionalmente indistinguibili ma possiedono un divario significativo nel loro contenuto di risorse, è possibile costruire uno schema di impegno (commitment scheme) sicuro. In crittografia, uno schema di impegno è come una busta digitale sigillata: una parte può chiudere un valore segreto all'interno e inviarlo a un'altra, garantendo che il valore non possa essere cambiato (vincolante/binding) e che non possa essere letto finché il mittente non decide di rivelarlo (nascosto/hiding).

I ricercatori hanno provato che l'esistenza di questi "pseudoresource" è sufficiente per creare queste buste sicure. Hanno introdotto un nuovo quadro matematico, che chiamano coppie EPFI, per descrivere la relazione tra queste famiglie di stati. Una coppia EPFI consiste in due gruppi di stati quantistici che sono così diversi nelle loro proprietà fisiche da essere statisticamente distanti, eppure un computer con velocità limitata non può distinguerli. Sfruttando questo divario, il team ha costruito un protocollo in cui un mittente può impegnarsi su un bit di informazione utilizzando uno stato appartenente a una di queste famiglie. La sicurezza si basa sul fatto che, senza una chiave segreta, un intercettatore non può distinguere da quale famiglia provenga lo stato e, con la chiave, il mittente non può alterare l'impegno perché gli stati sono fisicamente troppo distinti per essere scambiati.

Questa scoperta ha implicazioni profonde perché collega il concetto astratto di teoria delle risorse direttamente alla sicurezza pratica. Il documento stabilisce che se si possono generare questi pseudoresource, si acquisisce automaticamente la capacità di eseguire compiti crittografici complessi, come il calcolo multipartitico sicuro e il trasferimento obbligato (oblivious transfer), dove le parti possono calcolare un risultato senza rivelare i propri input privati. Gli autori non si sono fermati alle risorse generali; si sono concentrati fortemente sull'entanglement, la risorsa quantistica più famosa. Hanno dimostrato che anche se l'entanglement è "finto" nel senso che è computazionalmente nascosto, è reale abbastanza da mettere in sicurezza un canale di comunicazione. Hanno inoltre proposto una nuova funzionalità chiamata "entanglement computazionalmente bloccato" (computationally locked entanglement), in cui uno stato contiene grandi quantità di entanglement che possono essere sbloccate solo con una chiave segreta, nascondendo efficacemente la risorsa a chiunque non possieda la chiave.

Il lavoro chiarisce i requisiti minimi per la crittografia quantistica. In precedenza, si sapeva che certe primitive crittografiche potevano essere costruite a partire da funzioni unidirezionali, ma l'esatta assunzione minima per il mondo quantistico rimaneva una questione aperta. Questo articolo suggerisce che la capacità di generare questi pseudoresource è un mattone fondamentale, forse ancora più fondamentale di quanto precedentemente ipotizzato. I ricercatori non si sono limitati a suggerire questa possibilità; hanno fornito una prova matematica rigorosa che l'esistenza di queste specifiche famiglie di stati implica l'esistenza di schemi di impegno sicuri. Hanno anche chiarito la relazione tra diverse definizioni di pseudoentanglement, mostrando che anche le definizioni basate su misure informative, piuttosto che solo computazionali, possono portare a costruzioni crittografiche sicure.

Nel panorama più ampio dell'informazione quantistica, questo risultato sposta l'attenzione dalla pura quantità di risorse alla difficoltà computazionale di rilevarle. Suggerisce che la sicurezza delle future reti quantistiche potrebbe non dipendere dalla generazione di un entanglement perfetto e ad alta fedeltà in ogni fase, ma piuttosto dalla capacità di creare stati che siano indistinguibili da stati ad alte risorse per qualsiasi osservatore privo della chiave appropriata. Gli autori lasciano aperta la questione se questi pseudoresource possano essere costruiti partendo da assunzioni ancora più deboli, ma il loro lavoro attuale stabilisce fermamente che il divario tra "sembrare" una risorsa ed "essere" una risorsa è abbastanza ampio da sostenere l'intero edificio della crittografia quantistica. Questa scoperta colma il divario tra le teorie delle risorse teoriche e la sicurezza pratica, offrendo un nuovo percorso per progettare protocolli quantistici che siano sia efficienti che sicuri.