Multi-Path Quantum Key Distribution Transport: A Four-Order Mathematical Framework with Provable Zero-Interruption Under Stated Provisioning Conditions

Technische Samenvatting: Multi-Path Quantum Key Distribution Transport

Probleemstelling
Huidige metropolitane Quantum Key Distribution (QKD) netwerken, zoals de Beijing–Shanghai backbone en de Tokyo QKD-testbed, kampen met drie structurele knelpunten die de transitie van experimentele verbindingen naar bruikbare netwerkdiensten verhinderen:

1. Single-Path Rate Asymmetrie: Individuele QKD-verbindingen genereren sleutels met snelheden die orders van grootte lager liggen dan de klassieke doorvoereisen. Het aggregeren van ruwe sleutels uit meerdere paden zonder strikte per-pad beveiligingsverwerking introduceert informatie-theoretische lekkage.
2. Kwetsbaarheid van de Standby Key Pool: Bestaande netwerken vertrouwen op standby-sleutelpools om fluctuaties op te vangen, wat een niet-nul waarschijnlijkheid van statische slefelft de diefstal introduceert en forward secrecy doorbreekt.
3. Incompatibiliteit met Trusted Relays: Standaard transportprotocollen (bijv. TCP/IP, MPTCP) zijn structureel incompatibel met de hop-by-hop sleutelbeheervereisten van trusted-relay QKD-topologieën, die het bereik verder uitbreiden dan de ~100 km vezelgrens.

Methodologie: Een Vier-Orde Mathematisch Raamwerk
Het artikel stelt een volledig transportlaag voor multi-path QKD-netwerken voor, gebouwd op een progressief vier-orde mathematisch raamwerk. Dit raamwerk integreert fysieke laagmechanismen, transportlaagprotocollen en rigoureuze theoretische bewijzen.

• Laag 0 (Fysiek): Maakt gebruik van BB84 met decoy states over $K$ onafhankelijke glasvezelpaden. Innovaties omvatten WDM drie-modus controle (Power/Normal/Throttling) gebaseerd op hot-pool niveaus, multi-address pool rotatie (16 adressen) om DoS te mitigeren, en delay baseline tamper detectie om intercept-resend aanvallen te identificeren.
• Laag 1 (Transport): Beheert de sleutelinventaris via een "Hot Pool" (real-time) en een "Cold Pool" (OPES). Het hanteert dynamische $\alpha$ hybride encryptie (het mengen van Quantum OTP en Post-Quantum Kyber-768), SegmentGroup-gebaseerde selectieve hertransmissie om sleutelmateriaal te besparen, en matrix-gebaseerde transmissie voor 2D-data.
• Laag 2 (Mathematisch Raamwerk): De kern van de theoretische motor bestaande uit vier stellingen:
  1. Stelling 1 (Ontkoppeling): Bewijst via de Jensen-ongelijkheid dat onafhankelijke per-pad beveiligingsverwerking strikt meer veilige sleutels ($K_{indep} \ge K_{concat}$) oplevert dan fysieke concatenatie van ruwe sleutels.
  2. Stelling 2 (Allocatie): Leid een gesloten "shadow-price" oplossing af voor optimale verkeersallocatie ($w^*_i \propto 1/\lambda_i$), waarbij verkeer dynamisch wordt gerouteerd op basis van marginale sleutelconsumptiekosten.
  3. Stelling 3 & 3' (Buffer Dimensionering): Gebruikt Large Deviation Principles (LDP) om de minimale hot-buffer capaciteit voor thin-tailed vraag te berekenen. Stelling 3' breidt dit uit naar subexponentiële heavy-tailed (Pareto) vraag, waarbij asymptotische grenzen worden geboden waar standaard LDP faalt.
  4. Stelling 4 (Zero-Interruption): Definieert One-Pass Erasable Storage (OPES) met fysieke axioma's (write-once, read-once, unidirectionele flow). Het bewijst dat onder specifieke provisioneringscondities de waarschijnlijkheid van dienstonderbreking identiek nul is ($P_{interruption} = 0$).
• Laag 3 (Applicatie): Hiermee kunnen applicaties de encryptiekracht selecteren via de $\alpha$ parameter, waarbij een balans wordt gezocht tussen pure quantumbeveiliging en post-quantum computationele efficiëntie.

Belangrijkste Bijdragen

1. Eerste Volledige Transportlaag: Het artikel presenteert de eerste transportlaag die specifiek is ontworpen voor multi-path QKD-netwerken, waarmee de kloof tussen fysieke sleutelgeneratie en applicatie-laag service wordt overbrugd.
2. Bewijsbaar Zero-Interruption: Door de OPES cold pool en Stelling 4 biedt het raamwerk een deterministische garantie van zero service interruption, waardoor veerkracht wordt getransformeerd van een probabilistische metriek (bijv. 99,999%) naar een fysieke zekerheid.
3. Composabel Beveiligingsketen: De auteurs vestigen een formele beveiligingsstelling (Stelling 5) die Shor–Preskill reductie, multi-path compositie en hybride encryptie koppelt om een end-to-end beveiligingsgrens van $\epsilon_{total} \le 10^{-8}$ te bereiken.
4. Information-Theoretic Forward Secrecy: Het OPES "read-once" axioma biedt fysieke forward secrecy ($I(K_{pre}; O_{post}) = 0$), wat sterker is dan computationele forward secrecy omdat het rust op fysieke uitwissing in plaats van hardheid-aannames.
5. Defense-in-Depth Architectuur: Een vier-laagse defensieketen (address rotation, matrix restoration, delay detection, OPES) is geformaliseerd, waarbij wordt aangetoond dat de gecombineerde bypass-waarschijnlijkheden orders van grootte lager zijn dan single-layer defenses.

Resultaten
Het raamwerk werd gevalideerd via een discrete-event simulatie op een $K=4$ pad, 3-hop topologie over 14.400 gesimuleerde seconden (vier scenario's van 3.600 seconden: baseline, DoS jamming, delay intercept-resend, en gecombineerde aanvallen).

• Interruption Rate: Er werden nul service onderbrekingen waargenomen in alle scenario's.
• Buffer Dynamiek: De hot pool behield een minimaal niveau van $\ge 10,2\%$ van de capaciteit. De OPES cold pool benutting bleef laag (0,65% over 3.600s), wat de efficiëntie van het provisioneringsmodel bevestigt.
• Attack Resilience:
  • DoS hit rates kwamen overeen met de theoretische $1/N$ grens (6,25% voor $N=16$).
  • Delay-gebaseerde tamper detectie bereikte 100% sensitiviteit met nul false positives.
  • Het hybride encryptieschema paste zich succesvol aan sleutelfluctuaties aan zonder degradatie van de dienstverlening.
• Scalability: De doorvoer schaalde bijna lineair met het aantal paden ($K=1 \to 16$), bereikend van ~150 kbps bij $K=16$, voldoende voor real-time AES-256 sleutelverversing.

Significantie
Het artikel beweert het eerste mathematisch rigoureuze transportlaag voor multi-path QKD te bieden, waarmee het veld verschuift van "QKD-verbindingen bestaan" naar "QKD is een bruikbare netwerkdienst". Door een bewijsbaar verband te leggen tussen fysieke axioma's (OPES) en netwerkprestaties (zero interruption), biedt het werk een blauwdruk voor het implementeren van robuuste, multi-hop QKD-netwerken op bestaande metropolitane glasvezelinfrastructuur. Het raamwerk is compatibel met elk QKD-protocol dat aan specifieke aannames (A1–A4) voldoet en dient als een complementaire aanpak voor Post-Quantum Cryptography (PQC), waarbij informatie-theoretische beveiliging wordt geboden voor kritieke datasegmenten terwijl PQC wordt gebruikt voor bulkverkeer.