Quantum pseudoresources imply cryptography

In de wereld van de kwantumfysica fungeren bepaalde eigenschappen van materie als brandstof voor taken die klassieke computers simpelweg niet kunnen uitvoeren. Hierbij valt verstrengeling op als een bijzonder krachtige hulpbron. Stel je twee deeltjes voor die zo diep met elkaar verbonden zijn dat de toestand van het een de toestand van het ander onmiddellijk beïnvloedt, ongeacht hoe ver ze van elkaar verwijderd zijn. Deze verbinding stelt kwantumsystemen in staat om informatie te verwerken op manieren die onmogelijk lijken in onze alledaagse ervaring. Het creëren en behouden van deze verstrengeling is echter moeilijk; het vereist nauwkeurige controle en wordt gemakkelijk vernietigd door de omgeving. Lange tijd namen wetenschappers aan dat men, om veilige kwantumcommunicatiesystemen te bouwen, deze echte, hoogwaardige verstrengeling koste wat kost moest genereren en beschermen.

Toch is er een nieuw perspectief ontstaan vanuit het snijvlak van natuurkunde en informatica. Onderzoekers zijn gaan vragen wat er gebeurt wanneer we naar deze kwantumhulpbronnen kijken door de lens van beperkte rekenkracht. Net zoals een menselijke waarnemer het verschil mogelijk niet kan zien tussen een werkelijk willekeurige reeks getallen en een reeks die door een slim algoritme is gegenereerd, kan een kwantumsysteem met een beperkte verwerkingssnelheid mogelijk het verschil niet zien tussen een toestand met enorme verstrengeling en een toestand met zeer weinig verstrengeling. Dit fenomeen, waarbij een systeem er voor een beperkte waarnemer "rijk aan hulpbronnen" uitziet maar in werkelijkheid "arm aan hulpbronnen" is, staat bekend als een pseudohulpbron. De vraag die de recente onderzoekingen drijft, is of deze misleidende, hulpbronarme toestanden nog steeds als fundament kunnen dienen voor veilige cryptografie, of dat de echte zaak strikt vereist is.

Een team van onderzoekers aan de Sorbonne Université en het CNRS in Parijs heeft nu een definitief antwoord gegeven op deze vraag. Zij hebben aangetoond dat deze misleidende kwantumtoestanden niet slechts curiositeiten zijn; ze zijn krachtig genoeg om het fundament te vormen van veilige communicatie. Specifiek lieten de auteurs zien dat als je beschikt over een paar families van kwantumtoestanden die computationeel ononderscheidbaar zijn maar een aanzienlijk gat vertonen in hun inhoud aan hulpbronnen, je een veilig commitment-schema kunt construeren. In de cryptografie is een commitment-schema als een digitale verzegelde envelop: één partij kan een geheime waarde in een envelop vergrendelen en deze naar een ander sturen, waarbij wordt gegarandeerd dat de waarde niet kan worden gewijzigd (binding) en niet kan worden gelezen totdat de verzender besluit deze te onthullen (hiding).

De onderzoekers bewezen dat het bestaan van deze "pseudohulpbronnen" voldoende is om deze veilige enveloppen te creëren. Ze introduceerden een nieuw wiskundig kader, dat ze EPFI-paren noemen, om de relatie tussen deze families van toestanden te beschrijven. Een EPFI-paar bestaat uit twee groepen kwantumtoestanden die zo verschillend zijn in hun fysieke eigenschappen dat ze statistisch gezien ver uit elkaar liggen, maar een computer met een beperkte snelheid kan ze niet van elkaar onderscheiden. Door gebruik te maken van dit gat, construeerde het team een protocol waarbij een verzender zich aan een bit aan informatie kan verbinden met behulp van een toestand uit een van deze families. De beveiliging berust op het feit dat een afluisteraar zonder een geheime sleutel het verschil niet kan zien tussen de families waaruit de toestand afkomstig is, en dat de verzender met de sleutel de toestand niet kan wijzigen omdat de toestanden fysiek te verschillend zijn om verwisseld te worden.

Deze bevinding heeft diepgaande implicaties omdat het het abstracte concept van resourcentheorie direct koppelt aan praktische beveiliging. Het artikel stelt vast dat als je deze pseudohulpbronnen kunt genereren, je automatisch het vermogen verkrijgt om complexe cryptografische taken uit te voeren, zoals veilige multi-party computation en oblivious transfer, waarbij partijen een resultaat kunnen berekenen zonder hun privé-inputs prijs te geven. De auteurs stopten niet bij algemene hulpbronnen; ze richtten zich sterk op verstrengeling, de meest beroemde kwantumhulpbron. Ze toonden aan dat zelfs als de verstrengeling "nep" is in de zin dat deze computationeel verborgen is, zij reëel genoeg is om een communicatiekanaal te beveiligen. Ze stelden verder een nieuwe functionaliteit voor genaamd "computationally locked entanglement", waarbij een toestand een hoge mate van verstrengeling bevat die alleen ontgrendeld kan worden met een geheime sleutel, waardoor de hulpbron effectief verborgen blijft voor iedereen die de sleutel niet bezit.

Het werk verheldert de minimale vereisten voor kwantumcryptografie. Voorheen was bekend dat bepaalde cryptografische primitieven gebouwd konden worden vanuit one-way functies, maar de exacte minimale aanname voor de kwantumwereld bleef een open vraag. Dit artikel suggereert dat het vermogen om deze pseudohulpbronnen te genereren een fundamentele bouwsteen is, misschien zelfs fundamenteler dan eerder gedacht. De onderzoekers suggereerden dit niet enkel; ze leverden een rigoureus wiskundig bewijs dat het bestaan van deze specifieke families van toestanden de aanwezigheid van veilige commitment-schema's impliceert. Ze verhelderden ook de relatie tussen verschillende definities van pseudo-verstrengeling, waarbij ze lieten zien dat zelfs definities gebaseerd op informatie-theoretische maten, in plaats van enkel computationele, kunnen leiden tot veilige cryptografische constructies.

In het bredere landschap van de kwantuminformatie verschuift dit resultaat de focus van de loutere hoeveelheid hulpbronnen naar de computationele moeilijkheid van het detecteren ervan. Het suggereert dat de beveiliging van toekomstige kwantumnetwerken misschien niet afhangt van het genereren van perfecte, hoogwaardige verstrengeling bij elke stap, maar eerder van het vermogen om toestanden te creëren die ononderscheidbaar zijn van toestanden met veel hulpbronnen voor elke waarnemer zonder de juiste sleutel. De auteurs laten de vraag open of deze pseudohulpbronnen gebouwd kunnen worden vanuit nog zwakkere aannames, maar hun huidige werk vestigt stevig dat de kloof tussen "lijken op" een hulpbron en het "zijn van" een hulpbron groot genoeg is om het gehele bouwwerk van de kwantumcryptografie te ondersteunen. Deze ontdekking overbrugt de kloof tussen theoretische resourcentheorieën en praktische beveiliging, en biedt een nieuwe weg voor het ontwerpen van kwantumprotocollen die zowel efficiënt als veilig zijn.