⚛️ quantum physics

Quantum Multi-Party Threshold Private Set Intersection with Explicit Cardinality Testing

Dit artikel stelt een kwantummulti-party drempelwaarde private set intersection-protocol voor met expliciete cardinaliteitstests, dat gebruikmaakt van een rotatiegebaseerde single-photon constructie en cryptografische primitieven om een derde partij in staat te stellen metingen uit te voeren zonder de resultaten te interpreteren, terwijl uitsluitend veilig wordt onthuld of de intersectiegrootte aan een drempelwaarde voldoet.

Oorspronkelijke auteurs: Zixian Gong, Kun Tian, Yi Zhang, Fengxia Liu

Gepubliceerd 2026-06-29

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Zixian Gong, Kun Tian, Yi Zhang, Fengxia Liu

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

Stel je een groep vrienden voor die elk een geheime lijst met favoriete films hebben. Ze willen weten: "Zijn we het allemaal eens over minstens drie films?"

Als het antwoord ja is, willen ze de lijst met die drie films zien.
Als het antwoord nee is, willen ze niets weten — zelfs niet hoeveel films ze eigenlijk gemeen hadden.

Dit is het probleem van Threshold Private Set Intersection (TPSI). Het artikel stelt een nieuwe manier voor om dit op te lossen met behulp van kwantummechanica (specifiek enkelvoudige fotonen van licht) en slimme wiskunde, waarbij wordt gegarandeerd dat zelfs de persoon die het experiment uitvoert niet kan valsspelen of een inkijkje in de geheimen kan krijgen.

Hier is hoe de oplossing uit het artikel werkt, onderverdeeld in eenvoudige concepten:

1. Het probleem met oude methoden

In eerdere kwantumpogingen vertrouwde de groep op een "Scheidsrechter" (een zogenaamde Derde Partij of TP) om de overeenkomsten te tellen.

Het gebrek: De Scheidsrechter telde de overeenkomsten, vergeleek dat aantal met de drempelwaarde (bijv. "Is het 3?") en besloot vervolgens wat hij aan de groep zou vertellen.
Het risico: Dit betekende dat de Scheidsrechter het exacte aantal overeenkomsten zag. Als de groep slechts 2 overeenkomsten had, wist de Scheidsrechter dat. Maar de groep wilde alleen weten of ze genoeg hadden (3 of meer), niet het exacte aantal. Het is alsof je een rechter vraagt: "Is de verdachte schuldig?", maar de rechter moet eerst een volledige biografie van het misdrijf schrijven voordat hij kan antwoorden.

2. De nieuwe oplossing: De "Geblinddoekte Scheidsrechter"

De auteurs creëerden een protocol waarbij de Scheidsrechter de metingen uitvoert, maar geblinddoekt is wat de betekenis van de resultaten betreft.

De Opzet: De Geheime Code

Voordat het experiment begint, spreken de vrienden (de deelnemers) onderling een geheime code af. Ze mengen ook hun echte filmlijsten met enkele "decoy" (afleidings-) neplijsten (ankers) waar de Scheidsrechter niets van weet.

De Verbergingssleutel: Ze husselen de posities van hun films met behulp van een geheime sleutel. Voor de Scheidsrechter zien de lijsten eruit als willekeurige ruis.
De Flip: Ze spreken een geheime "flip" af (zoals een geheime handdruk) die de betekenis van de resultaten verandert. Als een lichtje "Aan" staat, kan het in werkelijkheid "Uit" betekenen, afhankelijk van deze geheime flip.

De Kwantumdans (De Rotatie)

Het experiment gebruikt fotonen (lichtdeeltjes) als boodschappers.

De Scheidsrechter bereidt een lijn van fotonen voor en stuurt ze naar de eerste vriend.
Vriend 1 kijkt naar zijn geheime lijst. Als hij een specifieke film op een bepaalde plek heeft, geeft hij het foton een kleine "spin" (een rotatie). Als hij die niet heeft, laat hij het ongemoeid. Hij voegt ook een geheime "masker"-rotatie toe die alleen hij en de Scheidsrechter kennen.
De Keten: De fotonen reizen naar Vriend 2, dan naar Vriend 3, enzovoort. Elke vriend voegt zijn eigen spin toe op basis van zijn geheime lijst.
De Terugkeer: De fotonen keren terug naar de Scheidsrechter.

De Magie van "Verborgen Labels"

Wanneer de fotonen terugkeren, verwijdert de Scheidsrechter zijn eigen maskers en meet het licht.

Het Resultaat: De Scheidsrechter ziet een patroon van "Hetzelfde" of "Tegenovergesteld" licht.
De Catch: Omdat van de geheime "flip" die de vrienden hebben afgesproken, kan de Scheidsrechter niet begrijpen wat het patroon betekent. Een "Hetzelfde"-resultaat kan "Match" of "Geen Match" betekenen, afhankelijk van een geheime bit die alleen de vrienden kennen. De Scheidsrechter heeft de data, maar het lijkt voor hem op wartaal.

3. De Laatste Controle: De "Blinde Stem"

Nu moeten de vrienden en de Scheidsrechter beslissen: "Hebben we de drempelwaarde bereikt?" zonder dat de Scheidsrechter het exacte aantal leert.

De Wiskundige Truc (OLE): Ze gebruiken een cryptografisch hulpmiddel genaamd Oblivious Linear Evaluation. Denk aan dit als een beveiligde rekenmachine waar de Scheidsrechter zijn "wartaal"-getallen in stopt en de vrienden hun "geheime sleutels".
Het Garbled Circuit: Ze draaien een klein, vergrendeld computerprogramma (een garbled circuit). Dit programma telt de getallen intern op.
De Output: Het programma geeft slechts één bit uit: 1 (Ja, we hebben genoeg overeenkomsten) of 0 (Nee, we hebben niet genoeg).
- Als het antwoord 1 is, onthullen de vrienden de geheime sleutel om het "wartaal"-patroon van de Scheidsrechter te decoderen, en zien ze de overeenkomstige films.
- Als het antwoord 0 is, gooien ze alles weg. De Scheidsrechter leert nooit het exacte aantal overeenkomsten, alleen dat het niet hoog genoeg was.

4. Waarom dit Veilig is (Security)

Het artikel bewijst drie belangrijke veiligheidspunten:

Geen Afluisteraars: Als een spion probeert de fotonen te onderscheppen, zullen de "decoy"-lichten (die de spion niet kent) veranderen, wat iedereen waarschuwt dat de lijn is afgeluisterd.
De Scheidsrechter is Eerlijk maar Nieuwsgierig: Zelfs als de Scheidsrechter probeert te bedriegen of geavanceerde kwantumtrucs gebruikt om de geheimen te raden, zorgt de wiskunde ervoor dat hij de echte matches niet van de ruis kan onderscheiden. Hij is werkelijk blind voor de betekenis van de data.
Vrienden Kunnen Elkaar Niet Bedriegen: Zelfs als twee vrienden samenwerken om de derde te bespioneren, kunnen ze de lijst van de derde vriend niet achterhalen vanwege de geheime maskers en de manier waarop de fotonen worden geroteerd.

5. Het "Toy Model" Bewijs

Om aan te tonen dat dit daadwerkelijk werkt, bouwden de auteurs een kleine simulatie met de IBM quantum computer simulator (Qiskit).

Ze simuleerden 3 vrienden met kleine lijsten.
Ze voegden "ruis" toe (om imperfecties in de echte wereld te simuleren).
Het Resultaat: Het systeem identificeerde correct dat de vrienden 2 films gemeen hadden (wat onder hun drempelwaarde van 3 lag). Het systeem zei "Nee", en de vrienden leerden niets.
Ze lieten vervolgens zien dat als ze 3 matches hadden, het systeem correct "Ja" zou zeggen en de lijst zou onthullen.

Samenvatting

Dit artikel introduceert een Quantum Multi-Party Threshold PSI protocol.

Doel: Een gedeeld geheim onthullen, maar alleen als de groep groot genoeg is.
Innovatie: Het scheidt de handeling van het meten (gedaan door een Scheidsrechter) van de handeling van het interpreteren (gedaan door de groep).
Mechanisme: Het gebruikt roterende fotonen en geheime "flips" om "verborgen labels" te creëren die de Scheidsrechter niet kan lezen, wat garandeert dat het exacte aantal overeenkomsten privé blijft.
Resultaat: De groep leert alleen een simpel "Ja/Nee" over de drempelwaarde, en alleen als het "Ja" is, zien ze de werkelijke items.

Technische Samenvatting: Kwantum Multi-Party Threshold Private Set Intersection met Expliciete Cardinaliteitstesten

Probleemstelling
Private Set Intersection (PSI) stelt partijen in staat om de intersectie van hun private verzamelingen te berekenen zonder de niet-intersecterende elementen te onthullen. Threshold PSI (TPSI) breidt dit uit door de intersectie alleen te onthullen als de cardinaliteit een publieke drempelwaarde $\tau$ bereikt of overschrijdt. Hoewel er klassieke TPSI-protocollen bestaan, vertrouwen bestaande kwantum-TPSI-protocollen (bijv. [MSD+24, LZY+26, WLS+26]) doorgaans op een Derde Partij (TP) om de uiteindelijke metingen uit te voeren en de resultaten te interpreteren. In deze schema's herstelt de TP de exacte intersectie-cardinaliteit en vergelijkt deze vervolgens met $\tau$ . Deze aanpak wijkt af van het ideale TPSI-paradigma, omdat het de exacte cardinaliteitsstatistiek aan de TP onthult in plaats van enkel de een-bit predicaat $\mathbb{1}[|\bigcap X_i| \ge \tau]$ . Dit creëert een mismatch in functionaliteit en een concentratie van autoriteit waarbij de TP zowel een kwantumbron als een semantische interpreet van de private data fungeert.

Methodologie
De auteurs stellen een Multi-Party Quantum TPSI (MP-QTPSI) protocol voor dat de rol van meting scheidt van de rol van semantische interpretatie. Het protocol omvat $n$ deelnemers ( $P_1, \dots, P_n$ ) en een semi-honest TP.

Kwantumfase (Hidden-Label Constructie):
- Setup: Deelnemers stellen een master key vast via een TP-vrije Quantum Conference Key Agreement (QCKA) om een positie-verborgen sleutel $k$ , een verborgen label-flip vector $\mathbf{b}$ en rotatie-shares $\Delta_i$ af te leiden. De TP en elke deelnemer stellen paarwijze sleutels op voor rotatie-masks $T_i$ .
- Codering: Deelnemers vergroten hun verzamelingen met positieve anker-sets en passen een positie-verborgen kaart $x \mapsto kx \mod M$ toe. Ze coderen hun verzamelingen in indicator-vectoren $Y_i$ .
- Interactie: De TP bereidt single-photon sequenties voor en past een initiële blinding-rotatie toe. De sequenties passeren de deelnemers sequentieel. Elke deelnemer $P_i$ past een rotatie toe op basis van hun data ($0$ of $\pi/n$ ), hun paarwijze mask $T_i$ en hun rotatie-share $\Delta_i$ .
- Meting: De TP verwijdert de bekende masks en meet de sequenties. Door de gecorreleerde geaggregeerde rotaties zijn de meetresultaten deterministisch voor posities waar alle deelnemers het element bezitten (intersectie) of niemand het bezit (niet-intersectie), maar de semantische betekenis van deze uitkomsten (welk label overeenkomt met "intersectie") wordt geblindeerd door de verborgen flip vector $\mathbf{b}$ . De TP verkrijgt hidden-label indicator-vectoren $z_S$ (gelijk) en $z_O$ (tegenovergesteld), maar kan deze zonder informatie van de deelnemerszijde niet interpreteren.
Klassieke Fase (Cardinaliteitstesten):
- Gemaskeerde Consistentietest: Het protocol zet de verborgen metingen om in een gemaskeerde label-consistentietest. Deelnemers houden referentie-labels $\rho$ en selector-masks voor echte en anker-domeinen aan.
- Oblivious Linear Evaluation (OLE): De TP en deelnemers gebruiken OLE-gebaseerde Oblivious Inner Product (OIP) om additieve shares van de consistentie-aantallen (inconsistenties $d_{\mathcal{R}}$ en $d_{\mathcal{A}}$ ) te berekenen zonder de vectoren aan elkaar te onthullen.
- Drempelbeslissing: Een lichtgewicht garbled circuit evalueert de predicaat $\text{flag} = 1 \iff (d_{\mathcal{A}} = 0) \land (d_{\mathcal{R}} \le |\mathcal{R}| - \tau)$ . Dit geeft enkel het boolean resultaat terug, waardoor de exacte cardinaliteit nooit aan de TP wordt onthuld.
- Reconstructie: Als $\text{flag}=1$ , broadcast de TP de verborgen vectoren, en gebruiken de deelnemers hun referentie-labels en de inverse sleutel $k^{-1}$ om de intersectie te reconstrueren.

Belangrijkste Bijdragen

Expliciete Cardinaliteitstesten: Het protocol is de eerste kwantum-TPSI die strikt voldoet aan het cardinaliteitstesten-paradigma, waarbij enkel de drempelpredicaat $\mathbb{1}[|\bigcap X_i| \ge \tau]$ wordt uitgevoerd zonder de exacte cardinaliteit aan de TP te onthullen.
Hidden-Label Kwantumontwerp: Door gebruik te maken van deelnemer-zijde gecorreleerde geaggregeerde rotaties en een verborgen flip vector, zorgt het protocol ervoor dat de meetresultaten van de TP semantisch geblindeerd zijn. De TP fungeert enkel als een partij voor metingen en is niet in staat om uitkomsten te mappen aan specifieke set-elementen of cardinaliteit.
Beveiliging tegen Collusie en TP: Het protocol bewijst veiligheid tegen externe afluisteraars (via decoy fotonen), de semi-honest TP (die noch de sets, noch de cardinaliteit leert) en samenzwerende deelnemers (die de sets van anderen niet kunnen afleiden door paarwijze masks en onbekende blinding-rotaties).
Tamper Detectie: De inclusie van verborgen anker-sets maakt een consistentiecheck ( $d_{\mathcal{A}}=0$ ) mogelijk die kan detecteren of de TP de gerapporteerde meetvectoren heeft gewijzigd.

Resultaten

Correctheid: Theoretische bewijzen tonen aan dat het protocol het intersectiepatroon correct codeert en dat het klassieke subprotocol de drempelvoorwaarde correct evalueert.
Simulatie: De auteurs hebben de kwantumfase geïmplementeerd op het IBM Qiskit-platform met een toy model ( $n=3$ , domeingrootte 8). De simulatie omvatte depolariserende, fase-demping en readout-fouten. De resultaten van de ruizige simulatie (Tabel 3) kwamen nauw overeen met de theoretische waarschijnlijkheden, waarbij de anker-check en de drempeltest succesvol werden doorstaan om de correcte intersectie $\{1, 3\}$ te reconstrueren.
Complexiteit: De kwantumcommunicatiekosten zijn $\mathcal{O}(n(\ell M + \delta))$ , en de computationele kosten zijn vergelijkbaar, waarbij $M$ de uitgebreide domeingrootte is, $\ell$ het aantal herhalingen en $\delta$ het aantal decoys.

Betekenis en Claims
De paper claimt dat de primaire betekenis ligt in het oplossen van de "functionaliteitskloof" in bestaande kwantum-TPSI-protocollen. Door de kwantummetingsrol te scheiden van de semantische interpretatierol, komt het voorgestelde protocol overeen met de ideale klassieke TPSI-definitie waarbij de drempelbeslissing een directe predicaat is in plaats van een post-processing stap op onthulde statistieken. De auteurs benadrukken dat hun constructie enkel steunt op single-photon rotaties en een lichtgewicht klassieke post-processing stap (OLE en garbled circuits), waardoor de complexiteit van Quantum Homomorphic Encryption (QHE) die in andere recente werken wordt gebruikt, wordt vermeden. Zij stellen dat dit ontwerp een meer privacy-beschermende aanpak biedt voor multi-party settings waar de TP de grootte van de intersectie niet mag leren. Het artikel concludeert dat het framework flexibel is en potentieel uitgebreid kan worden naar gewogen of ratio-gebaseerde drempels, hoewel het momenteel opereert onder een semi-honest TP-model.