⚛️ quantum physics

A NISQ-friendly Coined Quantum Walk Algorithm for Chaos-based Cryptographic Applications

Dit artikel presenteert een nieuw, NISQ-vriendelijk 'lackadaisical alternating quantum walk'-algoritme met een aanzienlijk lagere circuitsdiepte dan bestaande modellen, en demonstreert de bruikbaarheid ervan voor het genereren van reproduceerbare cryptografische sleutels onder ruisomstandigheden.

Oorspronkelijke auteurs: Natalie Gibson, Niklas Keckman, Andrea Marchesin, Matti Raasakka, Ilkka Tittonen

Gepubliceerd 2026-04-17

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Natalie Gibson, Niklas Keckman, Andrea Marchesin, Matti Raasakka, Ilkka Tittonen

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 quantum-quantum (een heel klein deeltje) hebt dat door een labyrint loopt. In de klassieke wereld zou dit deeltje willekeurig links of rechts afslaan, net als een dronken wandelaar. Maar in de quantumwereld kan dit deeltje zich op meerdere plekken tegelijk bevinden en interfereert het met zichzelf, waardoor het veel sneller door het labyrint kan komen dan een normale wandelaar.

Dit artikel van onderzoekers van de Aalto-universiteit in Finland introduceert een nieuwe, slimme manier om deze "quantum-wandelaar" te gebruiken voor cryptografie (geheime codes).

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. Het Probleem: De "Zware" Quantum Computer

Tot nu toe werden deze quantum-wandelingen gebruikt om willekeurige getallen te maken voor geheime sleutels (zoals een wachtwoord dat je deelt met iemand). Maar de bestaande methodes waren als een zware, langzame vrachtwagen.

Ze hadden een heel diep circuit (veel stappen) nodig om te werken.
De huidige quantumcomputers (die we nu hebben, de zogenaamde "NISQ"-machines) zijn nog niet sterk genoeg en maken veel fouten (ruis). Als je te veel stappen zet, is het resultaat al verpest door ruis voordat het klaar is.
Het was alsof je probeerde een complexe dans te doen op een trampoline die al uit elkaar valt: je valt er te snel af.

2. De Oplossing: De "Lackadaisical" (Luie) Wandeling

De onderzoekers hebben een nieuwe methode bedacht: de LAQW (Lackadaisical Alternating Quantum Walk).

De Analogie: Stel je voor dat de wandelaar in het oude model alleen maar hard kon lopen (links of rechts). In het nieuwe model heeft de wandelaar een eigen stoeltje op elke hoek van het labyrint.
Hij kan nog steeds links of rechts lopen, maar hij kan ook op zijn stoel blijven zitten.
Waarom is dit slim? Door die "stoel" (een zelflus in de wiskunde) toe te voegen, kunnen ze de wiskundige berekeningen veel efficiënter uitvoeren. Het is alsof je de vrachtwagen vervangt door een elektrische fiets: hij doet precies hetzelfde werk (willekeurige patronen maken), maar hij is veel lichter, sneller en past perfect op de trampoline van de huidige quantumcomputers.

3. Het Resultaat: Een Beter Wachtwoord

Met deze nieuwe, lichtere methode kunnen ze nu:

Diepere circuits vermijden: De "elektrische fiets" heeft veel minder stappen nodig dan de "vrachtwagen". Dit betekent dat de quantumcomputer minder tijd nodig heeft en minder fouten maakt.
Willekeurige sleutels maken: Ze gebruiken de positie van de wandelaar na een tijdje als bron voor een heel willekeurig getal. Omdat quantum-systemen extreem gevoelig zijn voor kleine veranderingen (als je de startpositie met één duim verandert, is het hele pad anders), is dit perfect voor het maken van onkraakbare wachtwoorden.
Reproduceerbaarheid: Het klinkt gek, maar quantum-systemen zijn vaak onvoorspelbaar. De onderzoekers hebben een slimme "naald" bedacht (post-processing) die de ruwe quantum-resultaten omzet in een perfect herhaalbaar wachtwoord. Als jij en ik dezelfde startinstellingen gebruiken, krijgen we exact hetzelfde wachtwoord, zelfs als de quantumcomputer een beetje ruis heeft.

4. De Vergelijking: Oud vs. Nieuw

De onderzoekers hebben hun nieuwe methode vergeleken met de oude:

De Oude Methode (CAQW): Had een circuit diepte van $O(n^2t)$ . Dit is als een berg die je moet beklimmen.
De Nieuwe Methode (LAQW): Heeft een circuit diepte van $O(n^2 + nt)$ . Dit is als een heuvel.
Het Effect: Ze hebben ongeveer 88% minder "stappen" nodig. Dat is een enorme winst voor de huidige, nog kwetsbare quantumcomputers.

Conclusie: Waarom is dit belangrijk?

Stel je voor dat je een slot wilt maken dat alleen open gaat met een sleutel die door de natuur zelf is gegenereerd.

Vroeger was het maken van die sleutel te zwaar voor de huidige technologie (te veel ruis, te complex).
Nu, met deze "luie" wandeling, is het mogelijk om die sleutel te maken op de quantumcomputers die we nu al hebben.

Het artikel laat zien dat we met deze slimme truc al kunnen beginnen met het bouwen van veilige communicatiesystemen voor de toekomst, zonder te hoeven wachten op de super-krachtige quantumcomputers van over 20 jaar. Het is een stap in de richting van veiligheid die gebaseerd is op de wetten van de natuur, en niet alleen op wiskundige raadsels.

Titel

Een NISQ-vriendelijk 'Coined' Quantum Walk-algoritme voor chaotische cryptografische toepassingen.

1. Het Probleem

Discrete-tijd kwantumwandelingen (DTQWs) zijn krachtige tools voor cryptografie vanwege hun chaotische aard (gevoeligheid voor beginvoorwaarden, nonlineariteit en aperiodiciteit). Echter, bestaande modellen zoals de Controlled Alternating Quantum Walk (CAQW), die worden gebruikt voor symmetrische sleutelgeneratie en beeldversleuteling, hebben een nadeel voor de huidige generatie kwantumcomputers (NISQ-apparaten):

Circuitdiepte: De circuitdiepte van een CAQW op een rooster van $n \times n$ over $t$ tijdstappen schaalt als $O(n^2t)$ .
NISQ-beperkingen: Huidige kwantumprocessoren hebben beperkte coherentie-tijden en fouten in poorten. Diepe circuits leiden tot te veel ruis, waardoor de resultaten niet reproduceerbaar zijn. Dit maakt CAQW onpraktisch voor encryptie-schakelingen op huidige hardware.
Pariteit-probleem: CAQW vereist roosters met een oneven aantal knopen om te voorkomen dat de wandelaar alleen op even of oneven posities terechtkomt (wat de waarschijnlijkheidsverdeling voorspelbaar maakt). Echter, het implementeren van oneven roosters op kwantumcomputers (die machten van 2 hebben) vereist complexe schakelingen die de diepte verder vergroten.

2. Methodologie

De auteurs stellen een nieuw model voor: de Lackadaisical Alternating Quantum Walk (LAQW).

Het LAQW-model:
- Dit is een aanpassing van de CAQW waarbij aan elke knoop van het graf een zelflus (self-loop) wordt toegevoegd.
- Hierdoor heeft de wandelaar op elk tijdstip de keuze om naar links, rechts te bewegen of op zijn plaats te blijven.
- Dit maakt het mogelijk om roosters met een even aantal knopen ( $2n$ ) te gebruiken zonder dat de waarschijnlijkheidsverdeling voorspelbaar wordt (de wandelaar kan na $t > 2n$ stappen elk punt bereiken).
- De toevoeging van een tweede muntqubit (coin qubit) maakt het mogelijk om de verschuifoperatoren (shift operators) als circulaire matrices te definiëren. Dit stelt de auteurs in staat om de Quantum Fourier Transform (QFT)-gebaseerde aanpak te gebruiken voor de implementatie.
Circuitimplementatie:
- Door gebruik te maken van QFT en QADD-gates (voor increment/decrement), wordt de circuitdiepte gereduceerd tot $O(n^2 + nt)$ .
- Dit is een aanzienlijke verbetering ten opzichte van de $O(n^2t)$ van de CAQW, vooral bij grote $t$ .
Sleutelgeneratieschema:
1. Initiële parameters: Kies willekeurige beginposities $(x, y)$ , muntrotatiehoeken ( $\alpha, \theta_0, \theta_1$ ), tijdstappen $t$ en een bitstring $K$ .
2. Sampling: Voer de LAQW uit met $S \approx 10^6$ shots om de waarschijnlijkheidsverdeling te schatten.
3. Post-processing:
  - Interval-rounding: Om reproduceerbaarheid te garanderen ondanks kleine statistische fluctuaties, worden tellingen afgerond op intervallen.
  - Prime-modulus mapping: Gehele getallen worden gemapt naar bytes via een priemgetal-modulus methode om een uniforme verdeling te creëren en de onderliggende structuur te verstoren.
4. Bit-extractie: Gebruik van de Leftover Hash Lemma (LHL) en een gewogen extractie-scheme (gebaseerd op parameter $\alpha$ ) om een veilige, uniforme sleutel van 128 bits te extraheren uit de ruwe bitstring, gebaseerd op een conservatieve schatting van de min-entropie.

3. Belangrijkste Bijdragen

Nieuw Algoritme: Introductie van de LAQW, die een significante reductie in circuitdiepte biedt ten opzichte van CAQW, waardoor het uitvoerbaar is op NISQ-apparaten.
Efficiënte Schakeling: Een kwantumcircuit dat $O(n^2 + nt)$ diepte bereikt, in plaats van $O(n^2t)$ .
Cryptografisch Schema: Een volledig werkend schema voor symmetrische sleutelgeneratie dat LAQW gebruikt als een bron van kwantum-entropie, inclusief methoden voor reproduceerbaarheid en uniformiteit.
Empirische Validatie: Uitgebreide tests op IBM's FakeTorino backend (een simulatie van echte hardware met ruis) om de haalbaarheid te bewijzen.

4. Resultaten

Circuitdiepte: De LAQW toonde een gemiddelde reductie in circuitdiepte van ongeveer 88% vergeleken met CAQW, zowel op een ideale simulator (GenericBackendV2) als op de ruisgevoelige FakeTorino backend.
Sensitiviteit (Chaos): De LAQW is gevoeliger voor kleine veranderingen in de parameters $\theta_0, \theta_1$ en $\alpha$ dan CAQW (hogere Hellinger-afstand bij variatie), wat gunstig is voor cryptografische onvoorspelbaarheid. Echter, CAQW is gevoeliger voor variaties in het aantal tijdstappen $t$ .
Statistische Kwaliteit (NIST-tests):
- De gegenereerde 128-bits sleutels bestonden de meeste NIST SP 800-22 statistische tests (Frequentie, Runs, Spectraal, etc.).
- De ruwe bitstrings toonden enkele afwijkingen (bijv. bij de 'Runs' test), maar deze werden succesvol gecorrigeerd door de post-processing en extractie.
- CAQW faalde de 'Block Frequency' test, terwijl LAQW alleen de 'Runs' test faalde (wat minder kritiek is na extractie).
Reproduceerbaarheid:
- Bij 100 trials met identieke parameters was de Hamming-afstand tussen de gegenereerde 128-bits sleutels bijna nul (0.0003).
- Dit bewijst dat sender en receiver dezelfde sleutel kunnen genereren zonder extra communicatie, mits ze dezelfde parameters gebruiken.
Ruisbestendigheid: Het schema bleef robuust onder realistische hardware-ruis (FakeTorino). De extractie van de sleutel was stabiel, met slechts één geval van een niet-nul Hamming-afstand (2 bits) over 100 trials.

5. Betekenis en Conclusie

Dit werk toont aan dat kwantum-wandelingen haalbaar kunnen worden gemaakt voor cryptografische toepassingen op de huidige generatie kwantumhardware.

NISQ-vriendelijkheid: De LAQW lost het probleem van te diepe circuits op, wat een grote barrière was voor het gebruik van DTQW in encryptie.
Veiligheid: Het schema biedt een hoge entropie en is extreem gevoelig voor beginparameters (brute-force aanvallen zijn onmogelijk omdat een 1% fout in parameters leidt tot een volledig ongerelateerde sleutel).
Toekomst: Hoewel de LAQW een veelbelovende vervanger is voor CAQW in chaotische cryptografie (zoals beeldversleuteling), blijft de optimalisatie van de overgang van een benaderde waarschijnlijkheidsverdeling naar een cryptografische sleutel een belangrijk onderzoeksgebied.

Samenvattend biedt dit artikel een praktische, efficiënte en veilige methode om kwantum-wandelingen in te zetten voor het genereren van cryptografische sleutels op Noisy Intermediate-Scale Quantum computers.