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.