💻 computer science

Gyokuro: Source-assisted Private Membership Testing using Trusted Execution Environments

Il paper presenta Gyokuro, un protocollo di test di appartenenza privata assistito dalla fonte che utilizza gli Ambienti di Esecuzione Fidati (TEE) per verificare l'inserimento dei dati in un database senza rivelare le informazioni al cliente, garantendo così elevate prestazioni, scalabilità e forti garanzie di privacy.

Autori originali: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

Pubblicato 2026-03-25

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

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

🍵 Cos'è Gyokuro? (Il Tè Verde della Privacy)

Immagina di essere un cliente che vuole verificare se un prodotto (ad esempio, un farmaco o un certificato digitale) è stato registrato correttamente in un enorme archivio pubblico gestito da un'azienda. Il problema è: come fai a chiedere "È qui il mio prodotto?" senza rivelare all'azienda quale prodotto stai cercando?

Se chiedi direttamente, l'azienda capisce subito cosa ti interessa. Se usi metodi complessi per nasconderti, la verifica diventa lentissima e costosa.

Gyokuro è una nuova soluzione intelligente che risolve questo problema usando due "supereroi":

Una Cassa Forte Inteligente (TEEs): Un computer speciale che non può essere manomesso.
Un Ispettore Indipendente (Monitor): Un terzo parte onesto che controlla l'archivio.

🧩 L'Analogia: La Cassa Postale e il Timbro

Immagina la situazione con una metafora quotidiana:

1. Il Problema Vecchio (Senza Gyokuro)

Tu vuoi sapere se la tua lettera è nella cassetta postale dell'ufficio.

Metodo vecchio: Devi andare all'ufficio, dire "C'è la lettera di Mario?", e l'impiegato controlla.
Il difetto: L'impiegato sa che stai cercando la lettera di Mario. Se vuoi controllare la lettera di Luigi, devi dirlo di nuovo. Inoltre, se l'ufficio è enorme, controllare ogni lettera è lentissimo.

2. La Soluzione Gyokuro: Il "Passaporto" e il "Contatore"

Gyokuro cambia le regole del gioco. Non devi dire all'ufficio cosa stai cercando.

Fase A: Quando il prodotto entra (L'Upload)

Quando il produttore invia il tuo farmaco all'archivio, la Cassa Forte Inteligente (il TEE) lo riceve.
La Cassa Forte non lo mette subito nell'archivio gigante (che è lento). Lo mette in una coda temporanea.
Mentre lo tiene in coda, la Cassa Forte ti dà un biglietto speciale (chiamato POR). Su questo biglietto c'è scritto: "Ho ricevuto il tuo oggetto al minuto 10:00, con il timbro numero 50".
Poi, la Cassa Forte prende un gruppo di oggetti, li mette nell'archivio e aggiorna un contatore (es. da 50 a 51).

Fase B: Quando tu vuoi verificare (Il Test)

Tu hai il tuo biglietto (il POR) che dice "Minuto 10:00, numero 50".
Vuoi sapere se il tuo oggetto è nell'archivio finale? Non chiedi all'archivio "C'è il mio oggetto?".
Chiedi alla Cassa Forte: "Qual è il numero del contatore adesso?".
La Cassa Forte ti risponde: "Ora siamo al minuto 10:05, numero 100".
Il trucco magico: Tu confronti i numeri. Se il numero attuale (100) è più alto di quello sul tuo biglietto (50), significa che il tempo è passato e la Cassa Forte ha avuto il tempo di mettere il tuo oggetto nell'archivio! Non hai mai detto alla Cassa Forte cosa stavi cercando, solo quando l'hai ricevuto.

Fase C: La verifica finale (Il Monitor)

Per essere sicuri che la Cassa Forte non stia mentendo o che qualcuno non abbia rimosso oggetti dall'archivio, c'è l'Ispettore Indipendente.
L'Ispettore scarica periodicamente tutto l'archivio e controlla che corrisponda a quello che la Cassa Forte ha detto.
Se il tuo "biglietto" e il "contatore" della Cassa Forte coincidono con la lista dell'Ispettore, sei sicuro al 100% che il tuo oggetto è lì, senza aver mai rivelato cosa fosse.

🚀 Perché è così geniale?

Privacy Totale: L'azienda che gestisce l'archivio non sa mai cosa stai cercando. Tu non gli invii mai il nome del tuo farmaco o del tuo certificato. Invii solo un numero di contatore. È come chiedere "C'è stato un aggiornamento dal minuto 50 al 100?" senza dire quale evento specifico ti interessa.
Velocità Lampo: Non devi scansionare milioni di documenti. Basta confrontare due numeri. Il sistema è così veloce che ci mette 7 millisecondi (meno di un battito di ciglia) per rispondere.
Scalabilità: Funziona anche se l'archivio ha un miliardo di oggetti. La velocità non cambia perché non devi "guardare" gli oggetti, solo contare.

🛡️ Chi protegge Gyokuro?

Contro i ladri: Se un hacker prova a rubare i dati o a cancellare il tuo oggetto dall'archivio, l'Ispettore se ne accorge subito perché i numeri non tornano.
Contro la spia: Anche se l'azienda che gestisce l'archivio è cattiva, non può sapere cosa stai controllando perché tu non glielo dici.

🌍 A cosa serve nella vita reale?

Certificati di Sicurezza: I browser potrebbero controllare se un sito web ha un certificato valido senza rivelare quale sito stai visitando.
Farmaci: Potresti scansionare un QR code sulla scatola di un farmaco e verificare che sia stato registrato correttamente nella catena di fornitura, senza che il produttore sappia quale farmaco hai comprato.
Documenti Pubblici: I cittadini potrebbero verificare che un documento governativo sia stato pubblicato senza rivelare quale documento stanno controllando.

In sintesi

Gyokuro è come avere un sistema di verifica che ti permette di dire: "So che il mio oggetto è stato messo in fila e che la fila è cresciuta abbastanza da includerlo, senza dover mai mostrare l'oggetto a nessuno". È veloce, sicuro e mantiene i tuoi segreti al sicuro.

1. Il Problema: Private Membership Testing (PMT) Assistito dalla Sorgente

Il paper affronta il problema della Private Membership Testing (PMT), ovvero la capacità di un client di verificare se un determinato elemento di dati è presente in un database senza rivelare all'operatore del database (o ad altre parti esterne) quale sia l'elemento specifico che sta cercando.

In particolare, gli autori si concentrano su una variante chiamata Source-assisted PMT (SPMT). In questo scenario, il client possiede non solo l'elemento da verificare, ma anche informazioni ausiliarie fornite dalla sorgente dei dati al momento della sottomissione (es. un codice QR su un farmaco o un timestamp firmato in un registro di trasparenza dei certificati).
Le applicazioni tipiche includono:

Audit dei log di Certificate Transparency (CT).
Audit della catena di approvvigionamento (supply-chain).
Verifica della provenienza dei dati.

Sfide attuali:

Le soluzioni esistenti (basate su PIR, PSI, ORAM, crittografia omomorfica) spesso soffrono di alti costi computazionali, scarsa scalabilità o richiedono che il client scarichi grandi porzioni di dati.
Le soluzioni basate su Trusted Execution Environments (TEE) tradizionali richiedono che il server generi una prova di inclusione immediata, il che è inefficiente per database su larga scala e vulnerabile ad attacchi side-channel se il client invia la query all'interno del TEE.
Garantire l'integrità dell'esecuzione e la tempestività (timeliness) in un ambiente con server malevoli è difficile: un server può ritardare l'elaborazione o nascondere dati.

2. Metodologia: L'Approccio di Gyokuro

Gyokuro propone un approccio innovativo che evita di chiedere al server di provare che un elemento esiste nel database. Invece, utilizza i Trusted Execution Environments (TEE) per provare che il server ha fatto progressi sufficienti nell'elaborazione per includere l'elemento.

Il sistema si basa su due protocolli principali e l'interazione di cinque entità: Sorgente Dati, Client, Server (con TEE), Database e Monitor (terza parte onesta ma curiosa).

Meccanismo Chiave: Contatori Monotoni e Accumulatori

Upload Protocol (Sottomissione):
- La sorgente invia un dato $d$ al TEE.
- Il TEE firma il dato insieme al valore corrente di un contatore monotono ( $cnt_{POR}$ ), generando una "Proof Of Reception" (POR).
- Il TEE accumula i dati in un buffer. Quando il buffer è pieno, invia i dati al database esterno, aggiorna un accumulatore (es. una catena di hash) con i dati e incrementa il contatore.
Testing Protocol (Verifica):
- Il client possiede un dato $d'$ e la sua POR.
- Il client richiede al TEE una "Proof Of Processing" (POP), che è una firma sul valore attuale del contatore ( $cnt_{POP}$ ).
- Il client verifica che $cnt_{POP} > cnt_{POR}$ . Se vero, ciò implica che il TEE ha elaborato e inviato al database almeno tutti i dati inclusi nella POR.
- Verifica di Coerenza: Il client chiede l'accumulatore (es. la radice della catena di hash) sia al TEE che al Monitor. Se i valori coincidono, il client è certo che il database non ha rimosso dati e che $d'$ è presente.

Vantaggi dell'Approccio

Privacy Assoluta: Il client non invia mai il dato $d'$ o sue derivate al server o al TEE durante la fase di test. La query è indipendente dall'interesse del client. Questo elimina il rischio di attacchi side-channel basati sull'accesso ai dati nel TEE.
Indipendenza dalle Dimensioni: La comunicazione e il calcolo richiesti sono costanti ( $O(1)$ ) e non dipendono dalla dimensione del database.
Gestione del Tempo: Invece di garantire che i dati siano stati scritti immediatamente (impossibile in ambienti ostili), il sistema garantisce che il TEE abbia fatto progressi sufficienti (contatore incrementato) e che il Monitor confermi la coerenza dello stato.

3. Contributi Chiave

Identificazione del Problema SPMT: Gli autori evidenziano che l'SPMT, sebbene cruciale per applicazioni reali come CT e supply-chain, non è stato ampiamente studiato in modo efficiente.
Soluzione Gyokuro: Un nuovo schema basato su TEE che non richiede la divulgazione di informazioni private al database, al TEE o a terze parti durante la verifica.
Analisi di Sicurezza: Il sistema garantisce la correttezza della verifica e una forte protezione della privacy del client, anche in presenza di server malevoli.
Implementazione Open Source: Il codice è stato rilasciato e testato in un ambiente cloud reale.

4. Risultati Sperimentali

Gli autori hanno implementato Gyokuro utilizzando AMD SEV (Secure Encrypted Virtualization) su Azure e hanno valutato le prestazioni su un database contenente 3,3 milioni di certificati.

Latenza:
- Sottomissione Dati (Upload): Circa 6,5 ms.
- Test di Membria (Membership Testing): Circa 7 ms.
- La latenza è costante e indipendente dalla dimensione del database.
Throughput:
- Upload: Fino a 1021 richieste/sec/core.
- Test di Membria: Circa 1432 richieste/sec/core.
Scalabilità: Il sistema gestisce migliaia di client concorrenti senza degradazione delle prestazioni, rendendolo adatto a scenari come i log di Certificate Transparency che gestiscono milioni di certificati al giorno.

5. Significato e Implicazioni

Gyokuro rappresenta un passo avanti significativo nella privacy dei database distribuiti:

Superamento dei limiti delle TEE tradizionali: Dimostra che è possibile utilizzare i TEE per la privacy senza dover inviare query sensibili all'interno dell'ambiente sicuro, mitigando così i rischi di attacchi side-channel che hanno minacciato soluzioni precedenti.
Efficienza Pratica: Rende fattibile l'audit privato su larga scala, un compito che le soluzioni puramente crittografiche (come ORAM o PIR) rendono spesso proibitivo a causa dei costi computazionali.
Applicabilità Reale: Il sistema è progettato per integrarsi in ecosistemi esistenti (come i monitor CT o le autorità di regolamentazione della supply-chain) senza richiedere cambiamenti radicali all'infrastruttura di base, sfruttando la fiducia nell'integrità dell'esecuzione del TEE e la verifica esterna dei Monitor.

In sintesi, Gyokuro offre un compromesso ottimale tra privacy, efficienza e scalabilità, risolvendo il problema della verifica di appartenenza ai dati in modo che il client non debba mai rivelare cosa sta cercando, nemmeno al sistema che esegue la verifica.