💻 computer science

Oblivis: A Framework for Delegated and Efficient Oblivious Transfer

Il paper presenta Oblivis, un framework modulare per l'Oblivious Transfer che abilita query delegate e privacy-preserving per client leggeri, offrendo protocolli efficienti come Supersonic OT che dimostrano significativi miglioramenti nelle prestazioni anche su hardware vincolato.

Autori originali: Aydin Abadi, Yvo Desmedt

Pubblicato 2026-03-17

📖 5 min di lettura🧠 Approfondimento

CC BY 4.0

Autori originali: Aydin Abadi, Yvo Desmedt

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

Immagina di essere in una biblioteca enorme e affollata (il Cloud) dove vuoi prendere un libro specifico senza che nessuno sappia quale libro hai scelto. Non vuoi che il bibliotecario (il Database) lo sappia, e non vuoi nemmeno che la persona che ti accompagna alla scrivania (il Proxy o intermediario, come un consulente finanziario o un'app di viaggio) lo sappia.

Inoltre, sei un "cliente leggero": hai uno smartphone vecchio o un dispositivo piccolo che non ha la forza di calcolare cose complicate da solo.

Questo è il problema che risolve Oblivis, un nuovo sistema presentato in questo articolo. Ecco come funziona, spiegato con parole semplici e analogie.

1. Il Problema: "Non posso chiedere da solo"

Di solito, per prendere un dato privato, devi parlare direttamente con il database. Ma spesso non puoi farlo:

Delegazione: Un consulente finanziario fa le ricerche per te. Se il consulente vede cosa cerchi, potrebbe rubare le tue idee o i tuoi segreti.
Database Misti: Immagina che British Airways, la BBC e un ospedale condividano lo stesso server cloud. Se chiedi il tuo record, il server potrebbe capire quanto è grande il database totale o chi sono gli altri clienti, rivelando informazioni sensibili.
Dispositivi Deboli: Il tuo telefono non ha la potenza per fare calcoli crittografici pesanti.

I vecchi sistemi di protezione (chiamati Oblivious Transfer o OT) non funzionavano bene in questi casi perché richiedevano che tu facesse tutto il lavoro pesante e che parlassi direttamente con il database.

2. La Soluzione: Il "Trucco del Segreto Diviso" (DQ-OT)

Oblivis introduce un modo geniale per delegare il lavoro senza perdere la privacy.

L'Analogia del Codice a Due Chiavi:
Immagina che il tuo segreto (il numero del libro che vuoi) sia un codice a due cifre. Invece di dare il codice intero al consulente, lo spezzi in due metà:

Dai la prima metà al Consulente A.
Dai la seconda metà al Consulente B.

Nessuno dei due consulenti sa quale libro vuoi, perché hanno solo metà del codice. Tuttavia, lavorano insieme in sequenza:

Il Consulente A fa un calcolo con la sua metà e passa il risultato al Consulente B.
Il Consulente B fa un calcolo con la sua metà e il risultato che ha ricevuto, e invia la richiesta finale al Database.

Il Database vede una richiesta normale e ti risponde. Ma i due consulenti, guardando solo i loro pezzi di carta, non possono ricostruire il tuo segreto. È come se avessi chiesto il libro senza dire a nessuno quale fosse, nemmeno a chi ti ha aiutato a scriverlo.

3. Il "Filtro Magico" (Per i Database Misti)

Cosa succede se il database contiene i dati di mille aziende diverse? Il server non deve sapere quale azienda stai cercando.

Oblivis usa un filtro invisibile.

Il server prepara una risposta per tutte le aziende contemporaneamente (un pacco gigante).
Un intermediario (il Proxy) ha una "chiave magica" che gli dice quale pacco è il tuo.
Il Proxy apre il pacco gigante, prende solo il tuo piccolo pacchetto e ti lo consegna, buttando via tutto il resto.
Tu ricevi solo il tuo dato, ma il server non sa quale pacco hai preso, e il Proxy non sa cosa c'è dentro il tuo pacco.

4. Il "Supersonico" (Per chi è di fretta e ha poco potere)

La parte più veloce e sorprendente del sistema si chiama Supersonic OT. È progettata per dispositivi piccoli (come un Raspberry Pi o un vecchio telefono).

L'Analogia della Scatola di Regalo:
Invece di usare calcoli matematici complessi e lenti (come i vecchi sistemi), Supersonic usa un trucco semplice ma efficace:

Il server mette i due possibili messaggi in due scatole e le chiude con lucchetti casuali.
Mescola le scatole (le scambia di posto) in modo casuale.
Ti consegna solo una delle due scatole.
Tu hai la chiave per aprire quella specifica scatola e leggere il messaggio.

È così veloce che su un computer moderno ci vuole meno di un millisecondo (0,53 ms), e funziona anche su un piccolo computer da cucina (Raspberry Pi) in appena 1,36 ms. È 92 volte più veloce dei sistemi precedenti. Inoltre, è sicuro anche contro i computer quantistici del futuro perché non si basa su matematica complessa, ma su principi fisici semplici (come il lancio di una moneta).

5. La Risposta "Tascabile" (Compiler)

Spesso, quando chiedi un dato, il server ti manda un pacco enorme con tutto il database criptato, e tu devi scaricare tutto per trovare la tua parte. Questo è impossibile per chi ha poca memoria.

Oblivis ha un "traduttore" (un compilatore) che comprime la risposta.

Invece di dirti: "Ecco 1 milione di libri, cerca tu il tuo", il sistema ti dice: "Ecco il tuo libro, punto".
La dimensione della risposta è sempre piccola e costante, indipendentemente da quanto è grande il database.

In Sintesi

Oblivis è come un servizio di consegna segreto di lusso:

Delega il lavoro: Il tuo assistente fa la fatica, ma non sa cosa stai comprando.
Protegge la privacy: Nemmeno il magazzino sa chi ha preso cosa.
È velocissimo: Funziona anche sui dispositivi più lenti.
È sicuro per sempre: Non usa trucchi matematici che i computer del futuro potrebbero rompere.

È un passo avanti fondamentale per rendere la privacy reale nel mondo moderno, dove viviamo sempre più attraverso intermediari e dispositivi piccoli.

1. Il Problema

Con la migrazione dei database verso piattaforme cloud e dispositivi edge, i client "leggeri" (thin clients) devono spesso recuperare record sensibili senza rivelare la loro intenzione di query o i metadati ai proxy che mediano l'accesso.
Le limitazioni delle attuali soluzioni di Trasferimento Obliquo (Oblivious Transfer - OT) includono:

Mancanza di delega: Gli schemi OT classici richiedono che il ricevitore calcoli localmente l'indice della query e interagisca direttamente con il database, il che è incompatibile con scenari dove il client è troppo debole o dove un intermediario (es. un consulente finanziario) deve agire per conto del cliente.
Privacy nei database multi-tenant: Nei cloud dove i dati di diverse organizzazioni sono fusi, le query dirette possono rivelare metadati sensibili (es. la dimensione totale del database o i pattern di accesso).
Query nascoste: In alcuni scenari (es. raccomandazioni di investimento o diagnosi mediche), il ricevitore potrebbe non conoscere l'indice esatto della query, che è determinato da policy interne o terze parti.
Efficienza e archiviazione locale: Le soluzioni OT che offrono risposte a dimensione costante richiedono solitamente che il client memorizzi localmente l'intero database cifrato, il che è impossibile per dispositivi con risorse limitate.
Dipendenze da assunzioni computazionali: Molti OT information-theoretic (sicuri anche contro computer quantistici) richiedono canali rumorosi, più mittenti o un'inizializzazione fidata, rendendoli poco pratici.

2. Metodologia e Architettura

Gli autori propongono Oblivis, un framework modulare di nuovi protocolli OT progettati per l'esecuzione di query delegata e privata. Il framework si divide in due famiglie: orientata all'ambiente (setting-oriented) e orientata alle prestazioni.

Componenti Chiave del Framework:

Delegated-Query OT (DQ-OT): Permette a un ricevitore di delegare la generazione della query a due server proxy ( $P_1, P_2$ ). Il ricevitore divide il suo indice segreto in due share (tramite secret sharing) e le invia ai proxy. I proxy calcolano sequenzialmente le parti della query e le ordinano in modo che la coppia finale inviata al mittente sia strutturalmente identica a quella di un OT classico (Naor-Pinkas), senza che nessuno dei proxy conosca l'indice completo.
Delegated-Unknown-Query OT (DUQ-OT): Estensione di DQ-OT in cui l'indice della query è noto a un terzo partito ( $T$ ) ma non al ricevitore ( $R$ ). Il mittente applica una struttura pubblica ai messaggi e un valore casuale ( $r_3$ ) per permettere a $R$ di identificare il messaggio corretto dopo la decrittazione, senza sapere quale indice ha selezionato.
Delegated-Query Multi-Receiver OT (DQMR-OT): Adatto a database cloud fusi contenenti $z$ coppie di messaggi. Permette a un ricevitore di interrogare la propria coppia specifica senza rivelare al mittente quale coppia sta interrogando e senza rivelare al ricevitore la dimensione totale del database ( $z$ ).
Delegated-Unknown-Query Multi-Receiver OT (DUQMR-OT): Combina le funzionalità di query nascosta e multi-ricevitore, utilizzando crittografia omomorfa additiva per filtrare i risultati in modo obliquo.
Compilatore per Risposte a Dimensione Costante: Un compilatore generico che trasforma qualsiasi OT 1-su- $n$ in un protocollo con complessità di download $O(1)$ per il ricevitore, eliminando la necessità di scaricare l'intero database cifrato.
Supersonic OT: Un protocollo OT 1-su-2 basato su proxy, information-theoretic (sicuro incondizionatamente), che non richiede assunzioni di durezza computazionale (come CDH o DL), canali rumorosi o setup fidato. Utilizza un meccanismo di scambio controllato (controlled-swap) e cifratura one-time pad per ottenere risposte a dimensione costante e velocità estrema.

3. Contributi Principali

Nuovi Primitivi OT Delegati: Introduzione di DQ-OT e varianti che risolvono il problema della delega sicura della generazione della query, permettendo ai client leggeri di scaricare il carico computazionale sui proxy.
Privacy nei Database Fusi: Soluzioni per query multi-ricevitore che proteggono sia la privacy del ricevitore (non rivela quale record cerca) sia quella del mittente (non rivela la dimensione totale del database o i record di altri utenti).
Efficienza senza Archiviazione Massiva: Il compilatore permette risposte a dimensione costante senza richiedere al client di memorizzare l'intero database.
Supersonic OT: Un protocollo OT 1-su-2 ad altissima velocità e sicurezza information-theoretic. È il primo protocollo di questo tipo che non richiede più mittenti, canali rumorosi o un inizializzatore fidato, rendendolo pratico per ambienti reali.
Dimostrazioni Formali: Tutti i protocolli sono definiti e provati sicuri nel paradigma basato sulla simulazione (simulation-based paradigm) contro avversari semi-onesti che non colludono.

4. Risultati Sperimentali

Gli autori hanno implementato Supersonic OT in C++ e valutato le prestazioni su un MacBook Pro (M3 Pro) e un Raspberry Pi 4.

Velocità:
- Su MacBook: 0.53 ms per trasferimento.
- Su Raspberry Pi 4: 1.36 ms per trasferimento (completamento end-to-end).
Confronto con lo Stato dell'Arte:
- 92× più veloce rispetto all'OT base efficiente "Simplest OT" [18].
- 2.6× – 106× più veloce rispetto all'estensione OT standard (IKNP) [41] per un numero di invocazioni compreso tra 200 e 100.000.
- Supersonic OT mantiene prestazioni superiori rispetto alle estensioni OT fino a circa 500.000 invocazioni, oltre le quali le estensioni potrebbero diventare competitive a causa dei costi marginali quasi costanti.
Scalabilità: Il protocollo scala linearmente e rimane efficiente anche su hardware vincolato (Raspberry Pi), completando 1.000 invocazioni in soli 3.26 ms.

5. Significato e Impatto

Oblivis colma un divario critico nella privacy dei dati per l'era del cloud computing e dei dispositivi IoT:

Abilitazione di Client Leggeri: Permette a dispositivi con risorse limitate di accedere a dati sensibili in modo sicuro senza dover eseguire calcoli crittografici pesanti o memorizzare grandi dataset.
Sicurezza Post-Quantistica: Supersonic OT offre sicurezza information-theoretic, rendendolo resistente agli attacchi dei futuri computer quantistici, a differenza di molti OT basati su assunzioni computazionali.
Fiducia Ridotta: Elimina la necessità di un inizializzatore fidato o di canali fisici speciali, rendendo la tecnologia deployabile in infrastrutture cloud standard.
Applicazioni Pratiche: Il framework è immediatamente applicabile in settori come la finanza (consulenza delegata), la sanità (accesso a diagnosi protette) e i servizi SaaS multi-tenant, dove la privacy dei metadati e la delega delle operazioni sono cruciali.

In sintesi, Oblivis rappresenta un passo avanti significativo verso l'implementazione pratica di protocolli di privacy avanzati in scenari reali complessi, combinando sicurezza teorica rigorosa con efficienza pratica senza precedenti.