⚛️ quantum physics

Trapdoor Functions with Secure Key Leasing and Copy Protection

Questo articolo avvia lo studio delle funzioni trapdoor (TDF) nel contesto del leasing sicuro di chiavi e della protezione contro la copia, definendo e costruendo TDF con queste proprietà non clonabili sotto assunzioni crittografiche standard, e sfruttandole successivamente per costruire schemi di crittografia a chiave pubblica e di crittografia a singolo decifratore robusti che impediscano la distruzione delle chiavi di decifrazione quantistiche.

Autori originali: Fuyuki Kitagawa, Ryo Nishimaki, Yuki Shirakawa, Takashi Yamakawa

Pubblicato 2026-09-09

📖 4 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Fuyuki Kitagawa, Ryo Nishimaki, Yuki Shirakawa, Takashi Yamakawa

Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo

Nel mondo quantistico, una regola fondamentale nota come teorema di non clonazione stabilisce che un pezzo di informazione sconosciuto non può essere copiato perfettamente. A differenza di un file digitale su un computer, che può essere duplicato all'infinito senza perdere l'originale, uno stato quantistico è fragile; nel momento in cui si tenta di misurarlo o copiarlo, lo si disturba inevitabilmente. Questa proprietà unica ha ispirato gli scienziati a immaginare nuove forme di crittografia dove la sicurezza non si basa sulla difficoltà matematica, ma sulle leggi stesse della fisica. In questi sistemi, le chiavi segrete non sono solo stringhe di numeri, ma delicati stati quantistici. Se qualcuno tenta di rubare una copia di tale chiave, l'atto di copiarla distrugge l'originale, avvisando il proprietario che si è verificata una violazione. Questo concetto ha portato allo sviluppo di strumenti come il "leasing di chiavi sicure", dove un utente può noleggiare una chiave di decrittazione e restituirla, e la "protezione dalla copia", dove un programma software è codificato in modo da impedire la sua duplicazione.

Tuttavia, una debolezza critica ha tormentato questi strumenti quantistici. In molti design esistenti, la chiave quantistica è così sensibile che se un utente tenta di decriptare un messaggio che non è stato creato dal mittente legittimo — un messaggio "malizioso" — la chiave può collassare e diventare inutile. È come se una chiave maestra, progettata per aprire una serratura specifica, si frantumasse nel momento in cui viene forzata contro una porta falsa. Questa fragilità limita l'uso pratico della sicurezza quantistica, poiché i sistemi del mondo reale devono gestire dati inaspettati o malformati senza perdere la capacità di funzionare. La domanda rimaneva: i ricercatori potevano costruire strumenti quantistici che fossero non solo impossibili da clonare, ma anche abbastanza robusti da sopravvivere a questi incontri accidentali o maliziosi?

Un team di ricercatori ha ora risposto a questa domanda creando una nuova classe di funzioni matematiche chiamate funzioni a botola (trapdoor functions) che sono sia sicure contro la copia che resilienti ai danni. Nella crittografia classica, una funzione a botola è un'operazione matematica facile da eseguire in una direzione ma estremamente difficile da invertire senza un segreto speciale, noto come "botola" (trapdoor). Pensatelo come una combinazione che è facile da far girare su un numero casuale ma impossibile da scassinare per tornare alla posizione iniziale senza conoscere il codice. I ricercatori hanno con successo adattato questo concetto per il regno quantistico, creando versioni in cui il codice segreto è uno stato quantistico che può essere noleggiato, restituito e protetto dalla copia.

Il team ha affrontato per primo il problema del "leasing di chiavi sicure". Hanno progettato un sistema in cui un utente può noleggiare una botola quantistica per eseguire un compito specifico, come la decriptazione di un messaggio. L'utente può poi eliminare questa chiave e fornire un certificato che provi di averlo fatto, garantendo che la chiave non possa essere utilizzata di nuovo. Fondamentalmente, hanno dimostrato che questo sistema funziona anche se l'utente tenta di decriptare messaggi che non sono stati formati correttamente. Nella loro costruzione, la chiave quantistica rimane intatta e riutilizzabile dopo tali tentativi, risolvendo il problema della fragilità che aveva tormentato i design precedenti. Ci sono riusciti costruendo il sistema su assunzioni matematiche ben consolidate, specificamente il problema "Learning With Errors", che si ritiene sia sicuro anche contro i futuri computer quantistici.

Successivamente, i ricercatori hanno affrontato la "protezione dalla copia". Hanno creato una versione della funzione a botola in cui la capacità di invertire l'operazione è codificata in uno stato quantistico che non può essere duplicato. Se un avversario tenta di dividere questo stato in due copie per condividere il potere di decriptazione, le garanzie di sicurezza assicurano che almeno una delle copie non funzionerà. Ciò impedisce la distribuzione non autorizzata delle capacità di decriptazione. Per costruire questo, il team ha combinato tecniche crittografiche avanzate, incluso un metodo chiamato offuscamento indistinguibile (indistinguishability obfuscation), che rimescola il codice di un programma in modo così profondo che i suoi meccanismi interni non possono essere compresi, anche se il codice è visibile.

La portata di questo lavoro va oltre il teorico. Creando queste funzioni robuste e impossibili da clonare, i ricercatori hanno fornito i mattoni per sistemi di crittografia quantistica più affidabili. Hanno dimostrato che le loro nuove funzioni a botola possono essere utilizzate per costruire schemi di crittografia a chiave pubblica e sistemi di decriptazione a singolo decrittatore che non si interrompono di fronte a dati malformati. Ciò significa che in futuro, le comunicazioni protette dal quantum potrebbero essere più pratiche e affidabili, capaci di gestire la realtà disordinata dei dati del mondo reale senza perdere la propria sicurezza o funzionalità. Il lavoro conferma che è possibile avere strumenti crittografici quantistici che siano sia impossibili da clonare che resistenti, colmando il divario tra possibilità teorica e applicazione pratica.

Sintesi Tecnica: Funzioni Trapdoor con Leasing Sicuro di Chiavi e Protezione dalla Copia

1. Problematica e Motivazione

Questo lavoro affronta una lacuna nel campo della crittografia non clonabile: la mancanza di studi sulle Funzioni Trapdoor (TDF) nei contesti di Leasing Sicuro di Chiavi (SKL) e Protezione dalla Copia (CP). Sebbene le TDF siano primitivi fondamentali nella crittografia a chiave pubblica classica (che abilitano la costruzione di sistemi IND-CPA e IND-CCA sicuri per la Crittografia a Chiave Pubblica), esse non sono state esplorate estensivamente in contesti quantistici dove le chiavi sono stati quantistici e le funzionalità devono essere non clonabili.

Inoltre, le attuali costruzioni di Crittografia a Chiave Pubblica con Leasing Sicuro di Chiavi (PKE-SKL) e Single-Decryptor Encryption (SDE) soffrono di una vulnerabilità critica nota come distruzione della chiave. In questi schemi, una chiave di decrittazione quantistica è tipicamente uno stato quantistico. Se un avversario invia un cifrato scelto maliziosamente (non necessariamente generato dall'algoritmo di cifratura onesto) a un possessore della chiave quantistica, il processo di decrittazione può causare il collasso dello stato quantistico, rendendo la chiave inutilizzabile per decrittazioni future. Gli schemi esistenti non garantiscono che la chiave di decrittazione rimanga riutilizzabile dopo la decrittazione di cifrati arbitrari.

Il documento pone due domande centrali:

È possibile costruire TDF con leasing sicuro di chiavi e TDF con protezione dalla copia partendo da assunzioni standard?
È possibile costruire schemi robusti di PKE-SKL e SDE che rimangano sicuri contro attacchi di distruzione della chiave?

2. Metodologia e Definizioni

2.1 Trapdoor Functions con Leasing Sicuro di Chiavi (TDF-SKL)

Gli autori definiscono TDF-SKL come una tupla di algoritmi $(KG, Eval, Inv, Del, Vrfy)$ dove:

KG produce una chiave di valutazione classica ($ek$), una trapdoor quantistica ($td$) e una chiave di verifica classica ($vk$).
Eval è un algoritmo deterministico che mappa gli input in output.
Inv è un algoritmo quantistico che inverte la funzione usando $td$.
Del permette al possessore di $td$ di cancellarla e produrre un certificato classico.
Vrfy verifica il certificato usando $vk$.

La nozione di sicurezza è la one-wayness (unidirezionalità): un avversario che ottiene $ek $e$ td$, sottomette un certificato di cancellazione valido e riceve successivamente un'immagine di sfida $y$ (l'output di $Eval$ su un input casuale $x$ ) non può recuperare $x$ .

Il documento distingue tra due varianti:

TDF-SKL (senza sampler di dominio): La one-wayness vale per input campionati uniformemente a caso.
TDF-SKL con sampler di dominio: Include un algoritmo di campionamento $Samp$. La one-wayness vale per input campionati da $Samp$, e l'avversario riceve la chiave di verifica $vk$ insieme all'immagine di sfida (analogamente alla sicurezza IND-VRA in PKE-SKL).

2.2 Trapdoor Functions con Protezione dalla Copia (TDF-CP)

TDF-CP è definita come una tupa $(Setup, KG, Eval, Inv)$ dove:

Setup genera una $ek$ classica e una $td$.
KG genera una trapdoor quantistica $td$ da $td$.
Eval è deterministica.
Inv è un algoritmo di inversione quantistica.

La nozione di sicurezza è la sicurezza anti-pirateria di ricerca (search anti-piracy security). In un gioco di sicurezza, un avversario $A$ riceve una trapdoor quantistica, la scinde in uno stato bipartito condiviso con $B$ e $C$ , e invia loro immagini di sfida $y_B$ e $y_C$ (corrispondenti a indipendenti input $x_B$ e $x_C$ ). $B$ e $C$ devono simultaneamente invertire le rispettive sfide. La sicurezza richiede che la probabilità che entrambi abbiano successo sia trascurabile.

2.3 Robustezza

Uno schema è robusto se la chiave di decrittazione quantistica rimane riutilizzabile (ovvero, la distanza di traccia tra lo stato pre-decrittazione e post-decrittazione è trascurabile) anche dopo la decrittazione di qualsiasi cifrato, inclusi quelli costruiti maliziosamente.

3. Costruzioni Chiave e Risultati

3.1 Costruzione di TDF-SKL

Gli autori forniscono due costruzioni basate su diverse assunzioni:

TDF-SKL (senza sampler di dominio):
- Assunzioni: Learning With Errors (LWE) e Hinting Pseudorandom Generators (PRG).
- Metodologia: La costruzione adatta l'approccio di Garg et al. [GHMO21] ma lo modifica per evitare la "tecnica del mirroring" che fallisce nel contesto SKL a causa dell'ordine di sottomissione del certificato e ricezione della sfida. Invece, utilizza lo schema di impegno di Naor e un hinting PRG per ottenere la correttezza "almost-all-keys".
- Meccanismo: La chiave di valutazione include stringhe casuali $r_i$ . L'output $y_i$ è costruito utilizzando un cifrato PKE e l'output di un PRG. L'algoritmo di inversione tenta coerentemente di decriptare due potenziali cifrati basandosi su un controllo che coinvolge il PRG e le stringhe casuali $r_i$ .
TDF-SKL con sampler di dominio:
- Assunzioni: PKE con sicurezza IND-CPA e Hinting PRG.
- Metodologia: Questa variante si basa su PKE-SKL con sicurezza IND-VRA (che può essere costruita da PKE IND-CPA). La costruzione è simile alla prima ma incorpora un sampler di dominio e assicura che l'avversario riceva la chiave di verifica durante la fase di sfida.

3.2 Costruzione di TDF-CP

Assunzioni: Indistinguishability Obfuscation (iO) e LWE.
Metodologia: La costruzione segue il framework modulare proposto da Ananth e Behera [AB24].
1. Puncturable TDFs: Gli autori costruiscono prima TDF punzonabili (sicure contro l'inversione anche con una trapdoor punzonata in due punti) usando iO, PRF punzonabili e OWF iniettive.
2. Unclonable Puncturable Obfuscation (UPO): Utilizzano UPO (costruita da iO e LWE) per ofuscare l'algoritmo di inversione della TDF punzonabile.
3. Composizione: La TDF-CP finale è formata ofuscando l'algoritmo di inversione della TDF punzonabile tramite UPO.

3.3 Applicazioni: Robust PKE-SKL e Robust SDE

La principale applicazione di queste nuove primitive TDF è la costruzione di schemi di cifratura robusti.

Robust PKE-SKL:
- Costruzione: Costruita da TDF-SKL con un sampler di dominio.
- Meccanismo: La cifratura utilizza il teorema di Goldreich-Levin. L'algoritmo di decrittazione esegue un'inversione coerente della TDF-SKL. Se l'input è un'immagine valida, l'inversione ha successo con alta probabilità; se non lo è, restituisce $\perp$ .
- Dimostrazione di Robustezza: Grazie al Gentle Measurement Lemma, se l'esito della misura (successo o fallimento) è quasi deterministico, lo stato post-misura rimane vicino all'originale. Poiché l'inversione della TDF-SKL è quasi sempre corretta per input validi e rifiuta sempre input non validi, la chiave di decrittazione rimane riutilizzabile.
- Sicurezza: Il sistema risultante è IND-VRA sicuro.
Robust SDE:
- Costruzione: Costruita da TDF-CP.
- Meccanismo: Simile alla robust PKE-SKL, utilizzando il teorema di Goldreich-Levin e la TDF-CP inversion.
- Sicurezza: Il sistema risultante è CPA+ anti-piracy sicuro e robusto.

4. Significato e Rivendicazioni

Il documento sostiene di essere il primo a avviare lo studio delle TDF nei contesti di leasing sicuro di chiavi e protezione dalla copia. La sua importanza risiede in:

Espansione Fondamentale: Estende l'utilità delle TDF, un pilastro della crittografia classica, nel regno della crittografia quantistica non clonabile.
Risoluzione della Distruzione della Chiave: Risolve la vulnerabilità della distruzione della chiave negli attuali schemi PKE-SKL e SDE. Gli schemi costruiti sono robusti, il che significa che la chiave di decrittazione quantistica sopravvive alla decrittazione di cifrati arbitrari (potenzialmente maliziosi).
Costruzione Black-Box: Gli autori evidenziano che la loro costruzione di robust PKE-SKL si basa solo sull'uso black-box di primitivi crittografici. Questo contrasta con approcci alternativi che utilizzano prove Non-Interactive Zero-Knowledge (NIZK), che sono intrinsecamente non-black-box.
Più Ampie Istanziazioni: L'approccio consente istanziazioni sotto assunzioni basate su group-action (tramite Hinting PRG e PKE), mentre la robustezza basata su NIZK non è attualmente nota sotto queste assunzioni.
Framework Modulari: Il lavoro dimostra la potenza dei framework modulari (come UPO per la protezione dalla copia) nel costruire complessi primitivi crittografici quantistici da assunzioni standard (iO, LWE).

Gli autori mantengono un tono modesto, osservando che, sebbene forniscano costruzioni basate su assunzioni standard (LWE, iO), il campo della crittografia non clonabile è ancora in evoluzione e il loro lavoro pone le basi per un'ulteriore esplorazione delle TDF in questi contesti quantistici.