Composable Device-Independent Quantum Digital Signatures

Nella silenziosa corsa per costruire un futuro in cui l'informazione sia protetta dalle leggi della fisica piuttosto che dalla difficoltà della matematica, gli scienziati stanno lavorando per creare reti che non possano essere violate. Per decenni, la crittografia quantistica ha promesso questa sicurezza incrollabile, ma si è basata su un'ipotesi fragile: che le macchine che inviano e ricevono i messaggi si comportino esattamente come i loro progettisti dichiarano che facciano. Se un dispositivo presenta un difetto nascosto o un sottile difetto, un attaccante astuto potrebbe sfruttarlo per rubare segreti senza che nessuno se ne accorga. Per risolvere questo problema, i ricercatori hanno sviluppato metodi "device-independent" (indipendenti dal dispositivo), che verificano la sicurezza controllando le strane correlazioni tra le particelle, indipendentemente da ciò che le macchine all'interno stanno effettivamente facendo. Sebbene questo approccio abbia avuto successo nella protezione dello scambio di chiavi segrete, ha faticato a gestire gli altri pilastri della fiducia necessari per una rete del mondo reale: provare che un messaggio sia autentico, garantire che non sia stato alterato e impedire al mittente di negare di averlo inviato. Questi compiti richiedono firme digitali, un concetto che è rimasto elusivo nel mondo device-independent.

Un team di ricercatori ha ora colmato questa lacuna, stabilendo il primo framework che permette alle firme quantistiche device-independent di funzionare in modo sicuro all'interno di un sistema più ampio. Hanno creato un nuovo protocollo che consente a tre parti — un mittente e due destinatari — di scambiare documenti firmati con garanzie che reggono anche se i dispositivi utilizzati sono imperfetti o non affidabili. I ricercatori non si sono limitati a proporre una teoria; hanno costruito un modello di sicurezza completo che tiene conto di ogni possibile modo in cui un attaccante potrebbe tentare di manipolare il sistema, incluse le complesse strategie in cui un avversario tenta di manipolare le chiavi utilizzate per la verifica. Combinando questo rigoroso framework di sicurezza con un metodo pratico per generare fotoni entangled, hanno dimostrato che il loro sistema può firmare efficientemente documenti multi-bit su distanze paragonabili alle dimensioni di una grande città.

Il cuore di questo traguardo risiede nel modo in cui i ricercatori hanno gestito la distribuzione della fiducia. Nel loro setup, una mittente chiamata Alice vuole firmare un documento e inviarlo a Bob, che poi lo inoltra a Charlie. Per farlo in modo sicuro senza fidarsi del proprio hardware, Alice, Bob e Charlie condividono prima un set speciale di chiavi correlate. Queste chiavi sono generate utilizzando un processo che si basa sulla fondamentale stranezza della meccanica quantistica, specificamente nel modo in cui le particelle entangled si comportano quando vengono misurate. I ricercatori hanno progettato un sistema in cui Alice e Bob, e separatamente Alice e Charlie, generano queste chiavi inviando fotoni attraverso fibre ottiche a un nodo centrale. Questo nodo funge da arbitro, confermando quando i fotoni arrivano e accoppiandoli per creare i necessari collegamenti quantistici. Fondamentalmente, il team ha utilizzato una tecnica chiamata multiplexing multi-canale, che permette di inviare molti flussi di fotoni contemporaneamente. Questo metodo aumenta significativamente il tasso di successo della connessione, superando la perdita di segnale che solitamente affligge la comunicazione quantistica a lunga distanza.

Una volta stabilite le chiavi, inizia il vero processo di firma. Alice prende il suo documento e utilizza una parte delle sue chiavi segrete per creare una firma. Lo fa mescolando il documento con un polinomio casuale, uno strumento matematico che agisce come un'impronta digitale unica, e poi cripta il risultato con un'altra parte della sua chiave. Invia il documento e questa firma a Bob. Bob inoltra poi il pacchetto a Charlie, insieme alla sua parte di chiavi. Charlie, agendo come verificatore finale, utilizza le sue chiavi e quelle di Bob per ricostruire l'impronta digitale originale e controllare se corrisponde al documento. Se la matematica funziona, la firma è valida. La genialità del nuovo protocollo è che rimane sicuro anche se Bob tenta di alterare il documento o le chiavi che invia a Charlie. I ricercatori hanno dimostrato matematicamente che un tale tentativo fallirebbe, garantendo che Charlie accetti solo i documenti che Alice ha realmente firmato.

Per testare se questo complesso sistema potesse funzionare nel mondo reale, il team ha eseguito dettagliate simulazioni al computer utilizzando parametri realistici per cavi in fibra ottica e rilevatori di fotoni. Hanno modellato il comportamento dei quantum dot, minuscole strutture semiconduttrici che emettono coppie di fotoni entangled, che fungono da sorgente dei segnali quantistici. Le simulazioni hanno mostrato che, anche con le imperfezioni presenti nell'attuale tecnologia, il protocollo può firmare con successo documenti su distanze fino a cento chilometri. Questo intervallo è significativo perché copre l'estensione di una tipica area metropolitana, suggerendo che una tale rete potrebbe connettere diverse parti di una città. I risultati hanno indicato che il sistema può gestire documenti di lunghezza arbitraria mantenendo fissa la dimensione della firma, rendendolo efficiente per l'uso pratico.

I ricercatori hanno anche esplorato come diversi fattori possano influenzare le prestazioni del sistema. Hanno scoperto che la qualità della sorgente di fotoni è critica; se la sorgente produce fotoni che non sono perfettamente entangled, la distanza su cui le firme possono essere verificate si riduce. Tuttavia, hanno scoperto che una tecnica chiamata pre-elaborazione del rumore (noise preprocessing) può aiutare il sistema a tollerare queste imperfezioni, permettendogli di funzionare anche con sorgenti di qualità inferiore, sebbene ciò comporti il costo di un tasso di firma leggermente più lento. Inoltre, hanno confrontato le loro sorgenti di quantum dot con altri metodi comuni di generazione di luce entangled e hanno scoperto che la loro sorgente scelta offriva un vantaggio distinto, fornendo tassi di successo più elevati e una portata maggiore.

Questo lavoro rappresenta un passo avanti fondamentale nel rendere le reti quantistiche veramente sicure. Dimostrando che le firme device-independent possono essere costruite e verificate con rigorose garanzie di sicurezza, i ricercatori hanno fornito un progetto per un futuro in cui la fiducia digitale è radicata nelle leggi della fisica. Il loro protocollo non protegge solo la segretezza di un messaggio; garantisce l'identità del mittente e l'integrità del contenuto, anche quando l'hardware stesso non può essere pienamente fidato. Mentre le reti quantistiche si spostano dal laboratorio al mondo reale, questo framework offre un modo per garantire che le firme digitali di domani siano inattaccabili come i principi quantistici su cui si basano.