Nei prossimi decenni, il mondo dell'informatica è destinato a un cambiamento fondamentale. Per decenni, i computer più potenti sono stati macchine classiche, che elaborano le informazioni in modo lineare attraverso uno e zero. Ora, sta emergendo una nuova generazione di dispositivi, noti come computer quantistici. Queste macchine operano secondo le strane leggi della fisica quantistica, permettendo loro di risolvere certi problemi con una velocità che i computer classici semplicemente non possono eguagliare. Mentre questi dispositivi passano dalla teoria alla realtà, sorge una domanda critica: come può una persona con un computer standard essere certa che un dispositivo remoto sia veramente quantistico e non solo un'astuta imitazione? Questa è la sfida delle "prove di quanticità" (proofs of quantumness). Si tratta di una stretta di mano digitale in cui una macchina quantistica deve dimostrare le proprie capacità uniche a un osservatore classico. Tuttavia, questa interazione comporta un rischio nascosto. Proprio come una persona potrebbe cercare di ingannare un cassiere per prelevare denaro che non possiede, un osservatore disonesto potrebbe potenzialmente ingannare una macchina quantistica per farle risolvere problemi difficili per lui, sottraendo di fatto la sua potenza computazionale senza pagarne il prezzo.

Un team di ricercatori ha affrontato questa vulnerabilità introducendo un nuovo livello di sicurezza chiamato "prove di quanticità a conoscenza zero" (zero-knowledge proofs of quantumness). Nel loro lavoro, hanno formalizzato un metodo in cui un dispositivo quantistico può dimostrare di essere quantistico senza rivelare alcuna informazione aggiuntiva che un osservatore disonesto potrebbe sfruttare. I ricercatori dimostrano che, negli attuali sistemi, un osservatore malintenzionato potrebbe manipolare l'interazione per estrarre dati utili, come i fattori di un numero grande o la soluzione di un complesso enigma matematico, semplicemente ponendosi come un verificatore standard. Il nuovo framework impedisce ciò assicurando che l'informazione ottenuta dall'osservatore non sia superiore a quella che potrebbe essere generata da un normale computer non quantistico. Ciò significa che il potere unico del dispositivo quantistico rimane protetto, e l'osservatore non può usare l'interazione per ottenere un vantaggio sleale.

I ricercatori si sono concentrati su due dei metodi più prominenti utilizzati oggi per provare la quanticità. Il primo si basa sulla difficoltà di fattorizzare grandi numeri, un compito facile per i computer quantistici ma difficile per quelli classici. Il secondo si basa su un problema matematico che coinvolge errori nei dati, noto come "apprendimento con errori" (learning with errors). In entrambi i casi, i ricercatori hanno trovato un modo per potenziare i protocolli esistenti. Ci sono riusciti richiedendo all'osservatore, il verificatore classico, di fornire un tipo speciale di certificato digitale prima che l'interazione inizi. Questo certificato prova che l'osservatore non sta tentando di agire in modo disonesto o di estrarre segreti nascosti. Funge da garanzia che l'osservatore si stia comportando onestamente o, almeno, non maliziosamente. Se l'osservatore tenta di usare un numero falso o manipolato per ingannare la macchina quantistica, non può produrre questo certificato senza conoscere la soluzione segreta stessa, il che vanifica lo scopo del trucco.

Per far sì che ciò funzioni, i ricercatori hanno combinato la prova quantistica con uno strumento di sicurezza classica noto come "argomento a conoscenza zero non interattivo estraibile" (extractable non-interactive zero-knowledge argument). Questo strumento permette al sistema di verificare che l'osservatore possieda la conoscenza segreta necessaria per generare il certificato, senza che l'osservatore debba mai rivelare tale conoscenza. Se l'osservatore è onesto, il certificato è valido e la prova quantistica procede. Se l'osservatore è malizioso e tenta di usare un numero falso, non può generare un certificato valido e l'interazione fallisce. Ciò crea un sistema in cui il dispositivo quantistico è al sicuro da ogni sfruttamento. I ricercatori hanno dimostrato che questo approccio funziona sia per il metodo basato sulla fattorizzazione che per il metodo basato sull'apprendimento con errori. Hanno provato che un computer classico simulando l'interazione potrebbe produrre esattamente gli stessi risultati del computer quantistico, il che significa che non è trapelata alcuna informazione extra.

La portata di questo lavoro risiede nella sua capacità di proteggere gli interessi del proprietario del dispositivo quantistico. In un futuro in cui i computer quantistici saranno offerti come servizio, gli utenti potrebbero voler verificare che il server sia realmente quantistico prima di pagare per un compito. Senza questo nuovo livello di sicurezza, un utente disonesto potrebbe potenzialmente ingannare il server per fargli risolvere un problema difficile gratuitamente o, peggio, estrarre la soluzione di un problema che l'utente stesso avrebbe dovuto risolvere. Implementando le prove di quanticità a conoscenza zero, i ricercatori assicurano che il processo di verifica stesso non diventi una falla per il furto. Il server quantistico può dimostrare il proprio potere senza rivelare alcun segreto o vantaggio computazionale.

Lo studio evidenzia anche un cambiamento sottile ma importante nel modo in cui queste interazioni vengono viste. Tradizionalmente, la sicurezza in queste prove si concentrava sul garantire che la macchina quantistica non mentisse. Questo nuovo approccio ribalta la situazione, concentrandosi sul garantire che l'osservatore non menta. Tratta l'osservatore come la parte che deve essere limitata, richiedendo a quest'ultimo di provare di non agire in modo malizioso. Questo doppio ruolo, in cui sia il prover che il verifier interpretano parti in un controllo di sicurezza classico insieme al test quantistico, crea un sistema più robusto. I ricercatori hanno scoperto che per il metodo della fattorizzazione, l'osservatore deve provare di conoscere i fattori di un numero. Per il metodo dell'apprendimento con errori, devono provare di conoscere la chiave segreta associata ai dati. In entrambi i casi, il requisito di questa prova impedisce all'osservatore di usare la macchina quantistica come strumento per risolvere i propri problemi difficili.

Sebbene i ricercatori abbiano trasformato con successo questi due schemi specifici, riconoscono che non tutti i metodi per provare la quanticità possono essere facilmente aggiornati in questo modo. Alcuni metodi esistenti si basano su assunzioni diverse o non si adattano al formato standard di sfida e risposta utilizzato nel loro lavoro. Ad esempio, i metodi basati sul campionamento di pattern casuali sono più difficili da adattare perché non seguono la stessa struttura interattiva. I ricercatori suggeriscono che, sebbene il loro approccio sia potente per gli schemi più comuni, trovare una soluzione universale per tutti i tipi di prove quantistiche rimane una questione aperta. Notano inoltre che, affinché il sistema sia completamente sicuro contro i futuri computer quantistici, gli strumenti classici utilizzati per i certificati devono essi stessi essere resistenti agli attacchi quantistici. Indicano l'esistenza di costruzioni matematiche che possono fornire questo livello di sicurezza.

In definitiva, questo lavoro fornisce un modello per un futuro più sicuro nella verifica quantistica. Sposta il campo da un semplice test di capacità a un'interazione sicura e priva di fiducia (trustless) dove la potenza del dispositivo quantistico è rispettata. Formalizzando il concetto di conoscenza zero in questo contesto, i ricercatori hanno dimostrato che è possibile verificare la quanticità senza compromettere l'integrità della macchina quantistica. Questo è un passo cruciale verso l'implementazione pratica dei servizi quantistici, garantendo che la transizione all'era quantistica sia costruita su una base di sicurezza e fiducia. Il risultato è un sistema in cui il potere unico del calcolo quantistico può essere dimostrato e utilizzato senza il timore di essere sfruttato da chi cerca di rubarne i segreti.