In het opkomende veld waar klassieke computers met kwantummachines communiceren, ontstaat een fundamentele uitdaging: hoe kan een klassieke gebruiker verifiëren dat een kwantumapparaat werkelijk iets doet wat een klassieke computer niet kan, zonder daarbij iets anders over de interne staat van de machine te leren? Deze vraag staat centraal bij "bewijzen van kwantumachtigheid" (proofs of quantumness), een cryptografische handdruk waarbij een klassieke verifieerder een puzzel naar een kwantum-prover stuit, die de puzzel moet oplossen om zijn kwantumaard te bewijzen. De veiligheid van deze interacties rust op een specifiek type wiskundige slot dat een "trapdoor claw-free function" wordt genoemd. Stel je een paar vergrendelde deuren voor die er van buiten identiek uitzien; een klassieke waarnemer kan niet zien welke deur waarheen leidt, maar een kwantummachine kan simultaan door beide deuren lopen. De persoon die de deuren heeft gebouwd, bezit een geheime sleutel, of "trapdoor", die precies onthult hoe de deuren met elkaar verbonden zijn. Jarenlang rustte de volledige veiligheid van deze protocollen op een kwetsbare aanname: dat de persoon die de puzzel verzendt, de sleutels eerlijk heeft gegenereerd. Als een kwaadwillende actor een iets andere set sleutels zou sturen die er hetzelfde uitziet maar anders functioneert, zou de kwantum-prover in de miskuist kunnen worden om geheimen te onthullen of te falen in de test, terwijl de verifieerder zich hiervan niet bewust zou zijn.

Een team onderzoekers aan de National University of Singapore heeft nu een robuust kader gebouwd om deze kwetsbaarheid te verhelpen, waarbij een systeem is gecreëerd waarin de sleutels zelf voorzien zijn van een verifieerbaar certificaat van authenticiteit. Hun werk, gepubliceerd in een recente studie, introduceert een methode om te certificeren dat een sleutel correct is gegenereerd zonder de geheime trapdoor te onthullen die nodig is om het systeem te breken. Ze ontwikkelden een universele blauwdruk die werkt over verschillende wiskundige fundamenten heen, niet alleen voor de meest gebruikte vandaag de dag. Door een zero-knowledge bewijs aan elke sleutel te koppelen, stelt het systeem de kwantum-prover in staat om te controleren of de puzzel echt is voordat hij probeert deze op te lossen. Dit zorgt ervoor dat de prover interageert met een legitieme kwantumuitdaging in plaats van met een kwaadaardige valstrik. De onderzoekers toonden aan dat deze aanpak bestaande kwantum-bewijzen succesvol transformeert naar "zero-knowledge" versies, waarbij de verifieerder alleen leert dat de prover kwantumachtig is, en niets meer over de capaciteiten van de prover of de specifieke verwerkte gegevens.

Het onderzoek trekt echter ook een scherpe lijn rondom waar deze oplossing wel en niet werkt. De onderzoekers ontdekten dat voor bepaalde geavanceerde protocollen die ontworpen zijn om de aard van de sleutels zelf te verbergen, het toevoegen van een certificaat de veiligheid juist zou breken. In deze specifieke gevallen rust de veiligheid op het feit dat niemand het verschil kan zien tussen een "claw-free" sleutel en een totaal ander type "injective" sleutel. Als er een certificaat zou worden uitgegeven om te bewijzen dat de sleutel claw-free is, zou dit de identiteit van de sleutel onmiddellijk onthullen, waardoor de geheimhouding die het protocol moest beschermen, wordt vernietigd. Hoewel het nieuwe kader dus een krachtig instrument biedt om veel kwantuminteracties te beveiligen, is het geen universele oplossing; het is een precies instrument dat alleen gebruikt moet worden wanneer de structuur van de sleutel publiek bedoeld is, en niet verborgen.

De kern van het probleem ligt in de aard van de sleutels die in deze cryptografische interacties worden gebruikt. Een trapdoor claw-free function is een wiskundig object dat werkt als een paar functies, die elk inputs naar outputs mappen op een manier die gemakkelijk te berekenen is maar moeilijk om te keren zonder een geheim. De "claw-free" eigenschap betekent dat het computationeel onmogelijk is voor iedereen zonder de geheime trapdoor om twee verschillende inputs te vinden die dezelfde output produceren. In een typisch bewijs van kwantumachtigheid genereert een klassieke verifieerder een dergelijke sleutel en stuurt deze naar een kwantum-prover. De prover moet vervolgens een kwantumoperatie uitvoeren die aantoont dat hij in staat is de unieke structuur van de sleutel te hanteren. De crux is dat een kwaadwillende verifieerder een sleutel kan genereren die identiek lijkt aan een legitieme, maar die de noodzakelijke claw-free structuur mist, of erger nog, een sleutel die ontworpen is om extra informatie uit de prover te extraheren. Omdat de sleutel slechts een reeks getallen is, heeft de prover geen manier om te weten of de sleutel eerlijk of een valstrik is.

Om dit op te lossen, definieerden de onderzoekers een nieuw concept genaamd een "certifiable key relation". Dit is een wiskundige regel die precies beschrijft hoe een eerlijke sleutel eruitziet, samen met een "witness" die bewijst dat de sleutel correct is gegenereerd. De witness is een stuk informatie dat alleen de eerlijke generator bezit, zoals de specifieke willekeurige getallen die werden gebruikt om de sleutel te creëren. De onderzoekers toonden aan dat voor verschillende belangrijke families van deze functies — gebaseerd op de moeilijkheid van het factoriseren van grote getallen, de complexiteit van discrete logaritmen en de hardheid van "learning with errors" — een geldige witness altijd kan worden teruggevonden uit de geheime trapdoor. De doorbraak was het besef dat de generator de aanwezigheid van deze witness kon bewijzen zonder de witness zelf te tonen. Ze bereikten dit door gebruik te maken van een "zero-knowledge argument of knowledge", een cryptografische techniek waarmee één partij de andere kan overtuigen dat zij een geheim kent zonder het geheim zelf te onthullen.

Het resultaat is een "certified key generation" schema. Wanneer een verifieerder een sleutel creëert, produceert deze nu ook een certificaat. Dit certificaat is een wiskundig bewijs dat de sleutel tot de juiste familie behoort en eerlijk is gegenereerd. De kwantum-prover ontvangt zowel de sleutel als het certificaat. Voordat de prover aan het werk gaat, voert hij een snelle controle uit om het certificaat te verifiëren. Als het certificaat geldig is, weet de prover dat de sleutel veilig te gebruiken is. Als het certificaat ontbreekt of ongeldig is, weet de prover dat de verifieerder probeert te misleiden en stopt de interactie. Cruciaal is dat het certificaat niets onthult over de geheime trapdoor. De onderzoekers bewezen dat zelfs met dit extra certificaat, de wiskundige moeilijkheid om het systeem te breken exact hetzelfde blijft als voorheen. Het certificaat fungeert als een zegel van authenticiteit dat het slot niet verzwakt.

Dit kader maakt een generieke "compiler" mogelijk, een hulpmiddel dat elk bestaand protocol voor bewijs van kwantumachtigheid kan upgraden naar een zero-knowledge versie. In de oorspronkelijke protocollen zou de verifieerder meer kunnen leren dan alleen dat de prover kwantumachtig is; de verifieerder zou details kunnen leren over de interne staat van de prover of de specifieke uitgevoerde kwantumoperaties. Door de stap van gecertificeerde sleutelgeneratie in te voegen, toonden de onderzoekers aan dat de verifieerder gedwongen kan worden om niets meer te leren dan het enkele feit dat de prover kwantumachtig is. Dit is essentieel voor de toekomst van quantum cloud computing, waarbij gebruikers moeten kunnen verifiëren dat een externe server een kwantumcomputer gebruikt zonder de gebruiker de mogelijkheid te geven om via die server informatie over de private gegevens van de gebruiker te verkrijt. De studie bevestigt dat deze upgrade naadloos werkt voor protocollen gebaseerd op factorisatie, discrete logaritmen en learning with errors, mits de onderliggende wiskundige relatie gecertificeerd kan worden.

De onderzoekers stopten niet bij wat wel werkt; ze brachten ook zorgvuldig in kaart wat niet werkt. Ze identificeerden een klasse van protocollen waarbij de veiligheid afhangt van het onvermogen om onderscheid te maken tussen een claw-free sleutel en een injective sleutel. In deze scenario's is de "injective" sleutel een ander type wiskundig object dat anders werkt maar er hetzelfde uitziet voor een waarnemer. De veiligheid van deze protocollen rust op het feit dat de prover niet weet welk type sleutel hij heeft gekregen. Als de verifieerder een certificaat zou uitgeven om te bewijzen dat de sleutel claw-free is, zou de prover onmiddellijk het type sleutel weten, wat het protocol onveilig maakt. De onderzoekers toonden aan dat in deze specifieke gevallen de handeling van de certificering zelf de informatie lekt die het protocol probeert te verbergen. Het certificaat wordt een "distinguisher", een instrument dat de twee soorten sleutels van elkaar scheidt, waardoor het protocol onveilig wordt.

Deze beperking is geen fout in de certificeringsmethode, maar een fundamentele grens van de toepassing ervan. De onderzoekers leggen uit dat certificering een instrument is voor protocollen waarbij de structuur van de sleutel publieke kennis moet zijn, terwijl de geheime trapdoor verborgen blijft. Het is geen instrument voor protocollen waarbij de identiteit van de sleutelfamilie zelf het geheim is. Door deze grens af te bakenen, biedt de studie een duidelijke gids voor toekomstig cryptografisch ontwerp. Het vertelt ingenieurs dat ze gecertificeerde sleutels veilig kunnen gebruiken om kwantum-bewijzen in veel contexten te beveiligen, maar dat ze deze techniek moeten vermijden in protocollen die vertrouwen op de ononderscheidbaarheid van sleutelfamilies.

Het werk vormt een belangrijke stap naar het praktisch en veilig maken van kwantumcryptografie in echte toepassingen. Door over te stappen van een model waarbij vertrouwen wordt verondersteld naar een model waarbij vertrouwen wordt geverifieerd, hebben de onderzoekers een kritieke kloof in de veiligheid van klassiek-kwantum interacties aangepakt. Hun kader is niet gebonden aan één enkele wiskundige aanname, maar is gebouwd op een algemeen principe dat kan worden toegepast op verschillende cryptografische fundamenten. Deze flexibiliteit zorgt ervoor dat naarmate nieuwe kwantumresistente algoritmen worden ontwikkeld, de methode voor het certificeren van hun sleutels kan worden aangepast. De studie concludeert dat hoewel de weg naar volledig veilige kwantumcommunicatie complex is, het vermogen om de integriteit van de sleutels die in deze interacties worden gebruikt te verifiëren een noodzakelijke en haalbare mijlpaal is. De onderzoekers hebben de blauwdruk geleverd voor een toekomst waarin kwantum-bewijzen niet alleen verifieerbaar zijn, maar ook privé, waardoor wordt gewaarborgd dat de kracht van kwantumcomputing kan worden benut zonder de geheimen die het moet beschermen in gevaar te brengen.