Computational Cryptography from Pseudoentanglement

In de stille, abstracte wereld van de theoretische cryptografie besteden wetenschappers hun tijd aan het stellen van een bedrieglijk eenvoudige vraag: wat is de absolute minimale hoeveelheid moeilijkheidsgraad die nodig is om geheimen veilig te houden? Decennialang leek het antwoord te rusten op één enkele, zware aanname: dat er wiskundige functies bestaan die gemakkelijk te creëren zijn maar bijna onmogelijk om te keren, zoals het laten breken van een ei maar nooit meer in staat zijn om het weer heel te maken. Als dergelijke functies bestaan, dan is veilige communicatie mogelijk. Maar als ze niet bestaan, zou het hele fundament van de moderne digitale beveiliging kunnen instorten. Deze onzekerheid heeft onderzoekers gedreven om te zoeken naar zwakkere, meer fundamentele bouwstenen die de structuur van privacy nog steeds zouden kunnen ondersteunen, zelfs als de zware aanname onwaar blijkt te zijn.

Onlangs is er een nieuw veld ontstaan op het snijvlak van informatica en kwantumfysica, dat zich richt op een vreemde eigenschap genaamd pseudo-verstrengeling. In de kwantumwereld kunnen deeltjes verbonden raken op een manier die de klassieke intuïtie tart, een fenomeen dat verstrengeling wordt genoemd. Pseudo-verstrengeling beschrijft een situatie waarin een verzameling kwantumtoestanden voor een waarnemer met beperkte rekenkracht diep verbonden lijkt te zijn, ook al zijn ze dat in werkelijkheid niet. Het is een truc van perceptie, gecreëerd door de beperkingen van de instrumenten van de waarnemer. Dit concept heeft een golf van onderzoek ontketend, maar een cruciale vraag bleef onbeantwoord: heeft deze kwantumillusie enige echte kracht om informatie te beschermen, of is het slechts een theoretische curiositeit?

Een team onderzoekers van het Okinawa Institute of Science and Technology en de Universiteit van Lissabon heeft nu deze kloof overbrugd, door te bewijzen dat pseudo-verstrengeling niet slechts een curiositeit is, maar een krachtige motor voor cryptografie. Hun werk demonstreert dat als deze misleidende kwantumtoestanden bestaan, ze gebruikt kunnen worden om de meest basale en essentiële instrumenten te construeren die nodig zijn voor veilige communicatie. Specifiek toonden zij aan dat het bestaan van pseudo-verstrengeling voldoende is om te creëren wat bekend staat als EFI-paren. Dit zijn paren kwantumtoestanden die zo verschillend van elkaar zijn dat een perfecte, onbeperkte waarnemer het verschil direct kan zien, terwijl ze voor elke realistische computer met beperkte snelheid identiek lijken. Dit vermogen om een enorme verschillen te verbergen achter een sluier van ononderscheidbaarheid is het fundament van de moderne kwantumcryptografie, wat alles mogelijk maakt van veilig stemmen tot privéberichten.

De onderzoekers bereikten dit door twee verschillende manieren waarop pseudo-verstrengeling gedefinieerd wordt te verbinden met het bestaan van deze veilige toestanden. De ene definitie, genaamd volledig computationele pseudo-verstrengeling, vereist dat de kwantumtoestanden efficiënt voorbereid en gemanipuleerd kunnen worden door een computer. De andere, genaamd inefficiënt-distilleerbare pseudo-verstrengeling, is een iets lossere versie waarbij de hoog-verstrengelde toestanden bestaan, maar wellicht te moeilijk zijn om efficiënt te extraheren. Het team bewees dat als de eerste, striktere versie bestaat, dit voldoende is om de veilige toestanden te bouwen. Ze bewezen ook dat de tweede, lossere versie niet alleen een mogelijkheid is, maar exact equivalent is aan het bestaan van die veilige paren. Met andere woorden, je kunt niet de een hebben zonder de ander. Deze equivalentie plaatst pseudo-verstrengeling naast de meest fundamentele aannames in het vakgebied, wat suggereert dat het vermogen om deze kwantumillusies te creëren net zo krachtig is als het vermogen om veilige communicatiekanalen te creëren.

Om tot deze conclusie te komen, moest het team nieuwe wiskundige instrumenten ontwikkelen om de afstand tussen kwantumtoestanden en de "kosten" van het creëren ervan te meten. Ze toonden aan dat als twee families van kwantumtoestanden zeer dicht bij elkaar liggen in termen van hoe gemakkelijk ze te onderscheiden zijn, het gat in hun verstrengelingsniveau moet verdwijnen. Omgekeerd, als er een aanzienlijk gat in hun verstrengeling is, moeten de toestanden ver uit elkaar liggen op een manier die ze onderscheidbaar maakt. Door dit inzicht te combineren met een techniek om kleine verschillen te versterken met behulp van meerdere kopieën van de toestanden, demonstreerden zij dat het gat in verstrengeling kon worden omgezet in een duidelijk, meetbaar verschil voor een veilig protocol, terwijl het verborgen bleef voor een computationeel beperkte tegenstander.

Dit werk doet meer dan alleen twee abstracte concepten verbinden; het opent een nieuw pad voor het bouwen van cryptografische systemen vanuit fysieke verschijnselen. Omdat de definities van pseudo-verstrengeling geworteld zijn in de operationele limieten van wat een computer kan doen, suggereren de bevindingen van de onderzoekers dat de beperkingen van de berekening zelf kunnen worden gebruikt om veiligheid te genereren. Als de natuur ons systemen biedt die deze pseudo-verstrengeling vertonen, kunnen we die gebruiken om de volgende generatie onkraakbare codes te bouwen. De studie verheldert ook de hiërarchie van aannames in de kwantumcryptografie, door aan te tonen dat het bestaan van deze veilige toestandenparen een noodzakelijke voorwaarde is voor het bestaan van pseudo-verstrengeling. Dit betekent dat als we ooit ontdekken dat veilige kwantumcommunicatie onmogelijk is, we tegelijkertijd zullen weten dat deze specifieke kwantumillusies ook niet kunnen bestaan.

De implicaties strekken zich uit voorbij de cryptografie naar het domein van de fysica zelf. Het concept van pseudo-verstrengeling was oorspronkelijk geïnspireerd door ideeën uit de hogenergetische fysica, zoals de relatie tussen zwaartekracht en kwantummechanica. Door een stevige link te leggen tussen deze kwantumtoestanden en cryptografische veiligheid, bieden de onderzoekers een nieuwe manier om fysieke theorieën te testen. Als een fysisch systeem kan worden aangetoond over deze specifieke eigenschappen te beschikken, zou het als een platform kunnen dienen voor het genereren van veilige sleutels, waardoor een fundamentele eigenschap van het universum effectief wordt omgezet in een hulpmiddel voor privacy. Het werk suggereert dat de grens tussen wat computationeel moeilijk is en wat fysisch mogelijk is, dunner is dan voorheen gedacht, en dat de grenzen van onze machines juist de reden kunnen zijn die onze geheimen garandeert.

Uiteindelijk transformeert dit onderzoek het landschap van kwantumbeveiliging door te laten zien dat het vermogen om een overtuigende illusie van verstrengeling te creëren een hulpbron is die even waardevol is als de echte zaak. Het bevestigt dat de minimale vereisten voor cryptografie niet zo rigide zijn als voorheen werd aangenomen, en biedt een breder menu aan mogelijkheden voor het construeren van veilige systemen. De bevindingen staan als een bewijs dat de vreemde, contra-intuïtieve regels van de kwantumwereld, wanneer bekeken door de lens van computationele limieten, kunnen worden ingezet om een fundament voor vertrouwen in een digitaal tijdperk te creëren. De brug tussen de fysieke wereld van kwantumtoestanden en de abstracte wereld van cryptografische veiligheid is nu stevig gebouwd, waardoor inzichten uit de ene de andere kunnen verlichten.