⚛️ quantum physics

Digital signatures with classical shadows on near-term quantum computers

Dit artikel stelt een op korte termijn haalbaar quantum digitale ondertekeningsschema voor en demonstreert dit experimenteel, dat uitsluitend berust op klassieke communicatie door gebruik te maken van klassieke schaduwen van willekeurige circuittoestanden als publieke sleutels, ondersteund door een verbeterde state-certificatie primitief en gevalideerd op een 32-qubit quantumprocessor.

Oorspronkelijke auteurs: Pradeep Niroula, Minzhao Liu, Sivaprasad Omanakuttan, David Amaro, Shouvanik Chakrabarti, Soumik Ghosh, Zichang He, Yuwei Jin, Fatih Kaleoglu, Steven Kordonowy, Rohan Kumar, Michael A. Perlin, Akshay

Gepubliceerd 2026-02-05

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Pradeep Niroula, Minzhao Liu, Sivaprasad Omanakuttan, David Amaro, Shouvanik Chakrabarti, Soumik Ghosh, Zichang He, Yuwei Jin, Fatih Kaleoglu, Steven Kordonowy, Rohan Kumar, Michael A. Perlin, Akshay Seshadri, Matthew Steinberg, Joseph Sullivan, Jacob Watkins, Henry Yuen, Ruslan Shaydulin

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

Het Grote Plaatje: Een Nieuw Soort Digitaal ID-bewijs

Stel je voor dat je een geheim bericht naar een vriend wilt sturen, en je moet bewijzen dat het echt van jou komt. In de digitale wereld gebruiken we hiervoor digitale handtekeningen. Meestal vertrouwen deze handtekeningen op wiskundige problemen die moeilijk zijn voor computers om op te lossen (zoals het ontbinden van enorme getallen in priemfactoren). Maar een krachtige toekomstige quantumcomputer zou deze wiskundige problemen gemakkelijk kunnen oplossen, waardoor onze huidige beveiliging wordt doorbroken.

Dit paper stelt een nieuwe manier voor om digitale handtekeningen te maken die niet afhankelijk zijn van wiskundige puzzels. In plaats daarvan vertrouwen ze op de vreemde wetten van de quantumfysica. De auteurs laten zien dat zij, zelfs met de huidige ruisgevoelige, imperfecte quantumcomputers, een handtekening kunnen creëren die veilig is omdat het fysiek onmogelijk is om deze te "vervalsen" zonder de geheime sleutel te kennen.

Het Probleem: Het "Glazen Huis" van Quantumbeveiliging

Eerdere ideeën voor quantumhandtekeningen hadden een groot gebrek: ze vereisten het versturen van daadwerkelijke quantumdeeltjes (zoals fotonen) over het internet om een handtekening te bewijzen.

De Analogie: Stel je voor dat je een fragiel glazen beeldhouwwerk per post probeert te versturen. Als je het via de post verstuurt, kan het breken, of iemand kan het vervangen door een vervalsing. Om het veilig te houden, is speciale "quantumgeheugen" nodig (zoals een supergekoelde kluis) die nu nog niet echt bestaat.

De auteurs vroegen zich af: Kunnen we een quantumhandtekening maken die alleen reguliere, klassieke data gebruikt (zoals enen en nullen) die we over het internet kunnen sturen, zonder dat we fragiele quantumdeeltjes tijdens het transport nodig hebben?

De Oplossing: "Classical Shadows"

Het antwoord is Classical Shadows.

De Metafoor: Stel je voor dat je een complex, 3D-beeldhouwwerk hebt (de quantumtoestand). Je kunt het beeldhouwwerk zelf niet versturen omdat het te zwaar en te fragiel is. Je kunt echter vanuit veel verschillende hoeken licht op het object schijnen en de schaduwen (2D-silhouetten) ervan vastleggen.
De Magie: Als je genoeg schaduwen vanuit willekeurige hoeken hebt, kun je wiskundig reconstrueren hoe het beeldhouwwerk eruitziet. Maar hier zit de crux: als je alleen de schaduwen hebt, is het ongelooflijk moeilijk om precies te achterhalen hoe het beeldhouwwerk is opgebouwd (het geheime recept of de "circuit").
De Claim van het Paper: De auteurs gebruiken deze "schaduwen" (die simpelweg lijsten met getallen zijn) als de publieke sleutel. De verzender houdt het "recept" (het quantumcircuit) geheim. Om een bericht te ondertekenen, onthult de verzender het recept. De ontvanger gebruikt de publieke schaduwen om te controleren of het recept inderdaad het juiste beeldhouwwerk produceert.

De Uitdaging: Ruisgevoelige Quantumcomputers

De quantumcomputers van vandaag zijn als een peuter die probeert een LEGO-kasteel te bouwen. Ze worden moe, laten onderdelen vallen en maken fouten (ruis). Als de computer te veel fouten maakt, ziet het "beeldhouwwerk" er verkeerd uit en faalt de handtekening.

Om dit op te lossen, heeft het team een nieuwe manier uitgevonden om de kwaliteit van het beeldhouwwerk te controleren, genaamd State Certification.

De Analogie: In plaats van alleen naar het voltooide kasteel te kijken, hebben ze een speciale "foutdetectiecode" ontwikkeld (zoals een spellingcontrole voor quantumtoestanden). Ze bouwden het kasteel met een speciale "IJsberg"-structuur. Als er een stuk afvalt, verandert de structuur op een manier die gemakkelijk te spotten is, waardoor ze de slechte pogingen kunnen weggooien en alleen de goede overhouden.

Het Experiment: Een Proof of Concept

Het team heeft dit getest op een echte quantumcomputer (een trapped-ion processor van Quantinuum).

Wat ze deden: Ze creëerden een "schaduw" van een quantumtoestand bestaande uit 32 qubits (de basisunits van quantuminformatie).
Het Resultaat: Ze slaagden erin een handtekening te creëren met een succespercentage van 90% (fidelity). Dit is hoog genoeg om te bewijzen dat het idee werkt.
De Beveiliging: Ze lieten zien dat terwijl het een quantumcomputer een korte tijd kost om de handtekening te verifiëren, het voor een hacker onmogelijk lang zou duren om het geheime recept terug te herleiden uit de schaduwen. Het is als het verschil tussen controleren of een sleutel in een slot past (snel) en proberen een nieuwe sleutel te boukken door naar de krassen op het slot te kijken (onmogelijk).

Waarom dit ertoe doet (volgens het paper)

Geen "One-Way Functions" nodig: De huidige beveiliging vertrouwt op wiskundige problemen waarvan we denken dat ze moeilijk zijn. Deze nieuwe methode vertrouwt op de fundamentele wetten van de natuurkunde, die moeilijker te breken zijn.
Werkt op de huidige hardware: Je hebt geen perfecte, futuristische quantumcomputer nodig. Dit werkt op de ruisgevoelige, imperfecte machines die we nu al hebben.
Klassieke Communicatie: Je hoeft geen quantumdeeltjes over het internet te sturen. Je stuurt gewoon reguliere data (de schaduwen), wat veel gemakkelijker is.

Samenvatting in één zin

De auteurs hebben een nieuw type digitale handtekening gecreëerd dat "schaduwen" van quantumtoestanden gebruikt om identiteit te bewijzen, waarmee ze aantonen dat we zelfs met de huidige imperfecte quantumcomputers veilige codes kunnen maken die onmogelijk te vervalsen zijn zonder de geheime sleutel.

Technische Samenvatting: Digitale Handtekeningen met Klassieke Schaduwen op Nabije Quantumcomputers

Probleemstelling

Traditionele digitale handtekeningsschema's vertrouwen op het bestaan van éénrichtingsfuncties (OWF's), zoals gehele getal factorisatie (RSA) of roostergebaseerde problemen (LWE). Deze aannames zijn kwetsbaar voor fouttolerante quantumcomputers (bijv. Shor's algoritme) en zijn onderwerp van voortdurend onderzoek met betrekking tot hun veiligheid tegen quantum-adversaries. Hoewel quantummechanica alternatieve cryptografische primitieven biedt die gebaseerd zijn op natuurkundige wetten in plaats van wiskundige hardheid, vereisen bestaande voorstellen voor quantum digitale handtekeningen (QDS) doorgaans de transmissie en coherente opslag van quantumtoestanden als publieke sleutels. Deze afhankelijkheid van laag-ruis quantumcommunicatie en langdurig houdbare quantumgeheugens maakt huidige voorstellen onpraktisch voor nabije quantumapparaten.

De centrale uitdaging die in dit werk wordt aangepakt, is de realisatie van een quantum digitaal handtekeningschema dat:

Niet vertrouwt op OWF's of het bestaan van éénrichtingsfuncties.
Uitsluitend werkt met klassieke communicatie, waardoor de noodzaak voor quantumgeheugen of de quantumtransmissie van publieke sleutels wordt geëlimineerd.
Haalbaar is op nabije, ruisige intermediate-scale quantum (NISQ) hardware.

Methodologie

Kernconcept: Klassieke Schaduwen als Publieke Sleutels

De auteurs stellen een handtekeningsschema voor waarbij de publieke sleutels geen quantumtoestanden zijn, maar klassieke schaduwen van quantumtoestanden.

Geheime sleutel: Twee willekeurige quantumcircuits, $C_0$ en $C_1$ .
Publieke sleutel: Klassieke schaduwen, $S(|C_0\rangle)$ en $S(|C_1\rangle)$ , gegenereerd door het uitvoeren van willekeurige metingen op de toestanden $|C_b\rangle = C_b|0\rangle$ .
Ondertekenen: Om een bit $b$ te ondertekenen, onthult de verzender de klassieke beschrijving van het circuit $C_b$ .
Verificatie: De ontvanger gebruikt de publieke schaduwen en het onthulde circuit om te verifiëren dat het circuit $C_b$ een toestand produceert die consistent is met de publieke schaduwen. Dit wordt bereikt via een schaduw overlap protocol.

Veiligheidsaanname: Computationele Niet-Leerbaarheid (CNL)

De veiligheid van het schema rust op de conjectuur van Computationele Niet-Leerbaarheid (CNL) uit schaduwen. Deze conjectuur stelt dat het computationeel onhaalbaar is voor een adversary om de beschrijving van een willekeurig quantumcircuit te leren, gegeven alleen de klassieke schaduwen (polynomiale lengte monsters van willekeurige metingen).

Deze aanname is verschillend van en zwakker dan de standaard "niet-leren van toestanden" conjectuur, aangezien schaduwen worden afgeleid van staat-kopieën via eenvoudige metingen.
De paper levert theoretisch bewijs dat bestaande leeralgoritmen (bijv. gebaseerd op lokale inversie of lichtkegel-argumenten) falen om deze circuits te leren onder de beperkingen van het protocol (behoorlijk leren, willekeurige geometrie en uitsluitend toegang tot schaduwen).
De auteurs demonstreren een scheiding tussen de tijd die nodig is om een handtekening te verifiëren (exponentieel in $n$ maar haalbaar voor de verifieerder) en de tijd die nodig is om te leren (spoofen) het circuit (exponentieel moeilijker), wat een veiligheidsgat creëert.

Technische Innovaties

Om het schema levensvatbaar te maken op ruisige hardware, introduceren de auteurs twee belangrijke technische verbeteringen:

Verbeterd Schaduw Overlap Protocol: Ze modificeren bestaande schaduw overlap protocollen (gebaseerd op Ref. [30]) door gebruik te maken van willekeurige Clifford-circuits op subsets van qubits in plaats van enkel willekeurige Pauli-metingen. Dit vermindert de "relaxatietijd" ( $\tau$ ) van de certificerings-Markovketen en verlaagt de variantie van de estimator, wat de tolerantie voor ruis aanzienlijk verbetert en de monstercomplexiteit die nodig is voor certificering vermindert.
Quantum Foutdetectie (QED): Om hardware-infideliteit te overwinnen, gebruiken de auteurs een multi-block Iceberg foutdetectiecode.
- De Iceberg-code codeert $k$ logische qubits in $k+2$ fysieke qubits.
- Ze maken gebruik van gauge fixing om bepaalde logische operatoren te promoten naar stabilisatoren, wat "proxy" qubits creëert die de parallellisatie van single-qubit logische gates mogelijk maken, waardoor de circuitdiepte en geheugenfouten worden verminderd.
- Deze aanpak bereikt "beyond-break-even" prestaties, waarbij de gecodeerde fideliteit de ongecodeerde fideliteit overstijgt ondanks de overhead.

Belangrijkste Resultaten

Theoretisch Bewijs

Leerbaarheid Hardheid: De auteurs tonen aan dat bekende algoritmen voor het leren van ondiepe circuits niet voldoen aan de noodzakelijke voorwaarden (behoorlijk leren, willekeurige geometrie, uitsluitend toegang tot schaduwen) om het schema te breken.
Veiligheidsgat: Ze bewijzen dat voor specifieke circuit-ensembles (benaderende ontwerpen), de tijdscomplexiteit voor een adversary om het circuit te leren via lage-graads polynomen of variationeel trainen exponentieel groter is dan de tijd die nodig is voor verificatie. Specifiek tonen ze aan dat variationeel trainen exponentieel veel queries vereist om de doel-fideliteit te bereiken voor de gebruikte circuitdieptes.

Experimentele Demonstratie

De auteurs hebben het protocol geïmplementeerd op de Quantinuum H2 trapped-ion processor (56 fysieke qubits).

Circuit Parameters: Ze genereerden schaduwen voor 32-qubit toestanden met willekeurige circuits met $\ge 80$ logische twee-qubit gates (overeenkomend met $\ge 582$ fysieke twee-qubit gates).
Fideliteit: Met behulp van de multi-block Iceberg-code met gauge fixing bereikten ze een gecertificeerde fideliteit van $0.90 \pm 0.01$ met 17.316 samples.
Proof-of-Principle: Het experiment demonstreerde succesvol het vermogen om een eerlijke ondertekenaar te onderscheiden van een adversary. De auteurs berekenden dat het vergroten van de sample-omvang met een factor 19,5 (naar ~340k samples) voldoende zou zijn om een veiligheidsparameter te bereiken waarbij de kans dat een computationeel beperkte adversary de handtekening succesvol vervalst verwaarloosbaar is ( $< 10^{-5}$ ).

Betekenis en Claims

De paper claimt de nabije haalbaarheid aan te tonen van quantum digitale handtekeningen die niet afhankelijk zijn van OWF's of quantumcommunicatie.

Onafhankelijkheid van OWF's: Het schema fundeert veiligheid in de fysieke moeilijkheid van het leren van quantumprocessen, wat een route biedt naar cryptografie die veilig blijft zelfs als OWF's niet bestaan.
NISQ Compatibiliteit: Door gebruik te maken van klassieke schaduwen en foutdetectiecodes in plaats van volledige foutcorrectie, opereert het protocol binnen de mogelijkheden van de huidige ruisige quantumhardware.
Fundamentele Primitief: Dit werk legt een link tussen quantum digitale handtekeningen en one-way puzzles, een primitief die de constructie van andere quantum cryptografische protocollen (zoals niet-interactieve bit-commitments) mogelijk maakt zonder OWF's te veronderstellen.

De auteurs benadrukken dat hoewel de huidige demonstratie een proof-of-principle is voor een single-bit handtekening, de onderliggende primitieven (schaduw overlap certificering en foutdetectie) schaalbaar zijn. Ze merken op dat het uitbreiden hiervan naar multi-bit berichten mogelijk is met behulp van klassieke foutcorrigerende codes om de verificatiekosten te verlagen, en dat het vergroten van de circuitgrootte de veiligheid verder zal herstellen tegen mogelijke toekomstige doorbraken in leeralgoritmen.