⚛️ quantum physics

One-sided DI-QKD secure against coherent attacks over long distances

Dit artikel presenteert een eenzijdige device-onafhankelijke QKD-protocol dat beveiliging bereikt tegen coherente aanvallen met detectie-efficiënties boven de 50,1% aan de onbetrouwbare zijde, wat implementatie op lange afstand vergelijkbaar met standaard QKD mogelijk maakt door de staatbron nabij het onbetrouwbare apparaat te plaatsen.

Oorspronkelijke auteurs: Michele Masini, Shubhayan Sarkar

Gepubliceerd 2026-06-18

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Michele Masini, Shubhayan Sarkar

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 jij en een vriend een geheime code (een "sleutel") willen delen om jullie berichten te vergrendelen, zodat niemand anders ze kan lezen. In de wereld van de kwantumfysica hebben we een speciale manier om dit te doen, genaamd Quantum Key Distribution (QKD). Het is als een magisch slot dat breekt als iemand probeert te gluren, dankzij de wetten van de natuurkunde.

Er is echter een addertje onder het gras: om dit te laten werken, moet je meestal erop vertrouwen dat jouw slot en het slot van je vriend perfect zijn. Als de sloten een beetje defect zijn of gemaakt zijn door een onbetrouwbare fabrikant, kan een hacker erin sluipen en je geheim stelen zonder dat je het merkt.

Het Probleem: Het "Perfecte Slot" Dilemma

Wetenschappers hebben geprobeerd dit op te lossen door Device-Independent (DI) protocollen te creëren. Denk hierbij aan een systeem waarbij je de sloten helemaal niet hoeft te vertrouwen; je controleert alleen of de magie werkt. Maar er is een groot nadeel: deze "vertrouw-niets" systemen zijn extreem fragiel. Ze moeten bijna elk deeltje licht (foton) dat ze versturen, opvangen. Als er zelfs maar een paar verloren gaan in de glasvezelkabels (wat gebeurt over lange afstanden), faalt het systeem. Het is alsof je een spelletje balletje gooien speelt in een orkaan; als de bal te vaak wordt gemist, kun je het spel niet spelen.

De Oplossing: Het "Semi-Vertrouwen" Compromis

Dit artikel introduceert een slim middengemiddelde genaamd One-Sided Device-Independent (1SDI) QKD.

Stel je een scenario voor waarin jij (Alice) een hoogtechnologisch, gecertificeerd en vertrouwd slot hebt in je beveiligde laboratorium. Je vriend (Bob) gebruikt echter een "black box" slot dat misschien oud, kapot of zelfs gebouwd is door een potentiële hacker.

De Oude Manier: In standaardopstellingen moest de "black box"-kant perfect zijn, anders faalde het hele proces.
De Nieuwe Manier: De auteurs laten zien dat zolang jouw kant vertrouwd is, Bobs kant een beetje rommelig mag zijn. Zelfs als de detector van Bob meer dan de helft van de balletjes (lichtdeeltjes) mist, kun je nog steeds veilig een geheime sleutel genereren.

De Grote Doorbraak: De 50,1% Magische Grens

Het meest opwindende deel van dit artikel is het getal 50,1%.

Beschouw de detector van Bob als een net dat probeert vissen te vangen.

Als het net gaten heeft die zo groot zijn dat het minder dan 50% van de vissen vangt, is het onmogelijk te bewijzen dat de vissen echt zijn (veilig).
De auteurs hebben bewezen dat als het net van Bob net boven de 50% van de vissen vangt, je nog steeds een geheime sleutel kunt genereren die wiskundig gegarandeerd veilig is, zelfs als de hacker de meest geavanceerde trucs gebruikt (genaamd "coherent attacks").

Dit is een enorme zaak, want 50% is de theoretische limiet. Je kunt eigenlijk niet veel lager dan dat. Ze zijn erin geslaagd bijna de absolute ondergrens te bereiken van wat fysiek mogelijk is.

Hoe Ze Het Deden: De "Geen Filter"-Regel

Eerdere pogingen om dit werkend te krijgen, gebruikten een truc genaamd "post-selection". Dit is als zeggen: "We tellen alleen de rondes waarin Bob een vis heeft gevangen, en we gooien alle rondes weg waarin hij er een heeft gemist."

De Fout: Als je gegevens weggooit, kan een slimme hacker zijn bedrog verbergen in de "gemiste" rondes.
De Oplossing: Dit artikel zegt: "Gooi niets weg!" Zelfs als de detector van Bob niets klikt (een "miss"), houden we die gegevens in het verslag. Door het volledige plaatje te analyseren — inclusclusief de missers — hebben ze bewezen dat het systeem veilig is tegen de meest algemene soorten aanvallen.

De Afstandstest: Hoe Ver Kunnen We Gaan?

De auteurs vroegen ook: "Hoe ver kunnen we deze geheime sleutel versturen?"
In standaard "vertrouw-niets" systemen is de afstand erg kort omdat licht verloren gaat in de kabels. Maar in deze nieuwe opstelling is de "bron van het licht" direct naast Bobs lab geplaatst.

De Opstelling: Het licht begint bij Bob (zodat hij niets verliest) en reist een lange weg naar Alice.
Het Resultaat: Ze hebben berekend dat met de huidige technologie dit systeem een sleutel veilig over een afstand van 247 kilometer (ongeveer 153 mijl) kan versturen. Dit is vergelijkbaar met de afstanden die worden gebruikt bij standaard, minder veilige systemen.

Het Praktische Beeld uit de Werkelijkheid

Stel je een bank (Alice) en een afgelegen server (Bob) voor.

De bank vertrouwt haar eigen apparatuur volledig.
De server staat in een andere stad en de apparatuur ervan is misschien oud of wordt onderhouden door een derde partij.
Met behulp van deze nieuwe methode kan de bank nog steeds een superbeveiligde verbinding met de server tot stand brengen, zelfs als de apparatuur van de server slechts 50% efficiënt is in het opvangen van signalen.

Samenvatting

Dit artikel neemt een oud, beroemd protocol (BB84) en actualiseert dit met moderne wiskunde om te bewijzen dat het werkt, zelfs wanneer één zijde onbetrouwbaar is.

Vertrouw alleen één zijde: Je moet je eigen apparaat vertrouwen, maar je hoeft de andere persoon niet te vertrouwen.
Lage efficiëntie is oké: Het apparaat van de andere persoon hoeft slechts 50,1% van de tijd te werken.
Geen data weggooien: Je houdt alle gegevens bij, zelfs de "fouten", wat het systeem veilig maakt tegen slimme hackers.
Lange afstanden: Het kan over honderden kilometers werken, wat het praktisch bruikbaar maakt voor de echte wereld.

Kortom, ze hebben een manier gevonden om kwantumbeveiliging robuust genoeg te maken om te overleven in de echte wereld, waar apparatuur niet perfect is en afstanden groot zijn.

Technische Samenvatting: Eenzijdige DI-QKD Veilig tegen Coherente Aanvallen over Lange Afstanden

Probleemstelling
Quantum Key Distribution (QKD) biedt bewezen veilige communicatie, maar leunt op strikte aannames over het gedrag van apparaten, wat potentiële beveiligingslekken kan creten als apparaten afwijken van hun wiskundige modellen. Device-Independent (DI) QKD-protocollen pakken dit aan door de aannames over apparaten te minimaliseren; echter, zij zijn momenteel beperkt in transmissieafstand door de extreme gevoeligheid voor fotonverliezen, wat detectie-efficiënties vereist die moeilijk te bereiken zijn over lange glasvezels. Daartegenover staat dat standaard Device-Dependent QKD robuust is over afstand, maar een gebrek heeft aan beveiliging tegen imperfecties in apparatuur. Er is behoefte aan protocollen die de balans vinden tussen realistische aannames over apparatuur en implementeerbaarheid over lange afstanden, terwijl de beveiliging tegen de meest algemene klasse van aanvallen, specifiek coherente aanvallen, behouden blijft.

Methodologie
De auteurs stellen een One-Sided Device-Independent (1SDI) QKD-protocol voor, gebaseerd op een verstrengelingsgebaseerde versie van het BB84-schema. Het scenario betreft twee partijen, Alice en Bob, die een verstrengelde toestand delen.

Vertrouwensmodel: Alice's apparaat is "semi-vertrouwd" (vertrouwd om twee anti-commuterende observabelen met discrete uitkomsten uit te voeren, hoewel de dimensie van de Hilbertruimte onbeperkt is), terwijl Bob's apparaat en de toestandsbron volledig onbetrouwbaar zijn.
Configuratie: Om verliezen te beperken, wordt de onbetrouwbare bron nabij Bob's laboratorium geplaatst. Dit minimaliseert de transmissieverlies naar de onbetrouwbare zijde, terwijl verliezen aan de vertrouwde zijde van Alice worden afgehandeld door niet-detectie rondes te verwerpen (fair-sampling aanname).
Beveiligingskader: In tegenstelling tot eerdere 1SDI-protocollen die vertrouwen op post-selectie van uitkomsten van de onbetrouwbare partij (wat de beveiliging tegen coherente aanvallen ongeldig maakt), behoudt dit protocol alle uitkomsten van Bob, inclusclusief niet-detectie gebeurtenissen ( $\emptyset$ ). Dit maakt de toepassing van de Generalized Entropy Accumulation Theorem (GEAT) mogelijk om beveiliging tegen coherante aanvallen te bewijzen.
Sleutelrate-analyse: De asymptotische sleutelrate wordt ondergrenzen met de Devetak-Winter formule: $r_\infty \ge H(A_1|E) - H(A_1|B_1)$ $r_{\infty} \geq H (A_{1} ∣ E) - H (A_{1} ∣ B_{1})$ .
- $H(A_1|B_1)$ wordt berekend uit de geobserveerde statistieken.
- $H(A_1|E)$ $H (A_{1} ∣ E)$ (de conditionele Von Neumann entropie die de informatie van Eve begrenst) wordt geschat met twee technieken:
  1. Analytisch: Gebaseerd op grenzen afgeleid voor tweedimensionale ruimtes en uitgebreid naar willekeurige dimensies via Jordans lemma.
  2. Numeriek: Maakt gebruik van de Brown-Fawzi-Fawzi (BFF) techniek, een semi-definite programmering (SDP) benadering gebaseerd op de NPA-hiërarchie, die de entropie-grens optimaliseert met behulp van de volledige waarschijnlijkheidsverdeling $p(a,b|x,y)$ .

Belangrijkste Bijdragen

Coherente Aanval Beveiliging: Dit werk demonstreert dat een 1SDI-protocol met twee metingen per partij veilig is tegen coherente aanvallen zonder post-selectie uit te voeren op de onbetrouwbare zijde. Dit wordt bereikt door te voldoen aan de non-signaling beperkingen die vereist zijn door de GEAT.
Detectie-efficiëntie Drempelwaarde: De auteurs stellen een beveiligingsdrempel vast voor de detectie-efficiëntie van Bob aan de onbetrouwbare zijde van 50,1%. Dit ligt dicht bij de theoretische limiet voor protocollen met twee onbetrouwbare metingen, aangezien elk protocol met een efficiëntie onder de 50% toestaat dat de observabelen van Bob gezamenlijk meetbaar zijn, wat het protocol onveilig maakt.
Haalbaarheid op Lange Afstand: Door de bron nabij de onbetrouwbare partij (Bob) te plaatsen, minimaliseert het protocol de verliezen op het kritieke onbetrouwbare kanaal. De auteurs schatten dat, onder realistische experimentele parameters (90% totale detectie-efficiëntie voor Bob, 99% state visibility, en een dark count rate van $10^{-6}$ ), het protocol geïmplementeerd kan worden over afstanden tot 247 km.
Optimalisatiestrategieën: De studie verkent het gebruik van gedeeltelijk verstrengelde toestanden en ruizige pre-processing. Hoewel maximaal verstrengelde toestanden optimaal bleken te zijn voor het specifieke 50,1% drempelgeval, laat de analyse zien dat gedeeltelijk verstrengelde toestanden in combinatie met ruizige pre-processing de sleutelrate kunnen verbeteren bij lagere visibiliteit.

Resultaten

Sleutelrate vs. Efficiëntie: Gebruikmakend van de BFF numerieke techniek met volledige statistieken (waarbij Bob's niet-detectie als een apart resultaat wordt behouden), behoudt het protocol een positieve sleutelrate tot een detectie-efficiëntie van 50,1%.
Ruisrobuustheid: De robuustheid van het protocol tegen depolariserende ruis en dark counts werd geanalyseerd. De resultaten geven aan dat hoewel de gezamenlijke meetbaarheid van Bob's observabelen een harde grens voor onveiligheid vormt, er een regio bestaat waar de sleutelrate niet-positief is zelfs wanneer de observabelen niet gezamenlijk meetbaar zijn, wat suggereert dat er ruimte is voor verdere protocolverfijning.
Afstandsschatting: Onder de aanname dat de bron samen met Bob wordt geplaatst, bereikt het protocol een positieve sleutelrate bij ongeveer 247 km, een afstand die vergelijkbaar is met standaard QKD-protocollen, mits de onbetrouwbare zijde een hoge detectie-efficiëntie behoudt.

Betekenis
Het artikel beweert de kloof te overbruggen tussen de hoge beveiliging van Device-Independent protocollen en de lange-afstandscapaciteit van standaard QKD. Door recente theoretische kaders (GEAT en BFF technieken) toe te passen op een aangepast BB84-scenario, demonstreren de auteurs dat 1SDI QKD veilig kan worden gemaakt tegen coherente aanvallen met detectie-efficiënties die binnen de huidige experimentele mogelijkheden vallen. Het werk suggereert dat de theoretische limiet voor twee-metingen protocollen (50%) praktisch haalbaar is, wat een levensvatbaar pad biedt voor lange-afstand, hoog-beveiligde kwantumcommunicatie waarbij de ene partij van de apparatuur (semi-vertrouwd) tot op zekere hoogte vertrouwd kan worden, terwijl de andere onbetrouwbaar blijft. De auteurs merken op dat deze resultaten onafhankelijk zijn bevestigd in latere werken die gebruikmaken van lokale Bell-testen.