In de komende decennia staat de wereld van de computertechnologie aan de vooravond van een fundamentele verschuiving. Decennialang waren de krachtigste computers klassieke machines die informatie verwerkten op een lineaire wijze van enen en nullen. Nu komt er een nieuwe generatie apparaten op, bekend als quantumcomputers. Deze machines werken volgens de vreemde wetten van de kwantumfysica, waardoor ze bepaalde problemen met een snelheid kunnen oplossen die klassieke computers simpelweg niet kunnen evenaren. Naarmate deze apparaten de overstap maken van theorie naar realiteit, rijst een kritische vraag: hoe kan iemand met een standaardcomputer er zeker van zijn dat een extern apparaat werkelijk quantum is en niet slechts een slimme imitatie? Dit is de uitdaging van "proofs of quantumness" (bewijzen van kwantumachtigheid). Het is een digitale handdruk waarbij een quantummachine haar unieke capaciteiten moet bewijzen aan een klassieke waarnemer. Deze interactie brengt echter een verborgen risico met zich mee. Net zoals een persoon een bankbediende zou kunnen proberen te misleiden om geld op te nemen dat hij niet bezit, zou een onbetrouwbare waarnemer een quantummachine potentieel kunnen misleiden om moeilijke problemen voor hen op te lossen, waardoor het rekenvermogen effectief wordt gestolen zonder ervoor te betalen.

Een team van onderzoekers heeft deze kwetsbaarheid nu aangepakt door een nieuwe beveiligingslaag te introduceren die "zero-knowledge proofs of quantumness" wordt genoemd. In hun werk formaliseren zij een methode waarbij een quantumapparaat kan bewijzen dat het quantum is zonder extra informatie prijs te geven die een onbetrouwbare waarnemer zou kunnen exploiteren. De onderzoekers demonstreren dat in huidige systemen een kwaadwillende waarnemer de interactie kan manipuleren om nuttige gegevens te extraheren, zoals de factoren van een groot getal of de oplossing van een complex wiskundig raadsel, simpelweg door zich voor te doen als een standaard verifieerder. Het nieuwe kader voorkomt dit door te garanderen dat de informatie die de waarnemer verkrijgt niet groter is dan wat door een standaard, niet-quantum computer gegenereerd zou kunnen worden. Dit betekent dat het unieke vermogen van de quantummachine beschermd blijft, en de waarnemer de interactie niet kan gebruiken om een onrechtmatig voordeel te behalen.

De onderzoekers concentreerden zich op twee van de meest prominente methoden die vandaag de dag worden gebruikt om quantumachtigheid te bewijzen. De eerste berust op de moeilijkheid van het ontbinden van grote getallen in factoren, een taak die gemakkelijk is voor quantumcomputers maar moeilijk voor klassieke computers. De tweede is gebaseerd op een wiskundig probleem met betrekking tot fouten in data, bekend als "learning with errors". In beide gevallen vonden de onderzoekers een manier om de bestaande protocollen te upgraden. Ze deden dit door de waarnemer, de klassieke verifieerder, te verplichten een speciaal soort digitaal certificaat te verstrekken voordat de interactie begint. Dit certificaat bewijst dat de waarnemer niet probeert om onbetrouwbaar te handelen of verborgen geheimen te extraheren. Het fungeert als een garantie dat de waarnemer eerlijk handelt, of in ieder geval niet kwaadwillend is. Als de waarnemer een vals of gemanipuleerd getal probeert te gebruiken om de quantummachine te misleiden, kan hij dit certificaat niet produceren zonder de geheime oplossing zelf te kennen, wat het doel van de truc tenietdoet.

Om dit te laten werken, combineerden de onderzoekers het quantumbewijs met een klassiek beveiligingsinstrument dat bekend staat als een "extractable non-interactive zero-knowledge argument". Dit instrument stelt het systeem in staat om te verifiëren dat de waarnemer over de benodigde geheime kennis beschikt om het certificaat te genereren, zonder dat de waarnemer die kennis ooit hoeft te onthullen. Als de waarnemer eerlijk is, is het certificaat geldig en kan het quantumbewijs doorgaan. Als de waarnemer kwaadwillend is en een vals getal probeert te gebruiken, kan hij geen geldig certificaat genereren, en faalt de interactie. Dit creëert een systeem waarbij het quantumapparaat veilig is voor exploitatie. De onderzoekers toonden aan dat deze aanpak werkt voor zowel de methode gebaseerd op factorisatie als de methode gebaseerd op "learning-with-errors". Ze bewezen dat een klassieke computer die de interactie simuleert, exact dezelfde resultaten zou kunnen produceren als de quantumcomputer, wat betekent dat er geen extra informatie is gelekt.

De betekenis van dit werk ligt in het vermogen om de belangen van de eigenaar van het quantumapparaat te beschermen. In een toekomst waarin quantumcomputers als een dienst worden aangeboden, willen gebruikers wellicht verifiëren dat de server werkelijk quantum is voordat ze betalen voor een taak. Zonder deze nieuwe beveiligingslaag zou een onbetrouwbare gebruiker potentieel de server kunnen misleiden om gratis een moeilijk probleem op te lossen, of erger nog, de oplossing van een probleem extraheren dat de gebruiker zelf had moeten oplossen. Door het implementeren van zero-knowledge proofs of quantumness zorgen de onderzoekers ervoor dat het verificatieproces zelf geen lek wordt voor diefstal. De quantumserver kan haar kracht demonstreren zonder enige van haar geheimen of computationele voorsprong weg te geven.

De studie benadrukt ook een subtiele maar belangrijke verschuiving in hoe deze interacties worden bekeken. Traditioneel richtte beveiliging in deze bewijzen zich op het waarborgen dat de quantummachine niet loog. Deze nieuwe aanpak draait het scenario om, waarbij de focus ligt op het waarborgen dat de waarnemer niet liegt. Het behandelt de waarnemer als de partij die beperkt moet worden, waarbij van hen wordt vereist dat zij bewijzen dat zij niet kwaadwillend handelen. Deze dubbelrol, waarbij zowel de bewijzer als de verifieerder een rol spelen in een klassieke beveiligingscontrole naast de quantumtest, creëert een robuuster systeem. De onderzoekers stelden vast dat voor de factorisatiemethode de waarnemer moet bewijzen dat hij de factoren van een getal kent. Voor de "learning-with-errors"-methode moet hij bewijzen dat hij de geheime sleutel kent die bij de data hoort. In beide gevallen zorgt de vereiste voor dit bewijs ervoor dat de waarnemer de quantummachine niet kan gebruiken als een instrument om hun eigen moeilijke problemen op te lossen.

Hoewel de onderzoekers erin slaagden deze twee specifieke schema's te transformeren, erkennen zij dat niet elke methode om quantumachtigheid te bewijzen op deze manier gemakkelijk kan worden geüpgraded. Sommige bestaande methoden steunen op andere aannames of passen niet in het standaard "challenge-and-response"-formaat dat in hun werk wordt gebruikt. Zo zijn methoden gebaseerd op het bemonsteren van willekeurige patronen (sampling random patterns) moeilijker aan te passen omdat ze niet hetzelfde interactieve structuur volgen. De onderzoekers suggereren dat hoewel hun aanpak krachtig is voor de meest voorkomende schema's, het vinden van een universele oplossing voor alle soorten quantumbewijzen een openstaande vraag blijft. Ze merken ook op dat voor het systeem volledig beveiligd te zijn tegen toekomstige quantumcomputers, de onderliggende klassieke instrumenten die voor de certificaten worden gebruikt, zelf ook bestand moeten zijn tegen quantumaanvallen. Ze wijzen op bestaande wiskundige constructies die dit niveau van beveiliging kunnen bieden.

Uiteindelijk biedt dit werk een blauwdruk voor een veiligere toekomst in quantumverificatie. Het beweegt het vakgebied van een eenvoudige test van capaciteit naar een veilige, vertrouwensloze interactie waarbij de kracht van het quantumapparaat wordt gerespecteerd. Door het concept van zero-knowledge in deze context te formaliseren, hebben de onderzoekers aangetoond dat het mogelijk is om quantumachtigheid te verifiëren zonder de integriteit van de quantummachine in gevaar te brengen. Dit is een cruciale stap naar de praktische inzet van quantumdiensten, waarbij wordt gewaarborgd dat de overgang naar het quantumtijdperk wordt gebouwd op een fundament van veiligheid en vertrouwen. Het resultaat is een systeem waarbij de unieke kracht van quantumcomputing kan worden gedemonstreerd en benut zonder de angst om te worden geëxploiteerd door degenen die haar geheimen trachten te stelen.