🔢 mathematics

Hybrid Encryption with Certified Deletion in Preprocessing Model

Dit artikel introduceert en formaliseert hybride encryptie met gecertificeerde verwijdering in het preprocessing-model (pHE-CD), waarbij twee constructies worden voorgesteld die informatie-theoretische sleutelinkapseling combineren met data-inkapselingsmechanismen om ofwel volledig informatie-theoretische beveiliging of computationeel veilige encryptie met eeuwige gecertificeerde verwijdering voor willekeurig lange berichten te bereiken.

Oorspronkelijke auteurs: Kunal Dey, Reihaneh Safavi-Naini

Gepubliceerd 2026-06-30

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Kunal Dey, Reihaneh Safavi-Naini

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 ik Alice ben, en ik heb een zeer gevoelig geheim dat ik naar mijn vriend Bob wil sturen. Ik stop het geheim in een digitale doos (encryptie) en mail het naar hem.

In de oude, klassieke wereld is er een groot probleem: Bob kan een perfecte kopie maken van de doos voordat je hem vraagt om deze weg te gooien. Zelfs als je hem vraagt de originele versie te verwijderen, kan hij misschien een verborgen kopie hebben. Als een hacker later de sleutel van Bob steelt, kunnen ze die verborgen kopie openen en jouw geheim lezen. Je hebt geen manier om te bewijzen dat hij de gegevens daadwerkelijk heeft verwijderd.

Dit artikel introduceert een nieuwe manier om geheimen te versturen met behulp van kwantumfysica (de wetenschap van het zeer kleine) om dit probleem op te lossen. Het wordt "Hybrid Encryption with Certified Deletion" genoemd.

Zo werkt het, onderverdeeld in eenvoudige concepten:

1. De Magische Regel: Je kunt kwantumgegevens niet kopiëren

Het hele systeem rust op een regel van het universum genaamd het "No-Cloning Theorem". In de kwantumwereld kun je niet een perfecte kopie maken van een stukje informatie zonder het origineel te vernietigen. Het is als proberen een zeepbel te fotokopiëren; de handeling van het kopiëren laat de zeepbel knappen.

2. Het Twee-Delige Slot Systeem (Het "Hybride" Deel)

De auteurs stellen een systeem voor dat twee soorten sloten combineert om berichten van elke lengte aan te kunnen (niet alleen één bit):

Slot A (De Sleutelgenerator): Dit deel gebruikt een vooraf gedeeld geheim tussen Alice en Bob (zoals een geheime handdruk die ze eerder hebben gedaan). Het creëert een tijdelijke, eenmalige sleutel. Dit deel is zo sterk dat zelfs een supercomputer met oneindige rekenkracht het niet zou kunnen breken.
Slot B (De Datapartner): Dit deel bevat het eigenlijke bericht. Het gebruikt de tijdelijke sleutel van Slot A om het bericht in een kwantumdoos te verzegelen.

3. De "Certified Deletion" Truc

Hier is het magische moment. Alice stuurt de kwantumdoos naar Bob. Later zegt Alice: "Ik wil dat je die doos verwijdert."

De Keuze: Bob moet een van de twee paden kiezen, maar hij kan ze niet beide bewandelen:
1. Pad 1 (Lezen): Hij gebruikt zijn sleutel om de doos te openen en het bericht te lezen. Maar vanwege de kwantumfysica is het moment dat hij het leest, het moment waarop het "verwijderingscertificaat" onmogelijk te genereren is. Hij kan lezen, maar hij kan niet bewijzen dat hij het heeft verwijderd.
2. Pad 2 (Verwijderen): Hij voert een specifieke kwantummeting uit op de doos om deze te "wissen". Deze handeling vernietigt de mogelijkheid om het bericht later te lezen. Echter, deze handeling produceert een Certificate of Deletion.
Het Certificaat: Bob stuurt dit certificaat terug naar Alice. Alice controleert het. Als het geldig is, weet zij met zekerheid dat Bob het bericht niet meer kan lezen, zelfs niet als hij de sleutel bewaart. De data is voorgoed weg.

4. Twee Verschillende "Smaken" van Beveiliging

Het artikel biedt twee versies van dit systeem, afhankelijk van hoe sterk de bescherming moet zijn:

Versie 1 (De "Onbreekbare" Kluis):
- Hoe het werkt: Gebruikt alleen de wetten van de fysica en perfecte willekeur.
- De Garantie: Zelfs als een schurk een supercomputer heeft die oneindige berekeningen kan uitvoeren, kan hij de code niet breken of een verwijdering vervalsen. Het is voor altijd veilig.
- Het Nadeel: Het vereist veel "kwantumbrandstof" (willekeur) voor elk bericht, vergelijkbaar met hoe een One-Time Pad werkt.
Versie 2 (De "Eeuwigdurende" Kluis):
- Hoe het werkt: Het gebruikt standaard computerencryptie (zoals het AES-algoritme dat wordt gebruikt in je bank-app) gemengd met de kwantumverwijderingstrue.
- De Garantie:
  - Voordat Bob het bestand verwijdert: De beveiliging berust op het feit dat huidige computers de code niet kunnen breken (computationele beveiliging).
  - Nadat Bob het bestand heeft verwijderd en een geldig certificaat heeft verkregen: De beveiliging wordt voor altijd onbreekbaar. Zelfs als er in de toekomst een supercomputer wordt uitgevonden die alle huidige codes kan breken, zal het nog steeds onmogelijk zijn om de data te herstellen omdat het kwantumcertificaat bewijst dat de data fysiek is vernietigd.
- Het Voordeel: Deze versie is veel efficiënter en gebruikt standaardtechnologie (zoals AES) gecombineerd met kwantumcodering.

Het Grote Plaatje

Het artikel beweert een systeem te hebben gebouwd waarbij:

Alice haar data kan uitbesteden aan Bob (zoals een cloudserver).
Bob de data kan lezen OF de data kan verwijderen en dat kan bewijzen.
Als Bob de data verwijdert, krijgt Alice bewijs dat de data weg is.
Als Bob de data verwijdert, kan niemand (zelfs geen toekomstige supercomputer) de data ooit nog herstellen, zelfs niet als ze later de sleutels van Bob stelen.

De auteurs benadrukken dat dit niet rust op "wiskundige puzzels" die door toekomstige computers opgelost kunnen worden. In plaats daarvan rust het op de fundamentele wetten van de fysica (kwantummechanica) en het feit dat je een kwantumtoestand niet kunt kopiëren zonder deze te vernietigen. Ze merken ook op dat deze technologie gebouwd kan worden met bestaande kwantumtools (zoals die gebruikt worden voor Quantum Key Distribution).

Technische Samenvatting: Hybride Encryptie met Gecertificeerde Verwijdering in een Preprocessing-model

Probleemstelling

Het artikel behandelt de fundamentele uitdaging van Encryptie met Gecertificeerde Verwijdering (CD). In een standaard outsourcing-scenario versleutelt Alice gegevens voor Bob (of een cloudserver), maar de klassieke informatietheorie dicteert dat digitale gegevens perfect gekopieerd kunnen worden. Bijgevolg, als de encryptiesleutel later wordt gecompromitteerd of het encryptieschema wordt doorbroken, kan een tegenstander de klare tekst herstellen, zelfs als de server beweert de ciphertext te hebben verwijderd.

Hoewel Broadbent en Islam (BI) een symmetrische-sleuteloplossing voorstelden met behulp van kwantuminformatie (specifiek Wiesner-codering en het no-cloning theorema) om informatie-theoretische gecertificeerde verwijdering te bereiken, is hun schema beperkt tot eenmalig gebruik en vereist het een geheime sleutellengte die minstens even lang is als de boodschap. Latere Public-Key Encryption with Certified Deletion (PKE-CD) schema's maken sleutelhergebruik mogelijk, maar vertrouwen op computationele hardheid-aannames (post-kwantum cryptografie), die kwetsbaar zijn voor toekomstige ontwikkelingen in computing. De auteurs identificeren een gat: de behoefte aan encryptie met gecertificeerde verwijdering die computationele hardheid-aannames vermijdt terwijl het arbitraire berichtlengtes en sleutelhergebruik ondersteunt.

Methodologie

De auteurs stellen een framework voor genaamd Hybride Encryptie met Gecertificeerde Verwijdering in het Preprocessing-model (pHE-CD). Deze aanpak maakt gebruik van het gecorreleerde willekeur-model (correlated randomness model), waarbij Alice en Bob voorafgaand aan de encryptiefase private gecorreleerde willekeurige reeksen delen (gegenereerd via een publieke distributie $P(X, Y, Z)$ ).

De methodologie rust op de compositie van twee afzonderlijke cryptografische primitieven:

Information-Theoretic Key Encapsulation Mechanism (iKEM): Deze component stelt een gedeelde geheime sleutel vast tussen Alice en Bob met behulp van hun gecorreleerde willekeur. Het biedt veiligheid tegen computationeel onbeperkte tegenstanders zonder te vertrouwen op hardheid-aannames.
Data Encapsulation Mechanism met Certified Deletion (DEM-CD): Deze component versleutelt de eigenlijke boodschap met de sleutel die is afgeleid van de iKEM. De DEM-CD is verantwoordelijk voor de eigenschap van gecertificeerde verwijdering.

De veiligheid van het samengestelde systeem wordt geanalyseerd tegen twee typen tegenstanders:

Computationeel beperkte tegenstanders: Tegenstanders die beperkt zijn tot quantum polynomiale tijd (QPT).
Computationeel onbeperkte tegenstanders: Tegenstanders met onbeperkte rekenkracht.

Het artikel definieert Everlasting Certified Deletion Security (EV-CD), waarbij de vertrouwelijkheid computationeel is vóór de verificatie van een verwijderingscertificaat, maar informatie-theoretisch wordt zodra een geldig certificaat is uitgegeven.

Belangrijkste Bijdragen

1. Formalisering van pHE-CD

De auteurs introduceren en formaliseren het pHE-CD-schema, waarbij zij het hybride encryptie-paradigma uitbreiden naar het preprocessing-model met gecertificeerde verwijdering. Zij definiëren passende veiligheidsnotities voor zowel encryptie (IND-qe-CPA) als gecertificeerde verwijdering (EV-qe-CD) in deze setting.

2. Twee Constructies

Het artikel presenteert twee specifieke constructies gebaseerd op het pHE-CD-framework, die verschillende veiligheidsafwegingen bieden:

Constructie 1 (Volledig Informatie-theoretisch):
- Componenten: Combineert een informatie-theoretische iKEM met een informatie-theoretisch veilige DEM-CD (geïnstantieerd met het Broadbent-Islam one-time SKE-CD schema).
- Eigenschappen: Biedt informatie-theoretische veiligheid voor zowel encryptie als gecertificeerde verwijdering.
- Beperkingen: Vereist een nieuwe sleutel voor elke encryptie (vergelijkbaar met OTP) en ondersteunt geen sleutelhergebruik in de traditionele zin, hoewel het direct willekeurig lange boodschappen ondersteunt zonder bit-voor-bit herhaling.
Constructie 2 (Computationele Encryptie, Everlasting Deletion):
- Componenten: Combineert een informatie-theoretische iKEM met een computationeel veilige DEM (gebruikmakend van symmetrische primitieven zoals AES) aangepast voor gecertificeerde verwijdering.
- Eigenschappen:
  - Encryptie: Biedt computationele veiligheid (quantum-resistent) tegen QPT-tegenstanders.
  - Gecertificeerde Verwijdering: Biedt everlasting security. Vóór de verificatie van het certificaat is de veiligheid computationeel; na succesvolle verificatie wordt de veiligheid informatie-theoretisch, wat garandeert dat zelfs een onbeperkte tegenstander met de decryptiesleutel niets over de klare tekst kan leren.
- Efficiëntie: Deze constructie is sleutelefficiënt, waarbij een constante lengte sleutel wordt gebruikt. Het ondersteunt willekeurig lange boodschappen door elke bit onafhankelijk te versleutelen en de ciphertexts te concateneren.

3. Veiligheidsbewijzen

De auteurs leveren rigoureuze compositie-stellingen die bewijzen dat de veiligheid van het pHE-CD-schema reduceert naar de veiligheid van de componenten:

Encryptie-veiligheid: Als de iKEM IND-qe-CEA veilig is en de DEM-CD IND-OT veilig is, dan is de resulterende pHE-CD IND-qe-CPA veilig.
Verwijdings-veiligheid: Als de iKEM IND-qe-CEA veilig is en de DEM-CD one-time EV-CD veilig is, dan is de resulterende pHE-CD EV-qe-CD veilig.
De bewijzen maken gebruik van een hybrid-game argument, waarbij wordt aangetoond dat elke tegenstander die de pHE-CD breekt, getransformeerd kan worden in een tegenstander die ofwel de iKEM of de DEM-CD breekt.

Resultaten

Haalbaarheid: Het artikel toont aan dat hybride encryptie met gecertificeerde verwijdering haalbaar is in het preprocessing-model zonder te vertrouwen op onbewezen computationele hardheid-aannames.
Veiligheidsgaranties:
- Constructie 1 bereikt onvoorwaardelijke (informatie-theoretische) veiligheid voor zowel encryptie als verwijdering.
- Constructie 2 bereikt computationele veiligheid voor encryptie en everlasting veiligheid voor verwijdering. Dit betekent dat zodra een geldig verwijderingscertificaat is geverifieerd, de data informatie-theoretisch uit het zicht van de tegenstander is verdwenen, zelfs als de tegenstander later de decryptiesleutel verkrijgt.
Implementatie: De constructies maken gebruik van Wiesner conjugate coding, wat nauw verwant is aan het BB4 QKD-protocol en geïmplementeerd kan worden met de huidige quantumtechnologie.
Schaalbaarheid: Beide schema's ondersteunen de encryptie van willekeurig lange boodschappen.

Betekenis en Claims

De auteurs claimen dat hun werk de afhankelijkheid van computationele hardheid-aannames die in bestaande PKE-CD schema's voorkomen, vervangt door fundamentele principes van de kwantuminformatietheorie. Door gebruik te maken van het preprocessing-model en gecorreleerde willekeur, bereiken zij:

Robuustheid tegen toekomstige ontwikkelingen: De veiligheid hangt niet af van de moeilijkheid van wiskundige problemen (zoals factorisatie of roosterproblemen) die door toekomstige algoritmen of quantumcomputers gebroken kunnen worden.
Everlasting Confidentiality: Specifiek voor Constructie 2 benadrukt het artikel de unieke eigenschap waarbij de vertrouwelijkheid overgaat van computationeel naar informatie-theoretisch bij een succesvolle verwijdingsverificatie. Dit zorgt ervoor dat zelfs als het encryptieschema in de toekomst wordt gebroken, de gegevens die verifieerbaar verwijderd zijn, veilig blijven.
Practicaliteit: Het gebruik van Wiesner-codering suggereert dat deze schema's implementeerbaar zijn met de huidige quantumtechnologie, in tegen tegenoverstelling tot sommige theoretische quantum cryptografische voorstellen.

Het artikel concludeert door op te merken dat hoewel de iKEM-component afhankelijk is van gecorreleerde willekeur (die afgeleid kan worden van QKD), het uitbreiden van de veiligheid van qKEM's naar tegenstanders met toegang tot een encapsulatie-oracle een richting is voor toekomstig werk. De auteurs beweren niet dat ze alle openstaande problemen in de quantum cryptografie hebben opgelost, maar hebben een formeel framework en concrete constructies geleverd die de staat van de techniek van gecertificeerde verwijdering zonder computationele aannames vooruithelpen.