💻 computer science

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

Dit paper introduceert Gyokuro, een efficiënt en schaalbaar systeem voor bron-ondersteunde privé-lidmaatschapstests dat Trusted Execution Environments (TEEs) gebruikt om bewijzen te genereren op basis van serverprogressie in plaats van traditionele bewijsvoering, waardoor privacy wordt gewaarborgd en de prestaties onafhankelijk blijven van de databasegrootte.

Oorspronkelijke auteurs: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

Gepubliceerd 2026-03-25

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen, Srdjan Capkun

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Wat is het probleem?

Stel je voor dat je een geheime boodschap hebt (bijvoorbeeld: "Ik heb medicijn X gekocht" of "Ik heb een specifiek certificaat"). Je wilt weten of deze boodschap in een groot openbaar register (een database) staat, zonder dat de beheerder van dat register weet welke boodschap je zoekt.

Dit is lastig. Als je vraagt: "Staat medicijn X in het register?", dan weet de beheerder direct dat je geïnteresseerd bent in medicijn X. Als je dat niet wilt, moet je een slimme manier vinden om te controleren zonder te vragen.

De oplossing: Gyokuro

De onderzoekers van ETH Zurich hebben Gyokuro bedacht. Het is een nieuw systeem dat gebruikt maakt van een veilige kluis (een Trusted Execution Environment of TEE) en een onafhankelijke toezichthouder (een monitor).

Laten we het vergelijken met een postkantoor en een vertrouwde klerk.

1. De acteurs

De Bron (Data Source): De postkantoormedewerker die de brief (data) ontvangt.
De Server: Het grote magazijn waar alle brieven worden opgeslagen.
De Kluis (TEE): Een onbreekbare, betrouwbare klerk die in een glazen, beveiligde cabine werkt. Niemand kan zien wat hij doet, maar iedereen weet dat hij eerlijk werkt.
De Toezichthouder (Monitor): Een onafhankelijke inspecteur die regelmatig het magazijn controleert.
Jij (De Klant): De persoon die wil weten of zijn brief in het magazijn ligt.

2. Hoe werkt het? (Het verhaal)

Stap 1: De Brief wordt ingeleverd (Upload)
Jij geeft je brief aan de postkantoormedewerker. Hij geeft hem door aan de Klerk in de Kluis.

De Klerk schrijft op: "Ik heb brief #100 ontvangen."
Hij geeft je een ontvangstbewijs (een handtekening) met daarop het nummer 100.
De Klerk legt de brief in een stapel. Zodra de stapel vol is, brengt hij de brieven naar het Magazijn (de database).
Daarna telt hij op: "Nu is het nummer 101."

Stap 2: Jij wilt controleren (Testing)
Jij hebt je ontvangstbewijs met nummer 100. Je wilt weten of die brief nu in het magazijn ligt, zonder de naam van de brief te noemen.

Jij vraagt de Klerk: "Wat is je huidige nummer?"
De Klerk zegt: "Ik ben nu bij nummer 150." (Hij geeft je een nieuw handtekeningbewijs).
De slimme truc: Omdat 150 groter is dan 100, weet je zeker dat de Klerk al 50 brieven heeft verwerkt sinds jouw brief. Jouw brief is dus noodzakelijkerwijs al in het magazijn gekomen.
Jij vraagt ook aan de Inspecteur: "Wat is jouw nummer van het magazijn?"
Als de Inspecteur ook zegt: "Ik zie nummer 150", dan weten jullie allebei dat het magazijn eerlijk is en niets heeft verwijderd.

Waarom is dit zo speciaal?

Je hoeft je geheim niet te vertellen:
In oude systemen moest je vaak vragen: "Is brief #100 er?" of "Is brief #200 er?". De server zag dan welk nummer je vroeg. Bij Gyokuro vraag je alleen: "Wat is je huidige tellerstand?". De server weet niet dat je geïnteresseerd bent in brief #100. Het is alsof je vraagt: "Is de bus al vertrokken?" in plaats van "Is mijn vriend in de bus?".
Het is supersnel:
Omdat je niet hoeft te zoeken in een hele berg papier (de database), maar alleen naar een getal kijkt, gaat het razendsnel. De onderzoekers lieten zien dat dit in ongeveer 7 milliseconden gaat. Dat is sneller dan het knipperen van je oog.
Het schaalt eindeloos:
Of het magazijn nu 100 brieven of 10 miljard brieven bevat, het maakt voor jou niet uit. Je kijkt alleen naar de teller. Het systeem werkt dus even goed voor een klein bedrijf als voor het hele internet.

De "Magische" Kluis (TEE)

De hele truc werkt omdat we vertrouwen hebben in de Klerk in de Kluis.

We weten dat hij niet kan liegen over zijn tellerstand (integriteit).
We weten dat niemand zijn notitieblok kan stelen of lezen (privacy).
Zelfs als de eigenaar van het postkantoor (de server) kwaadaardig is, kan hij de Klerk niet dwingen om te liegen, omdat de Klerk in een beveiligde omgeving werkt die door hardware wordt beschermd.

Waarvoor is dit goed?

Dit systeem is perfect voor situaties waar privacy en controle belangrijk zijn:

Medicijnveiligheid: Je kunt controleren of je medicijn legaal is geproduceerd en geregistreerd, zonder dat de farmaceutische fabriek weet dat jij dat specifieke medicijn hebt gekocht.
Certificaten: Je browser kan controleren of een website veilig is, zonder dat de website weet welke sites jij bezoekt.
Nieuws en Deepfakes: Je kunt controleren of een foto echt is en ergens officieel is geregistreerd, zonder dat je hoeft te zeggen welke foto je zoekt.

Samenvatting

Gyokuro is een slimme manier om te zeggen: "Ik weet dat mijn item in het systeem zit, omdat de teller al verder is dan toen ik het inleverde, en de toezichthouder bevestigt dat de teller klopt."

Je hoeft je geheim niet te onthullen, het gaat razendsnel, en het werkt voor gigantische systemen. Het is alsof je zeker weet dat je post is bezorgd, zonder dat de bode hoeft te weten wat er in de envelop zit.

Titel: Gyokuro: Bron-ondersteunde Privé Lidmaatschapstests met behulp van Vertrouwde Executie-omgevingen (TEE's)

Auteurs: Yoshimichi Nakatsuka, Nicolas Dutly, Kari Kostiainen en Srdjan Čapkun (ETH Zürich).

1. Het Probleem: Private Membership Testing (PMT)

Het paper adresseert het probleem van Private Membership Testing (PMT). Dit is een protocol waarbij een client kan verifiëren of een specifiek data-item bestaat in een database, zonder dat de client de identiteit van dat item (de "interesse") onthult aan de database-operator of andere externe partijen.

Hoewel er eerdere oplossingen zijn (zoals Private Information Retrieval - PIR, Private Set Intersection - PSI, en ORAM), blijven deze vaak inefficiënt, schalen ze slecht bij grote databases, of vereisen ze complexe cryptografische mechanismen die de prestaties beïnvloeden.

Het paper focust op een specifieke variant: Source-assisted PMT (SPMT). Hierbij beschikt de client over extra informatie die bij het indienen van het data-item is ontvangen van de bron (de "data source"). Toepassingen hiervoor zijn onder meer:

Certificate Transparency (CT): Controleren of een certificaat in een logboek staat zonder het certificaat zelf te onthullen.
Supply-chain auditing: Controleren of productinformatie (bijv. van een QR-code op medicijnen) correct is opgeslagen in een publiek logboek.

De uitdaging is een systeem te ontwerpen dat efficiënt, schaalbaar en privacy-bewust is, zelfs tegen een kwaadaardige server.

2. Methodologie: De Gyokuro-aanpak

Gyokuro kiest een fundamenteel andere aanpak dan traditionele PMT-systemen. In plaats van dat de server een cryptografisch bewijs levert dat een item bestaat in de database (wat vaak veel data vereist), gebruikt Gyokuro Trusted Execution Environments (TEE's) om te bewijzen dat de server voldoende voortgang heeft gemaakt om het item op te slaan.

Kerncomponenten:

Trusted Execution Environment (TEE): Een beveiligde hardware-omgeving (bijv. AMD SEV, Intel SGX) die code en data isoleert van de host-server. De TEE garandeert integriteit van uitvoering (de code wordt correct uitgevoerd), maar kan geen absolute tijdsbeloftes (timeliness) garanderen tegen een kwaadaardige server die netwerkpakketten kan vertragen.
Monitoren: Externe, eerlijke-but-curious entiteiten die periodiek de volledige database downloaden om consistentie te controleren en te voorkomen dat items stiekem worden verwijderd.
Bron-ondersteunde informatie: De client ontvangt bij het indienen van data een "Proof of Reception" (POR) van de TEE.

Het Protocol:

Het systeem bestaat uit twee hoofdfasen:

Upload Protocol (Data Indienen):
- De data-bron stuurt een item $d$ naar de TEE.
- De TEE ondertekent het item en de huidige tellerwaarde ($cnt$) en stuurt een Proof of Reception (POR) terug.
- De TEE slaat items op in een buffer. Zodra de buffer vol is, worden ze naar de externe database geschreven.
- De TEE verhoogt een monotoon toenemende teller en update een accumulator (bijv. een hash-keten) die de geschiedenis van alle opgeslagen items samenvat.
Testing Protocol (Lidmaatschapstest):
- De client wil controleren of item $d'$ in de database staat. De client heeft de POR van $d'$ .
- De client vraagt de TEE om een Proof of Processing (POP): een handtekening over de huidige tellerwaarde.
- Controle 1 (Voortgang): De client vergelijkt de tellerwaarde in de POR ( $cnt_{POR}$ ) met die in de POP ( $cnt_{POP}$ ). Als $cnt_{POP} > cnt_{POR}$ , weet de client dat de TEE na het ontvangen van $d'$ nog meer items heeft verwerkt, wat impliceert dat $d'$ is verwerkt.
- Controle 2 (Consistentie): De client vraagt de accumulator-waarde op bij zowel de TEE als de Monitor. Als deze overeenkomen, is bewezen dat de database geen items heeft verwijderd en dat de monitor en de TEE hetzelfde beeld hebben.
- Privacy: De client stuurt nooit het data-item $d'$ naar de server of TEE tijdens de test. De query is volledig onafhankelijk van de interesse van de client.

Waarom dit werkt:

Omdat de TEE een monotoon toenemende teller gebruikt en de monitor de database controleert, kan de client concluderen dat als de teller is verhoogd en de acccumulators overeenkomen, het item moet zijn opgeslagen. Dit omzeilt de noodzaak voor complexe cryptografische bewijzen per item.

3. Belangrijkste Bijdragen

Probleemidentificatie: Het paper benadrukt dat SPMT een onderbelichte maar cruciale variant is voor toepassingen zoals CT en supply-chain auditing.
Novel Solution (Gyokuro): Een nieuw TEE-gebaseerd schema dat geen private informatie van de client onthult aan de database-operator, de TEE of derden. Het elimineert de noodzaak voor client-side opslag en database-voorbereiding.
Prestaties: Het systeem bereikt constante communicatie- en computatiekosten, onafhankelijk van de databasegrootte.
Veiligheidsanalyse: Het biedt sterke privacygaranties (zelfs tegen zijkanalen-aanvallen op de TEE, omdat de query niet naar de TEE gaat) en correctheidsgaranties.

4. Resultaten en Evaluatie

De auteurs hebben een proof-of-concept implementatie gebouwd (in Go) met AMD SEV op Azure.

Latentie:
- Upload (Data indienen): Gemiddeld 6,5 ms.
- Membership Testing: Gemiddeld 7 ms (inclusief cryptografische verificaties).
Doorvoer (Throughput):
- Upload: Tot 1021 requests/sec/core.
- Membership Testing: Tot 1432 requests/sec/core.
Schaalbaarheid: De prestaties blijven constant, ongeacht of de database 100 of 1 miljard items bevat. Dit maakt het geschikt voor systemen zoals Certificate Transparency logs met miljarden certificaten.
Vergelijking: In tegenstelling tot ORAM of PIR, die vaak $O(\sqrt{M})$ of $O(M)$ complexiteit hebben, heeft Gyokuro $O(1)$ complexiteit voor zowel communicatie als berekening.

5. Betekenis en Toekomstperspectief

Significantie:
Gyokuro lost het fundamentele compromis op tussen privacy, efficiëntie en schaalbaarheid in PMT. Door de focus te verschuiven van "bewijs van bestaan" naar "bewijs van voortgang" binnen een TEE, wordt het mogelijk om privacysensitieve queries uit te voeren op enorme databases zonder de prestaties te offeren. Dit is een doorbraak voor toepassingen waar privacy en transparantie cruciaal zijn, zoals het controleren van medicijnleveringsketens of het auditeren van digitale certificaten.

Beperkingen:

Het systeem is afhankelijk van TEE's. Als de integriteit van de TEE in de toekomst wordt gebroken, valt het vertrouwen weg.
Het vereist de aanwezigheid van betrouwbare monitoren.

Toekomstig werk:
De auteurs onderzoeken TEE-vrije ontwerpen, het uitbreiden van het systeem voor zoekopdrachten (look-ups) en de integratie in bestaande applicaties zoals webbrowsers voor CT-auditing.

Conclusie:
Gyokuro biedt een praktisch haalbare, hoog-presterende oplossing voor privé lidmaatschapstests, die de weg vrijmaakt voor schaalbare privacy-preserving audit-systemen in de echte wereld.