💻 computer science

How to Sign Quantum Messages

Oorspronkelijke auteurs: Mohammed Barhoush, Louis Salvail

Gepubliceerd 2026-01-28

📖 5 min leestijd🧠 Diepgaand

Oorspronkelijke auteurs: Mohammed Barhoush, Louis Salvail

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 leeft in een toekomst waarin computers niet alleen e-mails of bestanden versturen, maar quantumberichten sturen. Deze zijn als delicate, onzichtbare zeepbellen die informatie dragen. Het probleem is dat je in de wereld van de quantumfysica een quantum-bel niet zomaar kunt "ondertekenen" met een digitale stempel om te bewijzen wie hem heeft gestuurd. Als je naar de bel kijkt om de handtekening te controleren, knapt de bel of verandert de vorm, waardoor de handtekening waardeloos wordt. Lange tijd dachten wetenschappers dat dit betekende dat het ondertekenen van quantumberichten onmogelijk was.

Dit artikel zegt: "Wacht eens even!" De auteurs, Mohammed Barhoush en Louis Salvail, hebben drie slimme manieren gevonden om deze quantum-zeepbellen te ondertekenen, mits we een paar nieuwe regels accepteren over tijd en geheugen.

Hier is hoe ze het hebben gedaan, uitgelegd met alledaagse analogieën:

1. De "Tijdlok"-handtekening (Het langzame puzzelstuk)

Het Probleem: Als je een quantumbericht ondertekent, kan een slimme hacker proberen de handtekening te kopiëren en deze later te gebruiken om een nepbericht te ondertekenen.
De Oplossing: De auteurs introduceren Tijdafhankelijke Handtekeningen. Denk hierbij aan het versturen van een brief in een Tijdlok-puzzel.

Hoe het werkt: Wanneer je een bericht ondertekent, plaats je het in een digitale kluis die precies één uur nodig heeft om te openen. De "handtekening" is de vergrendelde kluis.
De Haken en Graten: Om het bericht te verifiëren, moet de ontvanger een uur wachten om de puzzel op te lossen en de kluis te openen. Tegen de tijd dat de kluis opengaat, is de "tijd" van het bericht verstreken.
Waarom het hackers stopt: Een hacker die probeert de handtekening te stelen en deze te gebruiken om morgen een nieuw bericht te ondertekenen, zal falen. Tegen de tijd dat de hacker de puzzel oplost om de sleutel te krijgen, is de "tijdstempel" op de sleutel oud en zal het systeem de sleutel afwijzen. Het is als proberen een kaart te gebruiken die gisteren is verlopen om vandaag een concert binnen te gaan.

2. De "Veranderende Sleutel"-handtekening (Het draaiende slot)

Het Probleem: Tijdlok-puzzels zijn traag en vereisen complexe wiskunde. Kan het sneller?
De Oplossing: Ze gebruiken Dynamische Verificatiesleutels. Stel je een bankkluis voor waarvan het slot elke uur verandert.

Hoe het werkt: De bank (de ondertekenaar) heeft een hoofdsleutel. Elke uur genereert ze een tijdelijke sleutel voor die specke specifieke uur en gebruikt deze om berichten te ondertekenen.
De Onthulling: Aan het einde van het uur kondigt de bank aan: "Dit was de sleutel voor het uur van 14:00 uur."
Waarom het werkt: Als een hacker een handtekening voor 14:00 uur wil vervalsen, heeft hij die specifieke sleutel nodig. Maar hij kan deze niet raden omdat de wiskunde te moeilijk is. Als hij die sleutel probeert te gebruiken om 15:00 uur, is deze nutteloos omdat het systeem al is overgeschakeld naar de sleutel van 15:00 uur. De oude sleutel is "verlopen". Dit maakt handtekeningen mogelijk op basis van zeer standaard, eenvoudige wiskundige aannames zonder dat er trage tijdlok-puzzels nodig zijn.

3. De "Geheugenbeperkte" handtekening (Het kortetermijngeheugen)

Het Probleem: Wat als we helemaal niet op tijd willen vertrouwen?
De Oplossing: Ze kijken naar een wereld waarin hackers beschikken over beperkt quantumgeheugen. Stel je een hacker voor die een quantumtoestand in zijn geest kan vasthouden, maar slechts voor een fractie van een seconde voordat deze vervaagt.

Hoe het werkt: De auteurs hebben een systeem gecreëerd waarbij de "handtekening" een complex quantumprogramma is. Om een handtekening te vervalsen, zou de hacker een enorme hoeveelheid quantuminformatie tegelijkertijd in zijn geheugen moeten kunnen vasthouden om deze te kopiëren.
Het Resultaat: Als het geheugen van de hacker te klein is (wat fysiek erg moeilijk te bouwen is op dit moment), kan hij simpelweg niet genoeg quantuminformatie vasthouden om de handtekening te vervalsen. Het is alsoal proberen een hele bibliotheek aan boeken te onthouden om een nepversie ervan te schrijven; als je brein slechts één pagina kan bevatten, kun je de bibliotheek niet vervalsen. Deze methode is "onvoorwaardelijk veilig", wat betekent dat het veilig is op basis van de wetten van de natuurkunde, niet alleen op basis van wiskunde.

Wat kunnen we hiermee doen?

Het artikel laat zien dat deze nieuwe ondertekeningsmethoden twee belangrijke toepassingen ontsluiten:

Quantumgeld:
Stel je een digitale dollar voor die een quantum-zeepbel is. In het verleden werd het maken van "public-key" quantumgeld (waarbij iedereen het kan verifiëren zonder de bank te vragen) als onmogelijk beschouwd.
- De Oplossing: Door gebruik te maken van de "tijdafhankelijke" handtekeningen, kan de bank geld uitgeven dat verloopt. Je kunt het uitgeven, en het systeem controleert de tijd. Als je probeert het geld te kopiëren en twee keer uit te geven, zullen de tijdcontroles de fraude onthullen. Dit creëert het eerste "public-key quantumgeld" gebaseerd op standaard aannames.
Beveiligde Quantum Sleutels:
In een toekomstig "Quantum Internet" moeten mensen geheime sleutels delen om hun berichten te versleutelen. Normaal gesproken moet je de persoon vertrouwen die de sleutel verstuurt.
- De Oplossing: De auteurs laten zien hoe je deze quantum sleutels kunt "ondertekenen" met hun nieuwe methoden. Op deze manier kan de ontvanger, zelfs als een hacker probeert de sleutel te vervangen door een nepversie, de tijdgestempelde handtekening controleren en weten: "Deze sleutel is authentiek en is niet aangepast."

De Kern van het Verhaal

Jarenlang dachten wetenschappers dat je een quantumbericht niet kon ondertekenen zonder een vooraf gedeeld geheim of een vertrouwde derde partij. Dit artikel doorbreekt die barrière. Door gebruik te maken van tijd (wachten tot puzzels zijn opgelost of sleutels zijn verlopen) of geheugenlimieten (hackers dwingen om te veel data vast te houden), hebben de auteurs de eerste manieren gecreëerd om quantumberichten te ondertekenen die voor iedereen verifieerbaar zijn. Het is een grote stap richting een beveiligd, toekomstig quantuminternet.

Technische Samenvatting: Hoe kwantumberichten te ondertekenen

1. Probleemstelling

De veilige transmissie van kwantumdata binnen een toekomstig kwantuminternet vereist mechanismen voor zowel encryptie als authenticatie. Hoewel kwantumencryptie onder standaardveronderstellingen is gerealiseerd, is het ondertekenen van kwantumberichten lang als onmogelijk beschouwd, zelfs onder computationele veronderstellingen. Eerdere onmogelijkheidsresultaten (bijv. Barnum et al., Alagic et al.) stelden vast dat elk verificatiealgoritme dat in staat is een kwantumbericht af te leiden uit een handtekening, kan worden omgekeerd om een handtekening voor een ander bericht te vervalsen.

Gevolgelijk heeft de cryptografische gemeenschap vertrouwd op signcryption, een primitief dat encryptie en ondertekening combineert. Signcryption mist echter publieke verifieerbaarheid; alleen de beoogde ontvanger (die beschikt over een geheime decryptiesleutel) kan de authenticiteit verifiëren. Deze beperking verhindert de vestiging van een publieke sleutelinfrastructuur (PKI) voor kwantumsystemen, waarbij publieke sleutels geauthenticeerd moeten worden zonder vooraf gedeelde geheimen. Bovendien heeft de onmogelijkheid om kwantumtoestanden te ondertekenen de realisatie van publieke-sleutel kwantumgeld gehinderd, een doel dat ongrijpend is gebleven onder standaard computationele veronderstellingen, en vaak sterke en potentieel onveilige aannames zoals indistinguishability obfuscation vereist.

Dit werk daagt de opvatting uit dat het ondertekenen van kwantumberichten onmogelijk is door tijd-afhankelijkheid en beperkte kwantumopslag als middelen te introduceren om de inversie-aanvallen die inherent zijn aan standaard signature-schema's te omzeilen.

2. Methodologie en Kernconcepten

De auteurs stellen drie verschillende benaderingen voor om kwantumberichten te ondertekenen, waarbij gebruik wordt gemaakt van twee primaire beperkingen om vervalsing te voorkomen: tijd en kwantumgeheugen.

A. Tijd-afhankelijke (TD) handtekeningen

De centrale innovatie is de introductie van Tijd-afhankelijke (TD) handtekeningen, waarbij de ondertekenings- en verificatiealgoritmen afhangen van de huidige tijd $t$ . Het kerninzicht is dat de "inversie-aanval" (het inverteren van de verificatie om een handtekening te vervalsen) middelen vereist die ontoelaatbaar worden wanneer tijd een factor is.

Mechanisme: Een handtekening is alleen geldig als deze wordt geverifieerd binnen een specifieke tijdsvenster relatief aan de creatie ervan. Als een tegenstander probeert het verificatieproces te inverteren om een nieuwe handtekening te vervalsen, maakt de tijd die nodig is om het onderliggende cryptografische puzzel op te lossen de vervalste handtekening obsoleet op het moment dat deze wordt gegenereerd.
Aannames: De constructies vertrouwen op Post-Quantum One-Way Functions (pq-OWFs) en, in sommige gevallen, Time-Lock Puzzles (TLPs). TLPs zorgen ervoor dat een bericht (of sleutel) gedurende een specifieke duur $t$ verborgen blijft, maar kort daarna gedecodeerd kan worden.

B. Dynamische Verificatiesleutels (TD-DVK)

Om de afhankelijkheid van TLPs te elimineren, introduceren de auteurs TD-handtekeningen met Dynamische Verificatiesleutels (TD-DVK).

Mechanisme: De verificatiesleutel evolueert in de loop van de tijd. Een geheime sleutel wordt gebruikt om tijdelijke ondertekeningssleutels voor specifieke tijdsintervallen te genereren. De verificatiesleutel voor een specifiek interval wordt aangekondigd nadat dat interval is verstreken.
Beveiliging: Een tegenstander kan geen handtekening vervalsen voor een vorig interval omdat zij de ondertekeningssleutel niet kunnen voorspellen (beveiligd door pq-PRFs). Zij kunnen geen handtekening vervalsen voor de toekomst omdat de verificatiesleutel voor het huidige interval nog niet is aangekondigd, en de ondertekeningssleutel voor het toekomstige interval onbekend is. Dit creëert een "verdwijnend" beveiligingseigenschap waarbij handtekeningen verlopen.

C. Bounded Quantum Storage Model (BQSM)

De tweede belangrijke benadering opereert onder het Bounded Quantum Storage Model, waarbij tegenstanders beperkt zijn in hun kwantumgeheugen ( $s$ qubits).

Mechanisme: Deze benadering maakt gebruik van one-time programs en program broadcast primitieven. De publieke sleutel is een grote kwantumtoestand (een program broadcast) die gebruikers slechts gedeeltelijk kunnen opslaan vanwege geheugenbeperkingen.
Beveiliging: De handtekening omvat one-time programma's die informatie vrijgeven die noodzakelijk is voor verificatie, alleen wanneer deze worden geëvalueerd op specifieke inputs afgeleid van de opgeslagen subkey van de gebruiker. Een tegenstander met beperkt geheugen kan niet genoeg informatie opslaan om een handtekening te vervalsen of een bestaande handtekening aan te passen zonder gedetecteerd te worden, omdat zij niet in staat zijn de noodzakelijke verstrengeling of toestand over het verificatieproces heen te behouden.

3. Belangrijkste Bijdragen en Resultaten

1. Tijd-afhankelijke Handtekeningen (Twee Constructies)

Constructie 1 (TLP-gebaseerd): Een TD-handtekeningschema dat uitgaat van pq-OWFs en TLPs. De handtekening bestaat uit een versleuteld kwantumbericht en een TLP die de decryptiesleutel en een tijdstempel bevat. Verificatie vereist het oplossen van de TLP, wat tijd $t$ duurt. Tegen de tijd dat de sleutel wordt onthuld, is de handtekening tijd-verlopen.
Constructie 2 (TD-DVK): Een TD-handtekeningschema gebaseerd uitsluitend op pq-OWFs. Het gebruikt een symmetrisch geauthenticeerd encryptieschema waarbij de sleutel pas na het ondertekeningsinterval wordt onthuld. Deze constructie bereikt kwantum onvervalsbaarheid (QUF) en een verdwijnende eigenschap (handtekeningen kunnen niet worden hergebruikt of vervalst voor eerdere berichten, zelfs niet als een handtekening eerder is waargenomen).

2. Handtekeningen in de BQSM

Constructie 3: Een informatie-theoretisch beveiligd handtekeningschema voor kwantumberichten in de BQSM.
Kenmerken: Het adresseert drie beperkingen van eerder BQSM-werk: het ondertekent kwantum (niet alleen klassieke) berichten, het is veilig tegen tegenstanders met onbeperkte toegang tot de ondertekeningsoracle (in tegenstelling tot eerder werk), en het bevat gecertificeerde kwantum publieke sleutels.
Mechanisme: De publieke sleutel is een program broadcast van een lineaire functie. De handtekening gebruikt twee onderling afhankelijke one-time programma's om het bericht en de sleutel te authenticeren, wat voorkomt dat een tegenstander de handtekening aanpast zonder de geheime sleutel te kennen, die zij niet volledig kunnen reconstrueren vanwege de geheugenbeperkingen.

3. Toepassingen

De auteurs demonstreren dat TD-handtekeningen verschillende voorheen moeilijke of onmogelijke cryptografische primitieven mogelijk maken:

Geauthenticeerde Kwantum Publieke Sleutels (QPKE):
- Constructie 4 (Mixed-State): Een QPKE-schema dat TD-DVK-handtekeningen gebruikt om mixed-state kwantum publieke sleutels te authenticeren. Het bereikt IND-qCKCA2 beveiliging (ononderscheidbaarheid onder adaptieve gekozen kwantum sleutel en ciphertext aanval) vanuit pq-OWFs.
- Constructie 5 (Pure-State): Een QPKE-schema dat one-time TD-DVK-handtekeningen gebruikt om pure-state sleutels te authenticeren. Dit schema bereikt IND-CKPA beveiliging op basis van Pseudorandom Function States (PRFS), een potentieel zwakkere aanname dan pq-OWFs. Het lost openstaande vragen op over decryptiefouten en de sterkte van aannames in eerdere QPKE-werken.
Publieke-sleutel Kwantum Geld:
- Semi-Online Schema (TD-DVK): Een publieke-sleutel kwantum geld schema gebaseerd op pq-OWFs. Bankbiljetten zijn kwantumtoestanden die met meerdere lagen one-time QAE zijn versleuteld. Verificatiesleutels worden periodiek aangekondigd, waardoor gebruikers het bankbiljet kunnen valideren. Het bankbiljet verloopt nadat alle sleutels zijn onthuld.
- Offline Schema (TD + TLP): Een volledig offline publieke-sleutel kwantum geld schema gebaseerd op pq-OWFs en TLPs. De sleutels zijn gecodeerd in TLPs, waardoor gebruikers ze pas op specifieke tijden kunnen afleiden zonder interactie met de bank. Dit is het eerste publieke-sleutel kwantum geld schema geconstrueerd vanuit standaard computationele aannames (pq-OWFs).

4. Betekenis en Claims

Het artikel claimt het eerste werk te zijn dat kwantumberichten ondertekent zonder signcryption te gebruiken, waardoor publieke verifieerbaarheid voor kwantumdata wordt bereikt.

Onmogelijkheid Overwinnen: Het werk daagt de gevestigde onmogelijkheid uit om kwantuminformatie te ondertekenen door aan te tonen dat dit haalbaar is wanneer het verificatieproces wordt beperkt door tijd of geheugen.
Standaard Aannames: Het biedt de eerste constructies voor publieke-sleutel kwantum geld en geauthenticeerde kwantum publieke sleutels gebaseerd op standaard computationele aannames (pq-OWFs), waarbij de noodzaak voor indistinguishability obfuscation of andere complexe, potentieel onveilige aannames wordt vermeden.
Practicaliteit van Tijd: De auteurs stellen dat tijd fungeert als een vorm van synchronisatie die eenvoudig in de praktijk te implementeren is, wat een krachtig instrument biedt voor het construeren van fundamentele cryptografische primitieven.
Beveiligingsniveaus: De BQSM-constructie biedt informatie-theoretische beveiliging, terwijl de TD-constructies computationele beveiliging bieden op basis van goed onderzochte post-kwantum aannames.

De auteurs erkennen beperkingen, zoals de vervaldatum van handtekeningen en bankbiljetten, en de noodzaak voor tijdsynchronisatie of dynamische sleutelvermeldingen. Ze stellen echter dat dit redelijke afwegingen zijn voor het bereiken van publiekelijk verifieerbare, tamper-resiliente kwantum cryptografische systemen. Dit werk opent nieuwe wegen voor onderzoek naar tijd-afhankelijke modellen en de toepassing van bounded storage modellen op andere cryptografische primitieven.