⚛️ quantum physics

A Unified Approach to Quantum Key Leasing with a Classical Lessor

Dit artikel presenteert een modulair raamwerk voor het construeren van veilige kwantum sleutelverhuurschema's met een volledig klassieke verhuurder, wat het verhuren en intrekken van sleutels voor publieke-sleutelencryptie, pseudowillekeurige functies en digitale handtekeningen via klassieke communicatie mogelijk maakt, terwijl voldaan wordt aan sterke beveiliging tegen verification key revealing-aanvallen onder de learning with errors-aanname.

Oorspronkelijke auteurs: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

Gepubliceerd 2026-07-22

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Fuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi Yamakawa

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 wereld voor waarin je een superkrachtige tool kunt huren, zoals een magische sleutel die een digitale kluis opent, maar met een addertje onder het gras: zodra je de sleutel teruggeeft, word je magisch gedwongen om te vergeten hoe je er een kopie van kunt maken. Dit is de droom van secure key leasing (veilige sleutelverhuur). In de echte wereld, als je iemand een fysieke sleutel leent, kan diegene er gemakkelijk een kopie van maken en de sleutel blijven gebruiken nadat je hem hebt teruggevraagd. Maar in de kwantumwereld zeggen de wetten van de fysica dat je een specifiek type informatie niet kunt kopiëren zonder de originele te vernietigen. Dit artikel onderzoekt hoe je die "no-copying" regel kunt gebruiken om een systeem te creëren waarbij een baas (de verhuurder) een geheime sleutel kan verhuren aan een werknemer (de huurder) en, wanneer de huurperiode afloopt, kan verifiëren dat de werknemer de sleutel echt heeft verwijderd en deze niet meer kan gebruiken.

Het lastige deel is dat, normaal gesproken, om een kwantumsleutel uit te verhuren, de baas zelf een kwantumcomputer moet zijn, wat duur en moeilijk te bouwen is. Dit artikel stelt een gedurfde vraag: Kan een baas die volledig "klassiek" is (gewoon een gewone computer met geen kwantumkrachten) nog steeds deze onkopieerbare kwantumsleutels verhuren? De auteurs stellen een nieuw, modulair framework voor dat zegt: "ja". Ze laten zien hoe je standaard encryptie, wachtwoordgeneratoren en digitale handtekeningen kunt upgraden naar "verhuurbare" versies waarbij de baas klassiek blijft, de werknemer al het zware kwantumwerk doet, en de sleutel kan worden ingetrokken en geverifieerd met slechts normale, klassieke berichten.

Het "Magische Verhuur" Framework

Denk aan dit probleem als volgt: Een manager wil een werknemer een speciale digitale stempel laten gebruiken om documenten te ondertekenen terwijl hij op vakantie is. Wanneer de manager terugkeert, moet hij ervoor zorgen dat de werknemer die stempel niet kan blijven gebruiken. In het verleden vereisten oplossingen dat de manager een kwantumwizard was die complexe kwantumsignalen naar de werknemer stuurde. Dit nieuwe artikel introduceert een "Universele Adapter" die een gewone, klassieke manager in staat stelt om hetzelfde werk te doen.

De auteurs hebben een framework gebouwd dat drie veelvoorkomende digitale tools neemt en ze een "kwantum lease" upgrade geeft:

Public Key Encryption (PKE): Het vermogen om geheime berichten te verzenden.
Pseudorandom Functions (PRF): Tools die getallen genereren die willekeurig lijken, maar in werkelijkheid worden bepaald door een geheime sleutel (zoals een wachtwoordgenerator).
Digital Signatures (DS): Het vermogen om documenten te ondertekenen om te bewijzen dat ze authentiek zijn.

De magie gebeurt door een slimme driedelige dans waarbij een "Noisy Trapdoor Claw-Free" (NTCF) functie wordt gebruikt, die fungeert als een kwantum slotbox, en een "Secure Function Evaluation" (SFE), die als een veilige zwarte doos werkt die zaken berekent zonder de inputs te onthullen.

Hoe de "Klassieke Baas" het doet

Hier is de speelse analogie van hoe het systeem werkt, gebruikmakend van de specifieke constructie van het artikel:

Stap 1: De Setup (De baas blijft Klassiek)
De baas (de verhuurder) genereert een set "claw-free" sloten. Stel je deze sloten voor als speciale puzzels waarbij er twee verschillende sleutels zijn (laten we ze Sleutel A en Sleutel B noemen) die dezelfde deur openen. De baas kent de geheime "trapdoor" die beide sleutels onthult, maar de werknemer (de huurder) ziet alleen de gesloten deur. De baas stuurt deze puzzelbeschrijvingen naar de werknemer.

Stap 2: Het Kwantumwerk van de Werknemer
De werknemer, die over een kwantumcomputer beschikt, probeert de puzzels op te lossen. Vanwege kwantumregels kan de werknemer een "superpositie" staat creëren—een magische staat waarin hij zowel Sleutel A als Sleutel B tegelijkert in bezit heeft, maar op een manier die niet te kopiëren is. Dit is de "kwantum geheime sleutel". De werknemer stuurt een klassieke bevestiging terug naar de baas, waarmee hij bewijst dat hij de sleutel heeft, zonder te onthullen welke specifieke sleutels hij vasthoudt.

Stap 3: De "Watermerk" Truc
Dit is waar het artikel echt slim wordt. De baas geeft de werknemer niet zomaar een ruwe sleutel; hij legt een "watermerk" in de sleutel in. Denk hierbij aan een verborgen serienummer binnen de kwantumtoestand. Als de werknemer de sleutel probeert te gebruiken om een bericht te ontcijferen of een document te ondertekenen, is het watermerk aanwezig. Als de werknemer probeert te bedriegen en een kopie van de sleutel te bewaren, helpt het watermerk de baas om later te bewijzen dat de werknemer de sleutel nog steeds bezit. De auteurs laten zien dat als een werknemer probeert de sleutel na teruggave te bewaren, hij onvermijdelijk een spoor achterlaat waardoor de baas het "serienummer" (het watermerk) kan extraheren en kan bewijzen dat de werknemer de sleutel nog steeds vasthoudt.

Stap 4: De Intrekking (De "Delete" Knop)
Wanneer de huurperiode voorbij is, vraagt de baas de werknemer om de sleutel te "verwijderen". De werknemer meet zijn kwantumtoestand op een specifieke manier en stuurt het resultaat terug. Vanwege de kwantum "no-cloning" regel, als de werknemer het verwijderingsbewijs succesvol verzendt, wordt hij wiskundig gedwongen om de informatie die nodig is om de sleutel te gebruiken te verliezen. De baas controleert het bewijs met zijn trapdoor. Als het slaagt, is de baas er vrijwel zeker van (met een waarschijnlijkheid die zo dicht bij 100% ligt dat de kans op falen verwaarloosbaar is) dat de werknemer de sleutel niet meer kan gebruiken.

Wat dit artikel daadwerkelijk bereikt

Het artikel bewijst dat dit framework werkt onder de aanname dat "Learning With Errors" (LWE) moeilijk op te lossen is. LWE is een standaard wiskundig probleem dat naar verwachting zelfs voor kwantumcomputers moeilijk is, wat een solide fundament vormt voor toekomstige beveiliging.

De auteurs demonstreren dat:

Ze de eerste schema's hebben gerealiseerd voor Pseudorandom Functions en Digital Signatures die veilige sleutelverhuur mogelijk maken met een volledig klassieke verhuurder (naast een gelijktijdige onafhankelijke samenwerking van Takeuchi en Xu die vergelijkbare resultaten behaalden).
Ze bestaande schema's hebben verbeterd voor Public Key Encryption, waardoor het proces modulaire en minder afhankelijk van specifieke, complexe wiskundige structuren wordt.
Ze "VRA Security" hebben bewezen: Dit staat voor "Verification Key Revealing Attack" beveiliging. Dit betekent dat zelfs als een hacker de verificatiesleutel van de baas steelt nadat de werknemer de sleutel heeft geretourneerd, de hacker nog steeds niet kan uitzoeken hoe de sleutel te gebruiken. Dit is een zeer sterke beveiligingsgarantie.

Wat ze NIET hebben gedaan (en wat ze hebben uitgesloten)

Het is belangrijk om op te merken wat dit artikel niet claimt. De auteurs geven expliciet aan dat hun methode steunt op de LWE-aanname; ze beweren niet dat ze het probleem hebben opgelost met alleen het encryptieschema zonder extra hulpmiddelen zoals NTCF of SFE. Ze verduidelijken ook dat hoewel ze het proces van sleutelgeneratie "niet-interactief" hebben gemaakt (wat betekent dat de baas niet heen en weer hoeft te praten met de werknemer voor encryptiesleutels), de initiële setup nog steeds enkele rondes van communicatie vereist. Ze claimen niet dat ze een fysiek apparaat hebben gebouwd; dit is een theoretisch wiskundig bewijs dat een dergelijk systeem kan bestaan.

Waarom het ertoe doet

Dit werk is een belangrijke stap richting praktische kwantumcryptografie. Door aan te tonen dat een "klassieke" baas "kwantum" sleutels kan beheren, nemen de auteurs een enorme barrière weg. In de echte wereld zullen bedrijven en individuen geen dure, fragiele kwantumcomputers hoeven aan te schaffen om digitale diensten veilig te kunnen verhuren. Ze kunnen hun gewone computers gebruiken om het proces te beheren, terwijl het zware kwantumwerk door de server of de gebruiker wordt uitgevoerd. Deze modulaire aanpak suggere wordt dat we een toekomst kunnen bouwen waarin digitale rechtenbeheer (DRM), softwarelicenties en veilige gegevenstoegang niet alleen mogelijk, maar ook verifieerbaar en intrekbaar zijn, terwijl de "baas" simpel en klassiek blijft.

Technische Samenvatting: Een Verenigde Benadering van Quantum Key Leasing met een Klassieke Verhuurder

Probleemstelling

Secure Key Leasing (SKL) is een cryptografische primitief die een verhuurder (lessor) in staat stelt om een quantum geheime sleutel te verhuren aan een huurder (lessee), waardoor de huurder een specifieke cryptografische functionaliteit kan uitvoeren (bijv. decryptie, ondertekening of PRF-evaluatie). Cruciaal is dat de verhuurder in staat moet zijn om deze capaciteit later verifieerbaar te kunnen intrekken. De huurder moet een verwijderingscertificaat (deletion certificate) teruggeven dat bewijst dat de sleutel is vernietigd, waarna de huurder niet langer in staat moet zijn de functionaliteit uit te voeren.

Hoewel eerdere werken SKL hebben gerealiseerd voor diverse primitieven (PKE, FHE, PRF, signatures), lijden zij aan twee belangrijke beperkingen:

Gebrek aan Modulariteit: Constructies zijn vaak ad-hoc en afgestemd op specifieke primitieven in plaats van voortkomend uit een verenigd kader.
Vereiste van een Quantum Verhuurder: Bestaande schema's vereisen over het algemeen dat de verhuurder (client) volledig quantum is, in staat om quantumtoestanden voor te bereiden en te verzenden. In praktische scenario's voor cloud computing is het essentieel om de benodigde quantumbronnen van de client te minimaliseren. Het enige bekende schema met een klassieke verhuurder (Chardouvelis et al., Eurocrypt 2025) is beperkt tot Public-Key Encryption (PKE) en Fully Homomorphic Encryption (FHE) en leunt zwaar op specifieke LWE-structuren, wat generalisatie naar andere primitieven moeilijk maakt.

De centrale vraag die wordt geadresseerd is: Kunnen we een modulair SKL-framework ontwikkelen dat een volledig klassieke verhuurder ondersteunt en een breed scala aan veelgebruikte cryptografische functionaliteiten beslaat?

Methodologie

De auteurs stellen een modulair framework voor dat generieke cryptografische primitieven "upgrade" naar SKL-schema's met een klassieke verhuurder. De constructie rust op drie kerncomponenten:

Noisy Trapdoor Claw-Free (NTCF) Generatoren: Gebaseerd op het werk van Broadbent et al. en Mahadev, stellen NTCF's een klassieke client in staat om te verifiëren dat de quantumserver een specifieke "claw state" heeft voorbereid (een superpositie van twee pre-images $|0\rangle|a_0\rangle + |1\rangle|a_1\rangle \text{ waarvoor } f(a_0)=f(a_1)=y$ ). De beveiliging berust op de adaptive hardcore bit property, die garandeert dat zodra de server de toestand meet in de Hadamard-basis (om verwijdering te bewijzen), deze het vermogen verliest om de pre-images in de computationele basis te herstellen.
Speciale Dual-Mode Secure Function Evaluation (SFE): De auteurs construeren een nieuw SFE-schema gebaseerd op de Learning With Errors (LWE) assumptie. Dit SFE bezit specifieke eigenschappen die vereist zijn voor het framework:
- Dual-Mode: Het opereert in ofwel een extractable mode (waarbij extractie van de input-boodschap uit het ciphertext mogelijk is) of een hiding mode (die de input statistisch verbergt).
- State Recoverability: In de hiding mode kan de toestand (state) van de ontvanger worden hersteld uit het ciphertext en de input met behulp van een trapdoor.
- Efficiënte Superpositie Generatie: De ontvanger kan de SFE-toestand in superpositie genereren zonder verstrengeling achter te laten met de gebruikte randomheid.
- Decomposability: De toestand van de ontvanger kan worden gedecomposeerd in blokken die afhankelijk zijn van individuele bits van de input, een eigenschap die cruciaal is voor de security reduction.
Watermarking met Parallel Extraction: Het framework maakt gebruik van watermarkbare versies van de doel-primitieven (PKE, PRF, Signatures). Een watermarkbaar schema staat toe dat een "mark" (een geheime string) in een sleutel wordt ingebed. De security-notie vereist dat als een tegenstander een functioneel programma produceert (bijv. een decryptor of signer) dat correct werkt, een "parallel extractor" de ingebedde marks kan herstellen uit de quantumtoestand van de tegenstander.

Het Kernmechanisme:
Het framework transformeert een standaard sleutel naar een quantumtoestand door deze te verstrengelen met NTCF claw states.

De verhuurder (klassiek) stuurt NTCF publieke parameters en SFE Common Reference Strings (CRS) naar de huurder.
De huurder bereidt claw states voor en voert de eerste ronde van SFE uit.
De verhuurder definieert een circuit $C$ dat de NTCF pre-images mapt naar de werkelijke geheime sleutels van de onderliggende primitief (bijv. een watermarkable PKE-sleutel). Dit circuit wordt homomorf uitgevoerd via de SFE.
De huurder ontvangt het resultaat, waarmee effectief een quantumtoestand wordt verkregen waarin de geheime sleutel is ingebed in superpositie: $|0\rangle|sk_0\rangle + |1\rangle|sk_1\rangle$ .
Verwijdering (Deletion): Om de sleutel in te trekken, vraagt de verhuurder de huurder om de toestand te meten in de Hadamard-basis. Vanwege de eigenschappen van NTCF en de SFE, bewijst een geldige metingscertificaat dat de huurder de informatie in de computationele basis (de pre-images en daarmee de geheime sleutels) heeft verloren.
Security Reduction: Als een tegenstander de verwijderingsverificatie passeert maar nog steeds in staat is om de cryptografische taak uit te voeren (bijv. een bericht te decrypten), gebruikt de reductie de parallel mark extraction eigenschap van het watermarking-schema om de NTCF pre-images te extraheren. Gecombineerd met het verwijderingscertificaat (dat Hadamard-basis metingen biedt), verbreekt dit de cut-and-choose adaptive hardcore bit property van de NTCF.

Belangrijkste Bijdragen en Resultaten

1. Een Verenigd Klassiek-Lessor SKL Framework

Het artikel presenteert een algemene compiler die elke post-quantum veilige primitief voorzien van parallel-extractable watermarking omzet in een SKL-schema met een klassieke verhuurder. Dit framework is modulair en steunt op standaard assumpties (LWE) in plaats van ad-hoc constructies.

2. Specifieke Schema's

Op basis van dit framework construeren de auteurs:

PKE-SKL met Klassieke Verhuurder: Verbetering ten opzichte van eerdere LWE-gebaseerde constructies (Chardouvelis et al., Eurocrypt 2025) door de afhankelijkheid van specifieke LWE-structuren voor het PKE-schema zelf te verwijderen. De onderliggende PKE kan elk IND-CPA veilig post-quantum schema zijn.
PRF-SKL met Klassieke Verhuurder: De eerste constructie van een PRF met veilige key leasing en een klassieke verhuurder. Deze is gebaseerd op LWE en maakt gebruik van watermarkable Unpredictable Functions (UPFs).
DS-SKL met Klassieke Verhuurder: De eerste constructie van een digitale handtekening met veilige key leasing en een klassieke verhuurder. Dit vereist dat de onderliggende signature-methode beschikt over coherent signability (het vermogen om te ondertekenen met een superpositie van sleutels zonder de toestand te laten instorten), wat de auteurs construeren vanuit LWE/SIS.

3. Security Notions

Alle schema's voldoen aan VRA Security (Security against Verification Key Revealing Attacks). Dit is een sterke security-notie waarbij het schema veilig blijft, zelfs als de tegenstander de verwijderingsverificatiesleutel krijgt nadat een geldig verwijderingscertificaat is ingediend. Dit voorkomt dat de tegenstander de verificatiesleutel gebruikt om te bedriegen of informatie over de sleutel te leren na de verwijdering.

4. Niet-Interactieve Sleutelgeneratie

De auteurs verfijnen hun constructie om niet-interactieve sleutelgeneratie te bereiken voor PKE-SKL (en constant-round voor PRF/DS). In het standaardprotocol interageren de verhuurder en huurder om de sleutel te genereren. De verbeterde versie staat de verhuurder toe om eenmalig publieke parameters te publiceren, waarna de huurder de sleutel niet-interactief kan genereren. De volledige sleutelgeneratie wordt uitgesteld naar de encryptie/ondertekeningsfase, waarbij de huurder hulpinformatie uit het ciphertext gebruikt om de sleutelvoorbereiding te voltooien.

5. Hulpprincipes (Auxiliary Constructions)

Onderweg construeren de auteurs:

Een Watermarking Schema voor PKE, UPFs en digitale handtekeningen met parallel extraction eigenschappen.
Een Speciaal Dual-Mode SFE schema gebaseerd op LWE, dat unieke state recoverability en decomposability eigenschappen bezit die niet voorkomen in standaard SFE-definities.

Betekenis en Claims

Het artikel claimt de eerste modulaire framework te bieden voor secure key leasing die een volledig klassieke verhuurder ondersteunt over een breed spectrum aan cryptografische functionaliteiten (PKE, PRF, Signatures).

Modulariteit: In tegenstelling tot eerdere werken die op specifieke primitieven waren afgestemd, abstraheert deze aanpak het probleem naar een compiler die werkt voor elke primitief met parallel-extractable watermarking.
Praktische Bruikbaarheid: Door een klassieke verhuurder mogelijk te maken, sluit het framework aan bij real-world cloud computing scenario's waar clients geen quantumcapaciteiten hebben.
Sterkte van de Beveiliging: De schema's bereiken VRA-beveiliging, een sterkere garantie dan veel bestaande SKL-definities, wat robuustheid garandeert zelfs als verificatiesleutels na de verwijdering lekken.
Fundamentele Verbeteringen: De constructie van de speciale dual-mode SFE en de watermarking-schema's met parallel extraction worden gepresenteerd als onafhankelijke bijdragen van belang.

De auteurs merken op dat hoewel hun PKE-SKL constructie op LWE steunt, de onderliggende PKE zelf niet noodzakelijkerwijs LWE-gebaseerd hoeft te zijn, wat meer flexibiliteit biedt dan eerdere LWE-gestructureerde PKE-SKL schema's. Ze erkennen ook dat hun aanpak voor signatures de specifieke eigenschap van coherent signability vereist, die zij construeren uit LWE/SIS, terwijl eerdere quantum-lessor benaderingen vertrouwden op andere assumpties of specifieke signature-structuren.

Samenvattend overbrugt dit werk de kloof tussen theoretische quantum key leasing en praktische implementatie door de quantumbelasting van de verhuurder te verwijderen, terwijl sterke beveiligingsgaranties worden behouden via een verenigde, modulaire aanpak.