Classical Verifier Position Verification from Non-Local Games

In het digitale tijdperk is weten waar een stukje data of een persoon zich precies bevindt meer dan een gemak; het is een hoeksteen van beveiliging. Stel je een bank voor die er zeker van moet zijn dat een transactie plaatsvindt vanuit een specifieke kluis in New York, en niet vanaf de laptop van een hacker in een ander land. In de wereld van de cryptografie wordt dit positieverificatie genoemd. Decennialang wisten wetenschappers al dat het gebruik van alleen standaardcomputers en klassieke signalen om locatie te bewijzen onmogelijk is tegen een vastberaden groep aanvallers die samenwerken. Deze aanvallers kunnen berichten simpelweg heen en weer sturen met een snelheid die zo hoog is dat ze een verifieerder kunnen misleiden door te doen alsof ze op een specifieke plek zijn, zelfs als ze ergens anders zijn. Om dit op te lossen, richtten onderzoekers zich op de kwantummechanica, de natuurkunde van het zeer kleine. Door deeltjes licht te verzenden die niet gekopieerd kunnen worden zonder verstoord te worden, creëerden ze systemen waarin locatie bewezen kon worden. Echter, deze kwantumsystemen hebben een groot gebrek: het verzenden van fragiele deeltjes over lange afstanden zorgt ervoor dat ze verdwijnen, wat de technologie onpraktisch maakt voor alles buiten een laboratorium.

Een team van onderzoekers bij JPMorgan Chase heeft nu een nieuwe manier voorgesteld om dit puzzelstukje op te lossen die het gebruik van langeafstandskwantumkanalen volledig vermijdt. Hun werk introduceert een methode waarbij de mensen die de locatie controleren, de verifieerders, alleen gewone digitale berichten verzenden en ontvangen. Het zware werk wordt gedaan door de mensen die gecontroleerd worden, de provers, die kwantumbronnen gebruiken binnen hun eigen lokale apparaten. De onderzoekers bouwden een algemeen kader dat een specifiek type coöperatief kwantumspel omzet in een beveiligde locatietest. In dit spel moeten gescheiden spelers hun antwoorden coördineren zonder met elkaar te communiceren, waarbij ze vertrouwen op een gedeelde kwantumverbinding. Het team bewees dat als de spelers echt op de juiste plek zijn, hun antwoorden een niveau van coördinatie zullen vertonen dat onmogelijk te vervalsen is zonder betrapt te worden. Cruciaal is dat zij toonden dat deze beveiliging niet afhangt van het samen produceren van willekeurige getallen door de spelers, maar van een specifiek soort lokale onvoorspelbaarheid die wordt afgedwongen door de fysieke opstelling van de betrokken personen.

De kern van dit nieuwe systeem is een slimme vertaling van een concept dat bekend staat als een non-lokale game. In deze spellen ontvangen twee of meer spelers vragen van een scheidsrechter en moeten zij antwoorden geven die op een specifieke manier gecorreleerd zijn. Als de spelers een speciale kwantumverbinding delen, genaamd verstrengeling (entanglement), kunnen zij correcter antwoorden dan welke groep spelers dan ook die alleen klassieke fysica gebruikt. De onderzoekers realiseerden zich dat ze deze kwantumvoordelen konden gebruiken om locatie te verifiëren zonder ooit een kwantumdeeltje naar de verifieerder te sturen. In plaats daarvan sturen de verifieerders klassieke vragen naar de provers, die hun lokale kwantumapparaten gebruiken om antwoorden te genereren. De provers sturen vervolgens hun antwoorden terug naar alle verifieerders. Het systeem controleert twee zaken: eerst dat de antwoorden correct genoeg zijn om te bewijzen dat de provers kwantummechanica gebruiken, en tweede dat de antwoorden die naar verschillende verifieerders worden gestuurd, consistent zijn met elkaar. Als een aanvaller probeert de locatie te simuleren, zou hij de antwoorden van de provers moeten kunnen voorspellen zonder toegang te hebben tot de noodzakelijke kwantuminformatie, een taak die de onderzoekers statistisch onmogelijk bewezen hebben als de geometrie van de opstelling correct is.

Een van de belangrijkste bevindingen is dat de beveiliging van dit systeem sterk afhangt van de fysieke lay-out van de betrokken mensen. De onderzoekers demonstreerden dat het louter hebben van een spel met een kwantumvoordeel niet voldoende is; de posities van de verifieerders en provers moeten zo zijn gerangschikt dat geen enkele aanvaller in staat is om alle noodzakelijke informatie tijdig te verzamelen om de locatie te simuleren. Zij toonden aan dat in sommige arrangementen een aanvaller theoretisch het antwoord van een prover zou kunnen voorspellen door naar de antwoorden van anderen te kijken, maar door de posities van de verifieerders te verschuiven, kunnen zij deze informatiestroom blokkeren. Dit creëert een situatie waarin het antwoord van elke prover onvoorspelbaar blijft voor de anderen, een eigenschap die de auteurs blind lokale willekeur noemen. Dit inzicht zet de eerdere aanname op zijn kop dat de beveiliging van dergelijke systemen afhangt van de globale willekeur van de gecombineerde outputs van alle spelers. In plaats daarvan is de beveiliging een direct resultaat van de ruimtelijke scheiding en de tijdslimieten die door de lichtsnelheid worden opgelegd.

Om te bewijzen dat hun idee in de echte wereld werkt, testte het team hun kader met de eenvoudigst mogelijke versie van dit kwantumspel, bekend als de CHSH-game. Dit spel vereist slechts twee spelers en basiskwantumapparatuur die al in experimenten is aangetoond om de fundamenten van de fysica te testen. De onderzoekers berekenden dat zij met deze opstelling locaties met een hoge mate van zekerheid kunnen verifiëren met de huidige technologie. Zij toonden aan dat zelfs met een klein aantal rondes het systeem een aanvaller met een zeer hoge waarschijnlijkheid kan detecteren. De schoonheid van deze aanpak is dat de verifieerders geen enkele kwantumhardware nodig hebben; zij kunnen standaardcomputers zijn die verbonden zijn via reguliere netwerken. De kwantumcomplexiteit is volledig geconcentreerd binnen de apparaten van de provers, die zich in een beveiligd datacenter of een beschermde faciliteit kunnen bevinden. Deze scheiding betekent dat het systeem stapsgewijs kan worden uitgerold, waarbij bestaande klassieke netwerken kunnen worden geüpgraded zonder de noodzaak voor dure en fragiele kwantumcommunicatielijnen tussen de verifieerder en de prover.

Het artikel behandelt ook de praktische realiteiten van hoe lang het duurt voor een apparaat een vraag verwerkt en een antwoord verzendt. In een perfecte theoretische wereld zouden apparaten onmiddellijk reageren, maar in de werkelijkheid is er een vertraging. De onderzoekers analyseerden hoe deze vertraging de beveiliging beïnvloedt en vonden dat dit vereist dat de provers verder uit elkaar geplaatst worden om hetzelfde beschermingsniveau te behouden. Zij boden een duidelijke methode om deze afstanden te berekenen, waardoor zelfs met verwerkingsvertragingen een aanvaller niet genoeg informatie kan verzamelen om een locatie te vervalsen. Deze aandacht voor detail transformeert het concept van een theoretische mogelijkheid naar een blauwdruk voor een praktisch systeem. Het werk suggereert dat onafhankelijke datacentra in de nabije toekomst hun eigen locaties kunnen verifiëren om aan regelgevende vereisten te voldoen, en op de langere termijn, naarmate kwantumnetwerken rijpen, dezelfde infrastructuur gebruikt kan worden om de locaties van meerdere knooppunten over een breder netwerk te verifiëren.

De onderzoekers merken er zorgvuldig bij op dat hoewel hun methode een belangrijke stap voorwaarts is, het geen magische oplossing is die elk probleem in locatiesbeveiliging oplost. Zij sluiten expliciet de mogelijkheid uit dat dit systeem werkt met slechts één prover en één verifieerder in een eenvoudige opstelling; het vereist meerdere provers en meerdere verifieerders die in een specifieke geometrie zijn gerangschikt. Zij tonen ook aan dat als de provers te dicht bij elkaar staan of de verifieerders slecht geplaatst zijn, het systeem kwetsbaar wordt voor aanvallen die voorheen als onmogelijk werden beschouwd. Door deze geometrische beperkingen in kaart te brengen, bieden zij een duidelijke handleiding voor het bouwen van een veilig systeem. Het werk beweert niet het probleem van kwantumcommunicatie over lange afstanden te hebben opgelost, maar biedt eerder een manier om dat probleem volledig te omzeilen voor de specifieke taak van locatieverificatie.

Uiteindelijk biedt dit onderzoek een nieuwe weg voor het beveiligen van de fysieke locatie van digitale activa. Door de kwantumlast naar de prover te verschuiven en de verifieerder klassiek te houden, heeft het team de grootste barrière voor praktische implementatie weggenomen: het verlies van kwantumsignalen over afstand. Hun bevindingen suggereren dat we niet hoeven te wachten op een wereldwijd kwantuminternet om locaties veilig te verifiëren. In plaats daarvan kunnen we de kwantumbronnen die we al hebben, beperkt tot lokale apparaten, gebruiken en combineren met slimme geometrische arrangementen om een systeem te creëren dat zowel robuust als haalbaar is. Het werk dient als een bewijs dat de wetten van de fysica, wanneer ze worden toegepast met een duidelijk begrip van ruimte en tijd, een fundament van vertrouwen in een digitale wereld kunnen bieden.