Verifier-initiated quantum message-authentication via quantum zero-knowledge proofs

In het digitale tijdperk is een handtekening meer dan een krul van inkt; het is een cryptografische belofte dat een bericht authentiek is en niet is gewijzigd. Decennialang heeft deze belofte vertrouwd op complexe wiskundige puzzels die moeilijk voor computers zijn om op te lossen, maar gemakkelijk te verifiëren. Echter, naarmate quantumcomputers opkomen, worden deze wiskundige sloten kwetsbaar, wat de beveiliging van alles van bankoverschrijvingen tot overheidsarchieven bedreigt. Dit heeft wetenschappers ertoe aangezet om te zoeken naar een nieuw soort beveiliging die niet gebaseerd is op moeilijke wiskunde, maar op de fundamentele wetten van de natuurkunde. In de quantumwereld verandert de handeling van het meten van een deeltje onvermijdelijk het deeltje, een eigenschap die gebruikt kan worden om meeluisteraars of vervalsers te detecteren. Toch blijft er een aanzienlijke hindernis bestaan in de manier waarop deze quantumhandtekeningen worden gedistribueerd. De meeste bestaande methoden vereisen dat de persoon die een document ondertekent, authenticatiemateriaal vooraf voorbereidt en verzendt, zelfs als dit nooit gecontroleerd zal worden. Dit creëert een enorme, inefficiënte achterstand aan ongebruikte gegevens, vergelijkbaar met het drukken van duizenden tickets voor een concert dat misschien nooit plaatsvindt.

Een team van onderzoekers heeft nu een oplossing voorgesteld die dit proces omdraait, door een systeem te introduceren waarbij de persoon die de handtekening controleert, er alleen om vraagt wanneer dat nodig is. Deze aanpak, genaamd verifier-initiated quantum digital signatures, elimineert de verspilling van het vooraf distribueren van gegevens en sluit aan bij hoe systemen in de echte wereld daadwerkelijk werken, waar verificatie vaak incidenteel is. De onderzoekers bouwden hun protocol op een fundament van quantum zero-knowledge bewijzen, een techniek waarmee één partij kan bewijzen dat zij een geheim kent zonder het geheim zelf te onthullen. Door dit te combineren met een nieuwe manier om te modelleren hoe aanvallers zich zouden kunnen gedragen — specifiek diegenen die proberen geheimen te leren terwijl ze eerlijk lijken te zijn — creëerden zij een systeem dat beveiligd is tegen zowel vervalsing als informatieverlies. Hun werk demonstreert dat deze nieuwe methode niet slechts een theoretische mogelijkheid is, maar ook gebouwd kan worden met de huidige technologie, zoals de lichtgebaseerde of trapped-ion systemen die vandaag de dag al in quantumlaboratoria worden gebruikt.

De kerninnovatie ligt in het verschuiven van de controle over het authenticatieproces. In traditionele quantumhandtekeningsschema's werkt de ondertekenaar als een omroeper, die constant sleutels en handtekeningen uitzendt in afwachting van toekomstige controles. Dit is inefficiënt voor grote, gedecentraliseerde netwerken waar een bericht jarenlang onverifieerd kan blijven liggen voordat iemand besluit het te controleren. Het nieuwe protocol, ontwikkeld door Wusheng Wang en Masahito Hayashi, verandert de dynamiek zodat de verifieerder, de persoon die het bericht controleert, het proces initieert. Wanneer een verifieerder een bericht wil bevestigen, stuurt hij een specifieke quantum uitdaging naar de ondertekenaar. De ondertekenaar genereert vervolgens een handtekening als reactie op die specifieke uitdaging en stuurt deze terug. Zodra de handtekening is uitgegeven, vindt de verificatie onmiddellijk plaats zonder verdere interactie. Deze on-demand workflow betekent dat er geen authenticatiemateriaal wordt verspild en dat het systeem efficiënt schaalt, wat het geschikt maakt voor omgevingen met een hoge doorvoer zoals blockchain-netwerken of gedistribueerde diensten.

Om de veiligheid van dit systeem te waarborgen, moesten de onderzoekers een subtiele maar cruciale dreiging aanpakken: de nieuwsgierige verifieerder. In veel beveiligingsmodellen is een aanvaller ofwel volledig eerlijk ofwel volledig kwaadwillend. Echter, in de echte wereld kan een tegenstander zich aan de oppervlakte volkomen normaal gedragen, terwijl hij in het geheim probeert de privésleutel van de ondertekenaar te extraheren. De onderzoekers definieerden een nieuw type aanvaller, die zij een "specious" (schijnbaar eerlijke) adversary noemen. Dit is een verifieerder die interageert met de ondertekenaar op een manier die niet te onderscheiden is van een eerlijke gebruiker, maar die probeert de geheime sleutel te leren via zijkanalen of zorgvuldige metingen. Het voorgestelde protocol is ontworpen om robuust te zijn tegen dit specifieke gedrag. Het garandeert dat zelfs als een verifieerder probeert slim te zijn en informatie te extraheren zonder de regels te breken, zij niets leren over de privésleutel van de ondertekenaar, behalve het feit dat de handtekening geldig is. Deze bescherming wordt bereikt door middel van quantum zero-knowledge technieken, die ervoor zorgen dat de interactie geen extra informatie prijsgeeft.

De beveiliging van dit systeem rust niet op de aanname dat bepaalde wiskundige problemen moeilijk op te lossen zijn, een gangbare praktijk in de klassieke cryptografie die quantumcomputers uiteindelijk zouden kunnen breken. In plaats daarvan is de beveiliging informatie-theoretisch, wat betekent dat deze gegarandeerd wordt door de wetten van de natuurkunde. De onderzoekers bewezen dat het voor een aanvaller onmogelijk is om een handtekening te vervalsen of de geheime sleutel te leren, ongeacht hun rekenkracht. Zij bereikten dit door gebruik te maken van de unieke eigenschappen van quantumtoestanden, specifiek het feit dat het meten van een quantum systeem het systeem verstoort. Als een aanvaller probeert de geheime sleutel te raden of een handtekening te vervalsen, introduceert hij fouten die het systeem kan detecteren. De onderzoekers toonden ook aan dat het protocol willekeurig veilig gemaakt kan worden door het proces een paar keer te herhalen, wat de kans op een succesvolle vervalsing exponentieel vermindert zonder dat er exotische hardware nodig is.

Een cruciaal onderdeel van hun oplossing is een algemene methode om deze quantum bewijs-protocollen om te zetten in een werkend signaturesysteem. Zij demonstreerden dit met een concreet voorbeeld gebaseerd op de discrete Heisenberg-groep, een wiskundige structuur die beschrijft hoe bepaalde quantumoperaties met elkaar interageren. Deze specifieke implementatie maakt gebruik van eenvoudige operaties die al haalbaar zijn met de huidige technologie, zoals het genereren van willekeurige getallen, het toepassen van specifieke rotaties aan quantum bits, en het meten ervan. De onderzoekers toonden aan dat dit protocol kan worden uitgevoerd op fotonische systemen, die gebruikmaken van deeltjes licht, of op trapped-ion platforms, die gebruikmaken van geladen atomen. Dit zijn dezelfde soorten systemen die momenteel worden gebruikt om quantumcomputers te bouwen, wat betekent dat de technologie klaar is voor praktische inzet. Het protocol vereist slechts één enkele kopie van een quantum publieke sleutel voor elke verificatie, een kenmerk dat essentieel is voor de beveiliging omdat het voorkomt dat een aanvaller meerdere kopieën maakt om de sleutel in detail te bestuderen.

De onderzoekers hebben ook rekening gehouden met de realiteit dat geen enkel fysiek systeem perfect is. In een echte wereldomgeving kunnen quantumgeheugens gegevens mogelijk niet eeuwig vasthouden, en zijn metingen mogelijk niet 100% nauwkeurig. Zij analyseerden hoe deze imperfecties het systeem beïnvloeden en toonden aan dat het protocol veilig blijft, zelfs met ruis en verlies. Door een techniek genaamd herhaling te gebruiken, waarbij de verificatie meerdere keren wordt uitgevoerd en de resultaten worden gecombineerd, kan het systeem fouten tolereren en toch een hoog beveiligingsniveau behouden. Deze robuustheidsanalyse biedt een duidelijk pad voor ingenieurs om deze systemen vandaag de dag te bouwen, wetende precies hoeveel fouten het systeem kan verdragen voordat het moet worden aangepast.

Dit werk vormt een belangrijke stap voorwaarts in de praktische toepassing van quantumcryptografie. Door af te stappen van de inefficiënte, door de ondertekenaar geïnitieerde modellen uit het verleden en te kiezen voor een door de verifieerder gestuurd on-demand model, hebben de onderzoekers een systeem gecreëerd dat zowel efficiënter als veiliger is. Het vermogen om berichten te verifiëren zonder geheimen te onthullen, en zonder de noodzaak van massale voorafgaande distributie van gegevens, lost een belangrijke flessenhals op in de ontwikkeling van quantumveilige netwerken. De bevindingen suggereren dat we dichter bij een toekomst komen waarin digitale handtekeningen niet alleen onkraakbaar zijn voor toekomstige computers, maar ook efficiënt genoeg zijn om gebruikt te worden in de complexe, snelle netwerken van morgen. De afhankelijkheid van het protocol van fundamentele fysische principes in plaats van wiskundige aannames biedt een langetermijnbeveiligingsgarantie die geldig blijft, zelfs naarmate ons begrip van berekening evolueert.