💻 computer science

Plausible Deniability in Fully Homomorphic Computation

Dit artikel introduceert PD-FHC, een raamwerk voor plausibele ontkenbaarheid in volledig homomorfe berekening dat gebruikmaakt van een enkele Fredkin-gate bedrading op RGB-beelden om gelijktijdig een echt Booleaanse circuit en meerdere decoys uit te voeren, waardoor gebruikers berekeningen kunnen uitbesteden aan onbetrouwbare clouds terwijl zij informatie-theoretische positieprivacy behouden en het vermogen hebben om onder dwang een verifieerbare decoy te onthullen.

Oorspronkelijke auteurs: Shahzad Ahmad, Stefan Rass, Zahra Seyedi

Gepubliceerd 2026-07-13

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Shahzad Ahmad, Stefan Rass, Zahra Seyedi

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 voor dat je een fotolabtechnicus bent die een geheime, privéberekening moet uitvoeren op een batch afbeeldingen. Misschien moet je controleren of een specifieke meting in een foto hoger is dan een bepaalde limiet. Maar er is een addertje onder het gras: je moet deze foto's naar een cloudcomputer sturen die je niet volledig vertrouwt.

Normaal gesproken, als je je gegevens geheim wilt houden, gebruik je Fully Homomorphic Encryption (FHE). Denk aan het in een onbreekbare, gloeiende glazen doos plaatsen van je foto's. De cloud kan nog steeds wiskunde uitvoeren op de doos, maar kan niet naar binnen kijken. Het probleem? De gloeiende doos is een enorme weggever. Als een dominante, dwingende tegenstander (zoals een overheidsagent of een strenge baas) wil weten wat je aan het doen bent, kunnen ze naar de gloeiende doos wijzen en zeggen: "Je bent zeker geheime wiskunde aan het doen! Lever de sleutel aan!" Je kunt het niet ontkennen omdat de doos zelf schreeuwt: "Geheim!"

Dit artikel introduceert een slimme nieuwe truc genaamd PD-FHC (Plausible Deniability in Fully Homomorphic Computation). In plaats van een gloeiende doos, stel je je voor dat je je geheime wiskunde verbergt in een enorme, alledaagse ogende fotofilter.

De Magische Truc: Eén Bedrading, Veel Verhalen

Zo werkt de magie, gebruikmakend van een speelse analogie:

Stel je voor dat je een gigantisch rooster hebt van 12.000 piepkleine lichtschakelaars (dit zijn de pixels in een afbeelding). Je wilt een geheime berekening uitvoeren met een specifiek patroon van schakelaars (jouw "echte" circuit). Maar je wilt ook in staat zijn om een ander verhaal te vertellen als iemand je dwingt uit te leggen wat je hebt gedaan.

De auteurs gebruiken een speciaal type schakelaar genaamd een Fredkin-gate. Denk aan een Fredkin-gate als een magische verkeersregelaar voor drie rijstroken. Het heeft een controle-bit (een klein vlaggetje) dat bepaalt wat het doet:

Als het vlaggetje naar beneden staat, laat het de auto's recht doorrijden.
Als het vlaggetje omhoog staat, wisselt het de auto's in de twee zijstroken van elkaar.

Nu komt het geniale deel: de cloudprovider ziet alleen de instructies van de verkeersregelaar (de bedrading), niet de vlaggetjes.

De Opzet: Je neemt je geheime berekening en zet deze om in een specifiek patroon van vlaggetjes. Je verzint ook verschillende "afleidingsberekeningen" (zoals het controleren van de helderheid of kleurbalans van een afbeelding) en zet deze om in andere patronen van vlaggetjes.
De Inbedding: Je verbergt de vlaggetjes voor je geheime berekening in een paar specifieke lichtschakelaars. Je verbergt de vlaggetjes voor je afleidingsberekeningen in andere schakelaars. Voor elke overige schakelaar in de afbeelding vul je deze met willekeurige ruis.
De Taak van de Cloud: Je stuurt de afbeelding naar de cloud. Je zegt tegen hen: "Voer dit specifieke verkeersregelaar-patroon uit op elke enkele schakelaar in de afbeelding." De cloud weet niet welke schakelaars de geheime informatie bevatten, welke een afleiding bevatten en welke gewoon willekeurige ruis zijn. Ze passen simpelweg dezelfde regel toe op iedereen, tegelijkertijd.
Het Resultaat: Omdat de vlaggetjes (controle-bits) verschillend zijn voor elke groep schakelaars, voert de verkeersregelaar uiteindelijk je geheime wiskunde uit op de geheime schakelaars, een afleidingswiskunde op de afleidingsschakelaars, en willekeurige ruis-wiskunde op de rest.

Het Moment van "Plausibele Ontkenning"

Stel je nu voor dat de dwingende tegenstander opduikt. "Wat was je aan het berekenen?" eisen ze.

Je kunt niet zeggen: "Ik deed geheime wiskunde," want dat is de waarheid. Maar je kunt wel zeggen: "Oh, ik was de helderheid van deze specifieke pixels aan het controleren!" Je wijst naar een van je afleidingscircuits.

De tegenstander controleert de wiskunde. Ze zien de verborgen vlaggetjes, ze zien het resultaat, en ze verifiëren dat de wiskunde perfect werkt. Ze hebben geen enkele manier om te weten dat dit slechts een afleiding was. De "echte" geheime berekening blijft verborgen tussen de willekeurige ruis en de andere afleidingen, en ziet er precies hetzelfde uit als de rest van de afbeelding.

Wat Dit Papier Bewijst (en Wat Niet)

De auteurs zijn zeer voorzichtig in wat ze beweren te hebben opgelost en wat nog steeds een mysterie is.

Wat is bewezen:

Het "Positie"-geheim: Als je je afbeelding vult met willekeurige ruis die overeenkomt met het statistische patroon van je geheime gegevens, kan de cloudprovider niet zien waar je geheime schakelaars zich bevinden. Het is alsof je probeert een specifiek zandkorreltje te vinden op een strand waar elk korreltje er exact hetzelfde uitziet. Het papier bewijst dat onder deze specifieke omstandigheden de kans dat de cloud de juiste plek raadt, niet beter is dan willekeurig gokken.
Het "Bestaan"-geheim: Als je gedwongen wordt om enkele van je circuits te onthullen, kun je de afleidingen onthullen. Het papier bewijst dat de tegenstander niet kan bewijzen dat er meer circuits bestaan dan de door jou onthulde circuits. Het is als een goochelaar die je een paar lege zakken laat zien; je kunt niet bewijzen dat er een verborgen zak is die hij niet heeft getoond.

Wat is uitgesloten of niet opgelost:

Geen "Onzichtbare" Wiskunde: Het artikel stelt expliciet dat dit niet verbergt dat er een berekening plaatsvindt. De cloud weet dat er een berekening draait omdat zij deze uitvoeren. De magie zit alleen in het verbergen van welke berekening het is en waar de geheime gegevens zich bevinden.
Geen "Magische" Obfuscatie: De auteurs wijzen het idee af om complexe cryptografische trucs te gebruiken om de structuur van het circuit (de bedrading) te verbergen. Ze geven toe dat de bedrading zichtbaar is voor de cloud. Het enige dat verborgen is, is de betekenis van de gates, wat voortkomt uit de verborgen vlaggetjes.
Geen "Perfecte" Dekking voor Elke Afbeelding: Je kunt niet zomaar een willekeurige vakantiefoto nemen en je geheim erin verbergen. Het artikel betoogt dat als de natuurlijke "ruis" van de foto niet overeenkomt met de willekeurige ruis die jij toevoegt, een slimme detector het verschil kan opmerken. Je hebt een decoverhaal nodig dat een hoge mate van willekeur verwacht (zoals een dithering-service of een tool voor ruisinjectie). Als je probeert je geheim in een normale foto te verbergen, kun je betrapt worden.

Hoe Zeker Zijn Ze?

De auteurs zijn zeer zelfverzekerd over hun wiskunde, maar eerlijk over de beperkingen.

De Wiskunde: Ze hebben bewezen dat als je hun regels volgt (het perfect matchen van de willekeurige ruis), het voordeel van de cloud bij het vinden van je geheim exact nul is. Dit is geen gok; het is een wiskundige zekerheid gebaseerd op de eigenschappen van de Fredkin-gate.
De Werkelijkheid: Ze hebben simulaties (computertests) uitgevoerd met afbeeldingen variërend van 128x128 pixels tot 512x512 pixels en circuits met 5 tot 302 gates. Deze tests toonden aan dat het systeem snel genoeg werkt om praktisch bruikbaar te zijn, en concurreert met bestaande encryptietools.
Het Zwakke Punt: Het enige waar ze geen hard bewijs voor hebben, is het "semantische" deel. Kun je altijd een geloofwaardig afleidingsverhaal verzinnen? Bijvoorbeeld, als je beweert dat je de "helderheid van een afbeelding" controleert, ziet de wiskunde er dan daadwerkelijk uit als een helderheidscontrole? Het artikel geeft toe dat dit menselijke creativiteit en domeinkennis vereist. Het is een "plausibel" verhaal, maar het papier bewijst niet dat je dit perfect kunt automatiseren.

De Kernboodschap

Dit artikel biedt een manier om geheime wiskunde uit te besteden aan de cloud zonder een gloeiend "Ik ben geheimen aan het doen!" bord achter te laten. Het verandert je geheime berekening in een naald in een hooiberg, waarbij de hooiberg gevuld is met andere naalden die er exact hetzelfde uitzien. Als iemand je dwingt om een naald te laten zien, kun je ze een valse naald laten zien die aan elke test voldoet.

Het is geen magisch schild dat de wiskunde onzichtbaar maakt, en het werkt niet als je probeert het in het verkeerde soort plaatje te verbergen. Maar voor de juiste opstelling geeft het je een krachtige nieuwe superkracht: het vermogen om te zeggen: "Ik was gewoon dit saaie ding aan het doen," en de wiskunde laten bewijzen dat je gelijk hebt.

Technische Samenvatting: Plausibele Ontkenbaarheid in Volledig Homomorfe Computatie (PD-FHC)

1. Probleemstelling

Het uitbesteden van computatie aan onbetrouwbare cloudproviders stelt gebruikers bloot aan twee verschillende dreigingen die bestaande technologieën niet gelijktijdig kunnen aanpakken:

Computationele Privacy: Het beschermen van gegevens tegen eerlijke-maar-nieuwsgierige providers (behandeld door Fully Homomorphic Encryption (FHE) en Trusted Execution Environments (TEEs)).
Plausibele Ontkenbaarheid: Het vermogen om de existentie of de intentie van een computatie geloofwaardig te ontkennen wanneer men wordt gedwongen door een machtige tegenstander.

Huidige oplossingen hebben kritieke tekortkomingen:

FHE: Hoewel het datawaarden verbergt, is de transmissie van cipherteksten opvallend. Een dwingende tegenstander kan ontsleutelingssleutels eisen, en het loutere gebruik van FHE bevestigt dat er een private computatie plaatsvindt.
TEEs: Deze produceren attestatie-logs die dienen als onweerlegbaar bewijs van uitvoering. Bovendien zijn ze kwetsbaar voor zijkanaal-lekken (side-channel leaks).
Secure Multi-Party Computation (MPC): Hoewel robuust tegen de onthulling van een deel van één partij, staat het deelnemers niet toe te ontkennen dat de computatie heeft plaatsgevonden of om een andere computatie te substitueren.
Deniable Encryption/Storage: Deze adresseren statische data (berichten of bestanden), maar strekken zich niet uit tot dynamische computationele intentie.

Het artikel identificeert een gat waarbij een gebruiker een Booleaanse computatie moet uitbesteden terwijl hij de mogelijkheid behoudt om te ontkennen wat er werd berekend en, voor een externe waarnemer, te ontkennen dat er überhaupt een computatie heeft plaatsgevonden.

2. Methodologie

De auteurs stellen PD-FHC voor, een framework dat Booleaanse computaties inbedt in een dekmiddel (specifiek RGB-afbeeldingen) met behulp van Fredkin-gates en Least Significant Bit (LSB) steganografie.

Kernmechanisme:

Gedeelde Bedrading, Variabele Semantiek: Het framework maakt gebruik van een enkele, vaste bedrading van universele Fredkin-gates. Een Fredkin-gate is een reversibele 3-input/3-output gate waarbij een control-bit bepaalt of de twee databits worden verwisseld.
- Als de control-bit 0 is, fungeert de gate als een pass-through.
- Als de control-bit 1 is, wisselt de gate de databits om.
- Door de control-bits via ingebedde data in te stellen, kan de zelfde fysieke bedrading verschillende logische functies implementeren (bijv. AND, OR, NOT, of complexe circuits) op verschillende locaties.
Multi-Locatie Inbedding: De gebruiker (Alice) bedt een "echt" circuit en $L-1$ $L - 1$ "decoy" (afleidings-) circuits in de LSB's van een afbeelding.
- Echt Circuit: Ingebed op een geheime verzameling posities $\Lambda_{j^*}$ .
- Decoy Circuits: Ingebed op andere disjuncte verzamelingen posities $\Lambda_j$ .
- Fill Bits: Alle overige LSB-posities worden gevuld met bits die zijn getrokken uit een specifieke distributie $\pi$ .
Uniforme Verwerking: De cloudprovider (Carol) ontvangt de afbeelding en de bedradingsspecificatie ( $C_{obf}$ ). Zij past de Fredkin-gate uniform toe op elke pixelpositie in parallel. Zij weet niet welke posities echte data, decoy-data of fill-ruis bevatten.
Reactie op Dwang: Indien onder dwang, onthult Alice de positieverzamelingen, inputs en outputs voor een decoy circuit. Omdat de bedrading identiek is en het decoy-circuit verifieerbare resultaten produceert die consistent zijn met de output van de cloud, kan de tegenstander het decoy-circuit niet onderscheiden van de echte computatie.

Theoretische Fundamenten:

Deniable Computation Medium (DCM): Een abstract framework dat een medium definieert met adresseerbare bit-posities, lees-/schrijfcapaciteiten en een gate-familie die uniform wordt toegepast.
Matched-Marginal Condition: Voor informatie-theoretische beveiliging moeten de bits op echte posities, decoy-posities en fill-posities worden getrokken uit dezelfde per-positie waarschijnlijkheidswet $\pi$ . Onder deze voorwaarde is het LSB-vlak "uitwisselbaar", wat betekent dat de statistische distributie van de afbeelding invariant is voor de permutatie van posities.

3. Belangrijkste Bijdragen

Abstract Framework: Definitie van een Deniable Computation Medium (DCM) en een Deniable Computation Scheme (DCS) die het beveiligingsmodel scheiden van specifieke cover-media (bijv. afbeeldingen, audio, pakketten).
Formalisering van het Dreigingsmodel: Een tweefasig model dat onderscheid maakt tussen:
- Honest-but-Curious (HBC) Cloud: Bezorgd over computationele privacy (het verbergen van de data).
- Coercive Adversary (Dwingende Tegenstander): Bezorgd over plausibele ontkenbaarheid (het verbergen van de existentie en intentie van de computatie).
- De auteurs definiëren nieuwe multi-round coercion games die "existence distinguishing" (kan de tegenstander bewijzen dat verborgen circuits bestaan?) en "circuit discovery" (kan de tegenstander het echte circuit identificeren tussen de onthulde decoys?) meten.
Image-Based Instantiatie: Een concrete implementatie met behulp van RGB-afbeeldingen en Fredkin-gates.
- Bewijs van Positie-Privacy: Onder de matched-marginal condition bewijst het paper dat de cloudprovider nul voordeel (informatie-theoretisch) behaalt bij het lokaliseren van de echte circuitposities vergeleken met willekeurige gokken, ongeacht de distributie $\pi$ .
- Partiële Circuit Verberging: De bedrading is zichtbaar, maar de semantiek van de gates is verborgen. Het paper bewijst dat zonder kennis van de control-bits, de bedrading niets onthult over welke functie er wordt berekend.
Implementatie en Benchmarking: Een Python-implementatie die is getest op circuitgroottes (5–302 gates) en beelddimensies ( $128^2$ tot $512^2$ ).

4. Resultaten

Beveiligingsgaranties:
- Computationele Privacy: De cloud leert niets over de geheime datawaarden of de specifieke functie die wordt berekend, mits de gate-familie de statistische distributie van niet-geheime posities behoudt (een eigenschap die Fredkin-gates bezitten via bit-permutatie).
- Existence Hiding: Onder de matched-marginal condition is het existentie-voordeel exact nul. Een tegenstander kan een afbeelding die alleen fill-bits bevat niet onderscheiden van een afbeelding die verborgen circuits bevat.
- Circuit Discovery: Het voordeel bij het identificeren van het echte circuit onder de onthulde decoys wordt begrensd door de semantische plausibiliteit van de decoys en zijkanaal-lekken. De positie- en bedradingsvectoren dragen nul bij aan het voordeel van de tegenstander.
Prestaties: De implementatie laat concurrerende prestaties zien met TFHE (een leidende FHE-bibliotheek) voor Booleaanse circuits, terwijl het de ontkenbaarheid biedt die FHE niet kan bieden.
Visuele Imperceptibiliteit: De modificatie van de LSB's resulteert in een maximale verschuiving van $\pm 1$ per kanaal, wat een PSNR > 50 dB oplevert, waardoor de veranderingen visueel onwaarneembaar zijn.

5. Betekenis en Claims

Het paper claimt het eerste framework te zijn dat tegelijkertijd voldoet aan computationele privacy, existence hiding (tegen externe waarnemers) en partiële circuit verberging (tegen de cloudprovider).

Bescheiden Claims en Beperkingen:

Scope van Cover Plausibiliteit: De auteurs stellen expliciet dat PD-FHC niet werkt voor willekeurige afbeeldingen (bijv. vakantiefoto's). Het cover-medium moet legitiem hoge-entropie LSB-inputs verwachten (bijv. dithering, ruisinjectie, of verwerking in het cryptografische domein). Als de verklaarde dienst natuurlijke afbeeldingen verwacht, wordt het uniforme LSB-vlak dat nodig is voor beveiliging detecteerbaar.
Real Input Constraints: De informatie-theoretische garantie van nul voordeel geldt exact alleen als de echte input-bits van de gebruiker ook dezelfde distributie $\pi$ volgen als de decoy- en fill-bits. Voor gestructureerde echte inputs wordt het voordeel begrensd door de statistische afstand ( $\Delta$ ) tussen de distributie van de echte input en $\pi$ .
Semantische Plausibiliteit: De beveiliging tegen circuit discovery rust op de $\epsilon$ -plausibiliteit van de decoy-circuits. Het paper geeft toe dat het construeren van semantisch geloofwaardige decoys (bijv. een helderheidscontrole versus een cryptografische hash) een handmatige, domeinspecifieke taak is en nog niet geautomatiseerd is.
Actieve Aanvallen: Het framework gaat uit van een honest-but-curious cloud en passieve externe waarnemers. Het beschermt niet tegen actieve aanvallers die de afbeelding kunnen modificeren of weigeren de computatie uit te voeren.
Geen Cryptografische Obfuscatie: Het paper vermijdt expliciet de claim van cryptografische circuit-obfuscatie (die onderhevig is aan onmogelijkheidsresultaten). De "obfuscatie" is puur steganografisch en berust op de verborgen control-bits om de gate-semantiek te variëren.

Samenvattend biedt PD-FHC een innovatieve benadering voor het uitbesteden van computatie waarbij de gebruiker de specifieke intentie van de computatie geloofwaardig kan ontkennen door een verifieerbare, alternatieve functie te presenteren die onder dwang ononderscheidbaar is van de echte, mits aan de statistische voorwaarden van het cover-medium wordt voldaan.