Breaking the Bounded Entanglement Barrier for Quantum Position Verification

Stel je een wereld voor waarin je fysieke locatie je wachtwoord is. In dit scenario heb je geen sleutel of code nodig om te bewijzen wie je bent; je hoeft alleen maar te bewijzen dat je precies staat waar je zegt te staan. Dit concept, bekend als positie-gebaseerde cryptografie, vertrouwt op de wetten van de fysica om de coördinaten van een persoon te verifiëren. Als je werkelijk op een specifieke plek staat, zou je in staat moeten zijn om een signaal van een zender te ontvangen en te reageren naar een ontvanger binnen een tijdsbestek dat fysiek onmogelijk te bereiken is als je ergens anders zou staan. Decennialang geloofden wetenschappers dat dit onmogelijk te garanderen was met klassieke informatie, omdat een slimme dief simpelweg een bericht kon kopiëren en het sneller dan het licht kon doorsturen. Toen de kwantummechanica in beeld kwam en informatie bood die niet gekopieerd kan worden, keerde de hoop terug. Echter, er ontstond een grote blokkade: onderzoekers bewezen dat als een groep dieven een massief, vooraf bestaand web van kwantumverbindingen deelde, zij elke beveiligingscontrole konden omzeilen, hoe slim het protocol ook was. Het leek erop dat om veilig te zijn, de eerlijke gebruiker net zo krachtig moest zijn als de meest hulpbronrijke aanvaller.

Een team van onderzoekers heeft nu een manier gevonden om deze barrière te doorbreken. Ze hebben een nieuwe methode ontworkt voor het verifiëren van locaties die veilig blijft, zelfs als de aanvallers beschikken over een enorme, potentieel exponentiële hoeveelheid gedeelde kwantumbronnen. De doorbraak berust op een subtiele verschuiving in de manier waarop tijd wordt behandeld tijdens het verificatieproces. In plaats van een uitdaging op een vast, voorspelbaar moment te sturen, stuurt het systeem de uitdaging op een willekeurig ogenblik binnen een continue stroom van tijd. Deze ogenschijnlijk kleine verandering creëert een fundamenteel probleem voor de aanvallers. Om te slagen, zouden de dieven klaar moeten zijn om op elk mogelijk moment te reageren, wat zou betekenen dat ze constant hun gedeelde kwantumbronnen moeten consumeren. Omdat het aantal mogelijke momenten effectief oneindig is, raken hun eindige bronnen snel uitgeput, waardoor ze niet in staat zijn de misleiding in stand te houden.

De onderzoekers demonstreerden dit met een protocol gebaseerd op een standaard kwantumtoestand bekend als een BB84-toestand, wat een fundamentele bouwsteen is in kwantumcommunicatie. In hun geïdealiseerde model, waarin de tijd continu stroomt als een gladde rivier in plaats van in discrete stappen te tikken, toonden ze aan dat elke eindige groep aanvallers, ongeacht hoeveel kwantumopslag ze hebben, met bijna volledige zekerheid zal falen. De aanvallers zouden een specifieke kwantumoperatie moeten uitvoeren, vergelijkbaar met het teleporteren van de toestand van een deeltje, voor elk moment dat de uitdaging mogelijk kan arriveren. Omdat ze slechts een beperkte voorraad kwantum-"brandstof" nodig hebben voor deze teleportering, kunnen ze de eindeloze stroom van mogelijkheden niet bijhouden. De eerlijke gebruiker moet daarentegen alleen reageren wanneer de uitdaging daadwerkelijk arriveert, waardoor de middelen moeiteloos worden geconserveerd.

Om dit praktisch bruikbaar te maken voor de echte wereld, waar tijd wordt gemeten in discrete tikken in plaats van een vloeiende stroom, hebben de onderzoekers hun methode aangepast. Ze introduceerden een systeem met veel potentiële tijdsintervallen, waarvan de meeste lege dummy-slots zijn. De eerlijke gebruiker wacht simpelweg af en doet niets tijdens deze lege slots, terwijl de aanvallers, die niet weten welk slot de echte is, in bijna elk slot actief moeten blijven en hun bronnen moeten verbruiken om klaar te zijn. De auteurs noemen dit het "Ik slaap, jij werkt"-paradigma. Terwijl de eerlijke gebruiker slaapt tijdens de valse uitdagingen, worden de aanvallers gedwongen onvermoeibaar te werken, waarbij ze hun verstrengeling verbruiken. De onderzoekers bewezen dat door het aantal van deze slots en de hoeveelheid opgeslagen data aan te passen, ze een gat kunnen creëren waarbij de aanvallers veel meer middelen nodig hebben dan de eerlijke gebruiker om te slagen.

Dit gat is niet vaststaand; het groeit naarmate onze technologie verbetert. De veiligheid van het protocol is direct gekoppeld aan de precisie van de klokken die worden gebruikt om de tijd te meten. Hoe nauwkeuriger we tussen twee momenten kunnen onderscheiden, hoe meer "slots" we in een gegeven seconde kunnen passen, en hoe meer middelen de aanvallers moeten uitgeven. Het artikel merkt op dat moderne optische atoomklokken, die triljoenen tikken per seconde kunnen onderscheiden, al een sterke fundering bieden voor deze veiligheid. Naarmaden de kloktechnologie vordert, wordt de resource gap automatisch groter, waardoor het protocol sterker wordt zonder dat de code zelf gewijzigd hoeft te worden. Dit betekent dat de beveiliging van het systeem in de loop der tijd verbetert als een natuurlijk gevolg van betere meetinstrumenten, in plaats van dat er een herontwerp van het protocol nodig is.

Het werk behandelt ook hoe dit systeem functioneert in de echte wereld, waar aanvallers zich in de driedimensionale ruimte kunnen bevinden in plaats van enkel op een lijn. De onderzoekers toonden aan dat hun veiligheidsbewijs standhoudt, zelfs wanneer de verifieerders en de geclaimde locatie zich in complexe, multidimensionale arrangementen bevinden. Ze bereikten dit door het driedimensionale probleem wiskundig te mappen op een eendimensionale lijn, waarmee werd bewezen dat de veiligheidsbeperkingen hetzelfde blijven. Dit zorgt ervoor dat het protocol robuust genoeg is voor praktische implementatie, of het nu gaat om het verifiëren van de locatie van een satelliet in een baan om de aarde of een apparaat op een stadsstraat.

De bevindingen vertegenwoordigen een significante verschuiving in het begrip van kwantum-positieverificatie. Vorig werk suggereerde dat veiligheid alleen mogelijk was als de eerlijke partij over middelen beschikte die gelijk waren aan of groter waren dan die van de aanvaller. Deze nieuwe benadering zet die beperking opzij, door aan te tonen dat veiligheid kan worden bereikt zelfs wanneer de aanvaller over veel meer middelen beschikt, mits de eerlijke partij gebruik kan maken van de beperkingen van de tijd en de eindige natuur van kwantumverstrengeling. De onderzoekers suggereerden niet alleen dat dit mogelijk was; ze leverden een rigoureus wiskundig bewijs dat een dergelijk protocol bestaat en veilig is tegen elke eindige coalitie van aanvallers. Hoewel het ideale model van continue tijd een theoretisch construct is, biedt de discrete-tijdversie een concrete weg voorwaarts, met parameters die kunnen worden afgestemd op de capaciteiten van de huidige en toekomstige technologie.

In essentie demonstreert het artikel dat de onverbiddelijke mars van de tijd kan worden omgezet in een wapen tegen bedrog. Door aanvallers voor te bereiden op elk mogelijk moment, zorgt het systeem ervoor dat hun beperkte kwantumbronnen worden uitgeput voordat ze kunnen slagen. De eerlijke gebruiker, beschermd door de wetten van de fysica en de precisie van tijdmeting, kan zijn locatie verifiëren met een niveau van veiligheid dat voorheen als onbereikbaar werd beschouwd. Dit werk opent de deur naar een nieuw tijdperk van locatiegebaseerde beveiliging, waarin de handeling van het proberen te misrepresenteren van iemands locatie een zelfvernietigend proces van bronuitputting wordt.