⚛️ quantum physics

Isogeny Graphs in Superposition and Quantum Onion Routing

Dit artikel stelt een post-kwantum veilige quantum onion routing-methode voor die gebruikmaakt van abelse ideaal klassengroepacties en isogenie-grafen om gelaagde symmetrische encryptie met zowel lokale als niet-lokale sleuteluitwisselingen mogelijk te maken, waarbij implementatiepaden via universele quantum-oracles en continu-tijd quantum walks worden geboden.

Oorspronkelijke auteurs: Eleni Agathocleous, Tobias Hartung, Karl Jansen, Lukas Mansour

Gepubliceerd 2026-02-03

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Eleni Agathocleous, Tobias Hartung, Karl Jansen, Lukas Mansour

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 Idee: Een Kwantum "Geheime Handdruk" voor Anonieme Berichten

Stel je voor dat je een geheime brief naar een vriend wilt sturen, maar je wilt niet dat iemand tussendoor (zoals de postbode of een buurman) weet wie je bent of waar de brief naartoe gaat. In de digitale wereld gebruiken we momenteel een systeem genaamd Onion Routing (zoals het Tor-netwerk).

Hoe het klassiek werkt:
Denk aan je bericht als een brief die is ingepakt in meerdere lagen plastic.

Jij (Alice) wikkelt de brief in drie lagen. De eerste laag is gericht aan de eerste relais, de tweede aan de middelste relais, en de derde aan je vriend (Bob).
Relais 1 pelt de eerste laag eraf. Ze zien het adres voor Relais 2, maar weten niet wie Alice is of wie Bob is.
Relais 2 pelt de tweede laag eraf. Ze zien het adres voor Bob, maar weten niet wie Alice is.
Bob pelt de laatste laag eraf en leest de brief.

Het Kwantumprobleem:
De auteurs van dit artikel probeerden dit zelfde systeem te bouwen voor kwantumcomputers. Er is echter een groot struikelblok.

In de klassieke wereld gebruiken we "Public Key" encryptie (zoals een kistje met een slot waar iedereen het kan vergrendelen, maar alleen de eigenaar de sleutel heeft om het te openen). Dit is erg goed voor onion routing omdat je lagen kunt vergrendelen zonder de geheime sleutel van de eigenaar al te kennen.
In de kwantumwereld zeggen de natuurwetten dat de meeste operaties omkeerbaar moeten zijn. Dit maakt het heel moeilijk om "Public Key" encryptie in lagen op te bouwen zoals een ui. Meestal vereist kwantumencryptie dat beide partijen al een geheime sleutel delen, wat het doel van een anoniem netwerk tenietdoet.

De Oplossing: De "Magische Tuin" van de Wiskunde

Om dit op te lossen, stellen de auteurs een nieuwe manier voor om de "sloten" voor de uienlagen te bouwen. In plaats van standaard sloten, gebruiken ze een concept uit de geavanceerde getaltheorie genaamd Ideal Class Group Actions.

De Analogie: De Magische Tuin
Stel je een enorme tuin voor met een specif kind aantal unieke bloemen (laten we zeggen 11 bloemen, hoewel er in werkelijkheid miljarden zijn).

Er is een speciale "Magische Stok" (de Class Group Action).
Als je met de stok zwaait bij een bloem, verandert deze onmiddellijk in een andere bloem in de tuin.
Het Geheim: De stok is omkeerbaar. Als je één keer zwaait, verandert Bloem A in Bloem B. Als je nog een keer zwaait (of de "omgekeerde stok" gebruikt), gaat Bloem B terug naar Bloem A.
Het Moeilijke Deel: Als ik je Bloem A laat zien en vertel dat deze veranderd is in Bloem B, is het ongelooflijk moeilijk voor een computer (zelfs een superkrachtige kwantumcomputer) om uit te rekenen hoeveel keer of via welke specische weg de stok is gezwaaid om van A naar B te komen. Dit is het "moeilijke probleem" dat het systeem veilig houdt.

Hoe de "Kwantum-ui" Werkt

De auteurs stellen een protocol voor waarbij de "lagen" van de ui deze magische stok-transformaties zijn.

De Opzet: Iedereen komt overeen te beginnen met een startbloem (een publieke "j-invariant").
De Ketting:
- Carol (Ontvanger) kiest een geheim aantal stok-zwaaien. Ze transformeert de startbloem en stuurt het resultaat naar Bob.
- Bob kiest zijn eigen geheim aantal stok-zwaaien. Hij transformeert de bloem van Carol en stuurt het naar Alice.
- Alice (Verzender) kiest haar geheime aantal stok-zwaaien. Ze transformeert de bloem van Bob.
De Terugreis:
- Alice stuurt de bloem terug naar Bob. Bob gebruikt zijn "omgekeerde stok" om zijn eigen zwaaien ongedaan te maken. Hij stuurt het naar Carol.
- Carol gebruikt haar "omgekeerde stok" om haar eigen zwaaien ongedaan te maken.
Het Resultaat: Omdat de magische stok "commutatief" is (de volgorde van het zwaaien maakt niet uit, alleen het totale aantal zwaaien), eindigt Carol met een bloem die alleen getransformeerd is door de geheime zwaaien van Alice.
Het Bericht: Alice gebruikt deze uiteindelijke bloem als een "sleutel" om een kwantumboodschap te ontvrechten die ze samen met de bloem heeft verzonden. Carol gebruikt de bloem om het bericht te ontvrechten.

Waarom is dit bijzonder?
Tijdens dit proces is de "bloem" niet zomaar één enkel object; het is een Kwantum Superpositie.

Stel je voor dat de bloem niet slechts één specifiek type is, maar een glinsterende wolk van alle mogelijke bloemen tegelijkertijd.
Terwijl het bericht door het netwerk reist, reist het als deze wolk.
Als een spion (Bob of een hacker) probeert naar de bloem te gluren om te zien wat het is, stort de wolk in tot een enkele willekeurige bloem. Ze leren niets over het pad of de geheime sleutel. Ze zien alleen een willekeurige bloem, wat hen geen enkele aanwijzing geeft over wie de afzender is of waar de bestemming is.

Twee Manieren om de "Magische Stok" te Bouwen

Het artikel suggereert twee manieren om dit systeem daadwerkelijk op een computer te bouwen:

De Universele Oracle (De "Zwarte Doos"): Stel je een magische machine voor die, wanneer je er een bloem en een geheim getal in voert, direct de nieuwe bloem laat zien. De auteurs laten zien hoe je een kwantumcircuit kunt bouwen dat als deze machine werkt met behulp van standaard kwantum-gates.
De Continue Wandeling (De "Kwantumwandeling"): In plaats van een machine, stel je voor dat de bloem "wandelt" langs een pad in de tuin. De auteurs suggereren het gebruik van Continuous-Time Quantum Walks. Dit is alsof de bloem een golf is die tegelijkertijd door de tuin rimpelt en alle paden tegelijk verkent. Dit is een meer "natuurlijke" kwantumbenadering, die ze in een apart artikel onderzoeken.

Het "Ui"-Voorbeeld (De 5-Acteurs Demo)

Om te bewijzen dat dit werkt, schreven de auteurs een klein computerprogramma (met Qiskit) met 5 mensen: Alice, Bob, Carol, Dave en Eve.

Alice wil een bericht naar Eve sturen.
Bob, Carol en Dave zijn de tussenpersonen.
Ze gebruiken een kleine versie van de "Magische Tuin" met slechts 11 bloemen om de wiskunde simpel te houden.
Het programma simuleert de "wolk" van bloemen die op en neer reist door de keten.
Het Resultaat: Eve ontvangt de geheime sleutel (de specifieke bloem die Alice heeft gemaakt) succesvol, zonder dat Bob, Carol of Dave ooit wisten wat de uiteindelijke sleutel was. Zij zagen alleen willekeurige bloemen of wolken van bloemen.

Waarom dit ertoe doet (Volgens het Artikel)

Beveiliging: De wiskunde achter de "Magische Stok" wordt geacht onbreekbaar te zijn, zelfs voor toekomstige kwantumcomputers. Dit maakt het een kandidaat voor "Post-Quantum" cryptografie.
Anonimiteit: Omdat de data als een superpositie reist, kan geen enkele relais de afzender aan de ontvanger koppelen.
Eenvoud: Het hele systeem rust op slechts één type wiskundig probleem (de Class Group Action), wat het gemakkelijker te bouwen maakt en minder foutgevoelig is dan het mengen van verschillende soorten encryptie.

Kortom: Het artikel heeft een nieuwe manier uitgevonden om geheime berichten via een netwerk van vreemden te sturen met behulp van kwantumfysica en geavanceerde wiskunde. Het vervangt de "sloten en sleutels" van vandaag door een "magische tuin" waar het pad verborgen ligt in een wolk van mogelijkheden, wat ervoor zorgt dat zelfs als iemand probeert te gluren, ze alleen een willekeurige bloem zien.

Technische Samenvatting: Isogenie-grafen in Superpositie en Quantum Onion Routing

Probleemstelling
Het artikel behandelt de fundamentele uitdaging van het construeren van een Quantum Onion Routing (QOR) schema. Klassieke onion routing bereikt anonimiteit door encryptielagen aan te brengen zodat geen enkele relay de zender met de bestemming kan verbinden. Echter, een directe quantum-analoog staat voor een kernprobleem: quantumoperaties zijn unitair en dus omkeerbaar, wat impliceert dat elk encryptieschema waarbij een bericht als een quantumtoestand wordt gecodeerd en via een sleutelafhankelijke functie wordt versleuteld, inherent symmetrisch moet zijn. Klassieke onion routing leunt zwaar op publieke-sleutelencryptie om gelaagde sleutels te vestigen; in een quantumsetting is asymmetrische encryptie moeilijk te gelaagd aan te brengen als het bericht een echte quantumtoestand is. Bovendien vereisen bestaande quantum key distribution (QKD) of quantum publieke-sleutel-schema's vaak afzonderlijke onderliggende problemen, wat de integratie van een verenigd, gelaagd protocol bemoeilijkt.

Methodologie
De auteurs stellen een QOR-schema voor dat gebaseerd is op symmetrische quantumencryptie, geïnstantieerd via de abels ideale klasse-groep actie uit de Theorie van Complexe Multiplicatie. Het protocol maakt gebruik van de hardheid van het vectorisatieprobleem (het inverteren van de groep-actie), waarvan wordt aangenomen dat het zelfs voor quantum-adversaries moeilijk blijft, wat ten grondslag ligt aan post-quantum schema's zoals CSIDH.

De methodologie bestaat uit drie primaire componenten:

Sleutelvestiging:
- Lokale Sessiesleutels: Naburige knooppunten in de communicatieketen (bijv. guard, middle, exit) vestigen gedeelde geheime sleutels via een Diffie-Hellman-uitwisseling met behulp van de ideale klasse-groep actie.
- Globale Sessiesleutel: De zender en de ontvanger vestigen een globale sleutel om de uiteindelijke decryptiestap te faciliteren.
Grafentheoretisch Fundament: Het protocol brengt de ideale klasse-groep actie in kaart naar isogenie-grafen. Specifiek maken de auteurs gebruik van de isomorfie tussen de isogenie-graaf en de Cayley-graaf van de ideale klasse-groep. Ze analyseren deze grafen door de lens van associatie-schema's en hun Bose–Mesner algebra. Deze algebraïsche structuur zorgt ervoor dat de unitaire operatoren die overeenkomen met verschillende groep-acties commuteren, een cruciale eigenschap die het mogelijk maakt om meerdere lagen van encryptie toe te passen en te verwijderen in een willekeurige volgorde (commutativiteit van lagen).
Implementatiepaden: Het artikel schetst twee theoretische implementatiepaden:
- Universele Quantum Oracle: Een pad dat gebruikmaakt van een universeel oracle dat de klasse-groep actie evalueert met polynomiaal veel quantum-resources.
- Continuous-Time Quantum Walks (CTQWs): Een intrinsiek quantum-benadering waarbij de groep-actie wordt geïnterpreteerd als een wandeling op de isogenie-graaf Hamiltoniaan. Dit pad wordt vermeld als zijnde ontwikkeld in een begeleidend artikel.

Protocolmechanica
Het voorgestelde protocol (Procedure 1 en 2) betreft een zender (Alice), tussenpersonen (Bob, etc.) en een ontvanger (Carol).

Initialisatie: Een publieke $j$ -invariant $j_0$ wordt vastgesteld.
Gelaagdheid: De ontvanger genereert een geheime groep-element en stuurt een getransformeerde toestand naar de eerste tussenpersoon. Elke tussenpersoon past hun geheime groep-actie (encryptie) toe op de toestand.
Superpositie en Verberging: Om traffic analysis en cloning-aanvallen te voorkomen, maakt het protocol gebruik van superpositie. De ontvanger bereidt een uniforme superpositie voor over een deelverzameling van de isogenie-cyclus. Het bericht wordt versleuteld met een circuit afgeleid van de $j$ -invariant van de zender.
Transmissie: De quantumtoestand (die het versleutelde bericht en de evoluerende $j$ -invariant bevat) wordt door de keten doorgegeven. Elk knooppunt past hun unitaire operator (encryptie) toe en geeft de toestand door naar voren.
Decryptie: De ontvanger, die een "index-register" bijhoudt dat de superpositie-stappen bijhoudt, voert een finale meting en uncomputation (inverse operaties) uit om de $j$ -invariant van de zender ( $j_A$ ) te herstellen. Deze $j_A$ kan vervolgens worden gebruikt om het bericht te decrypten via het inverse circuit $C(j_A)^{-1}$ .

Belangrijkste Bijdragen en Resultaten

Symmetrische Quantum Onion Routing: Het artikel slaagt erin een QOR-schema te construeren dat uitsluitend rust op symmetrische encryptielagen afgeleid van de ideale klasse-groep actie, waardoor de noodzaak voor quantum publieke-sleutelencryptie voor de onion-lagen wordt omzeild.
Algebraïsche Formalisering: De auteurs verbinden isogenie-grafen met associatie-schema's en gebruiken de Bose–Mesner algebra om de commutativiteit van de unitaire operatoren formeel te bewijzen. Deze wiskundige onderbouwing is essentieel voor de haalbaarheid van gelaagde quantumencryptie.
Beveiligingsanalyse: De veiligheid berust op de hardheid van het vectorisatieprobleem voor de ideale klasse-groep actie. Het artikel betoogt dat intermediaire $j$ -invariants niet toegankelijk zijn zonder meting (wat willekeurige resultaten oplevert), en dat het protocolontwerp ervoor zorgt dat alleen de ontvanger de finale meting uitvoert.
Implementatiedemonstratie: Het artikel biedt een Qiskit-voorbeeld met vijf actoren (A, B, C, D, E). Hoewel dit doelbewust klein en exponentieel in resources is (met een klasse-groep van orde 11 over $\mathbb{F}_{311}$ ), illustreert dit voorbeeld expliciet de mechanica van het protocol, inclusief het gebruik van "mapper oracles" en het afhandelen van index-registers.
Beveiligingsoverwegingen: De auteurs bespreken potentiële aanvallen, zoals imperfect cloning en meting op meerdere punten. Zij concluderen dat het breken van het schema het oplossen van het onderliggende vectorisatieprobleem vereist, en zelfs als de $j$ -invariant wordt hersteld, blijft het bericht beschermd door de Diffie-Hellman encryptielaag.

Betekenis en Claims
Het artikel claimt de intrinsieke obstakels van quantum onion routing te overwinnen door het gehele schema te baseren op één enkel, hard wiskundig probleem (de ideale klasse-groep actie) dat compatibel is met zowel klassieke als quantum cryptografische behoeften.

Haalbaarheid: Het demonstreert dat gelaagde symmetrische quantumencryptie mogelijk is door gebruik te maken van de commutatieve natuur van de ideale klasse-groep actie.
Interdisciplinaire Brug: Het werk draagt bij aan de intersectie van post-quantum cryptografie en quantum computing door een isogenie-gebaseerd schema te implementeren binnen een quantum protocol executieroutine.
Bescheidenheid: De auteurs zijn bescheiden over de efficiëntie. Zij stellen expliciet dat het Qiskit-voorbeeld is ontworpen om de mechanica te illustreren in plaats van de efficiëntie. Zij erkennen dat de implementatie van de klasse-groep actie oracles een actief onderzoeksgebied is en dat de CTQW-benadering in een begeleidend werk wordt ontwikkeld. Het artikel claimt niet het probleem van de efficiëntie van grootschalige isogenie-berekeningen te hebben opgelost, maar biedt eerder het theoretische kader en een proof-of-concept voor het routingprotocol zelf.

Samenvattend stelt het artikel een nieuw, theoretisch solide kader voor quantum onion routing voor dat gebruik maakt van de algebraïsche eigenschappen van isogenie-grafen om veilige, gelaagde, symmetrische quantumencryptie mogelijk te maken, ondersteund door een concrete (doch kleinschalige) quantum circuit implementatie.