In dem aufstrebenden Feld, in dem klassische Computer mit Quantenmaschinen kommunizieren, entsteht eine grundlegende Herausforderung: Wie kann ein klassischer Nutzer verifizieren, dass ein Quantengerät tatsächlich etwas tut, das ein klassischer Computer nicht leisten kann, ohne dabei etwas anderes über den internen Zustand der Maschine zu erfahren? Diese Frage steht im Zentrum von „Proofs of Quantumness“ (Quantennachweisen), einem kryptografischen Handschlag, bei dem ein klassischer Verifizierer ein Rätsel an einen Quantenbeweiser sendet, der dieses lösen muss, um seine Quantennatur zu beweisen. Die Sicherheit dieser Interaktionen beruht auf einer speziellen Art von mathematischem Schloss, bekannt als eine „Trapdoor Claw-Free Function“ (Falltür-klaffungsfreie Funktion). Stellen Sie sich ein Paar verschlossener Türen vor, die von außen identisch aussehen; ein klassischer Beobachter kann nicht erkennen, wohin jede Tür führt, aber eine Quantenmaschine kann gleichzeitig durch beide gehen. Die Person, die die Türen gebaut hat, besitzt einen geheimen Schlüssel, oder eine „Trapdoor“ (Falltür), die genau offenbart, wie die Türen miteinander verbunden sind. Jahrelang beruhte die gesamte Sicherheit dieser Protokolle auf einer fragilen Annahme: dass die Person, die das Rätsel sendet, die Schlüssel ehrlich generiert hat. Wenn ein böswilliger Akteur einen leicht anderen Satz von Schlüsseln gesendet hätte, der zwar gleich aussieht, sich aber anders verhält, könnte der Quantenbeweiser in die Falle gelockt werden, Geheimnisse preiszugeben oder den Test zu scheitern, während der Verifizierer davon nichts wüsste.

Ein Team von Forschern der National University of Singapore hat nun ein robustes Framework entwickelt, um diese Schwachstelle zu beheben, indem es ein System geschaffen hat, in dem die Schlüssel selbst mit einem verifizierbaren Echtheitszertifikat versehen sind. Ihre Arbeit, die in einer kürzlich veröffentlichten Studie vorgestellt wurde, führt eine Methode ein, die zertifiziert, dass ein Schlüssel korrekt generiert wurde, ohne die geheime Falltür zu enthüllen, die notwendig wäre, um das System zu brechen. Sie entwickelten einen universellen Bauplan, der über verschiedene mathematische Grundlagen hinweg funktioniert und nicht nur über der heute am häufigsten verwendeten. Durch das Anfügen eines Zero-Knowledge-Beweises an jeden Schlüssel ermöglicht das System dem Quantenbeweiser zu prüfen, ob das Rätsel echt ist, bevor er versucht, es zu lösen. Dies stellt sicher, dass der Beweiser mit einer legitimen Quantenherausforderung interagiert und nicht mit einer böswilligen Falle. Die Forscher demonstrierten, dass dieser Ansatz bestehende Quantennachweise erfolgreich in „Zero-Knowledge“-Versionen transformiert, bei denen der Verifizierer lediglich erfährt, dass der Beweiser quantenartig ist, und sonst nichts über die Fähigkeiten des Beweisers oder die spezifischen verarbeiteten Daten erfährt.

Die Studie zieht jedoch eine scharfe Linie darum, wo diese Lösung funktioniert und wo sie versagt. Die Forscher fanden heraus, dass für bestimmte fortgeschrittene Protokolle, die darauf ausgelegt sind, die Natur der Schlüssel selbst zu verbergen, das Hinzufügen eines Zertifikats tatsächlich die Sicherheit zerstören würde. In diesen spezifischen Fällen beruht die Sicherheit darauf, dass niemand zwischen einem „claw-free“ (klaffungsfreien) Schlüssel und einem völlig anderen Typ eines „injektiven“ Schlüssels unterscheiden kann. Wenn ein Zertifikat ausgestellt würde, um zu beweisen, dass der Schlüssel klaffungsfrei ist, würde dies die Identität des Schlüssels sofort offenbaren und die Geheimhaltung zerstören, die das Protokoll zu schützen vorgibt. Somit ist das neue Framework zwar ein leistungsstarkes Werkzeug zur Sicherung vieler Quanteninteraktionen, aber es ist keine universelle Lösung; es ist ein präzises Instrument, das nur verwendet werden darf, wenn die Struktur des Schlüssels öffentlich, nicht verborgen sein soll.

Der Kern des Problems liegt in der Natur der Schlüssel, die in diesen kryptografischen Interaktionen verwendet werden. Eine Trapdoor Claw-Free Function ist ein mathematisches Objekt, das wie ein Paar von Funktionen wirkt, wobei jede Funktion Eingaben auf Ausgaben abbildet, was leicht zu berechnen, aber ohne den geheimen Schlüssel schwer umzukehren ist. Die Eigenschaft „claw-free“ bedeutet, dass es für jeden ohne den geheimen Schlüssel rechnerisch unmöglich ist, zwei unterschiedliche Eingaben zu finden, die dieselbe Ausgabe erzeugen. In einem typischen Proof of Quantumness generiert ein klassischer Verifizierer einen solchen Schlüssel und sendet ihn an einen Quantenbeweiser. Der Beweiser muss dann eine Quantenoperation durchführen, die demonstriert, dass er mit der einzigartigen Struktur des Schlüssels umgehen kann. Der Haken ist, dass ein böswilliger Verifizierer einen Schlüssel generieren könnte, der identisch mit einem legitimen aussieht, aber nicht die notwendige claw-free Struktur besitzt, oder schlimmer noch, einer, der darauf ausgelegt ist, zusätzliche Informationen aus dem Beweiser zu extrahieren. Da der Schlüssel nur eine Zeichenfolge aus Zahlen ist, hat der Beweiser keine Möglichkeit zu erkennen, ob der Schlüssel ehrlich oder eine Falle ist.

Um dies zu lösen, definierten die Forscher ein neues Konzept namens „Certifiable Key Relation“ (zertifizierbare Schlüsselrelation). Dies ist eine mathematische Regel, die genau beschreibt, wie ein ehrlicher Schlüssel aussieht, zusammen mit einem „Witness“ (Zeugen), der beweist, dass der Schlüssel korrekt generiert wurde. Der Witness ist eine Information, die nur der ehrliche Generator besitzt, wie etwa die spezifischen Zufallszahlen, die zur Erstellung des Schlüssels verwendet wurden. Die Forscher zeigten, dass für mehrere große Familien dieser Funktionen – basierend auf der Schwierigkeit der Faktorisierung großer Zahlen, der Komplexität diskreter Logarithmen und der Härte des „Learning with Errors“ – ein gültiger Witness immer aus der geheimen Falltür zurückgewonnen werden kann. Der Durchbruch bestand in der Erkenntnis, dass der Generator beweisen kann, dass dieser Witness existiert, ohne ihn jemals zu zeigen. Dies erreichten sie durch die Verwendung eines „Zero-Knowledge Argument of Knowledge“, einer kryptografischen Technik, die es einer Partei ermöglicht, die andere davon zu überzeugen, dass sie ein Geheimnis kennt, ohne das Geheimnis selbst zu enthüllen.

Das Ergebnis ist ein „Certified Key Generation“-Schema (zertifiziertes Schlüsselgenerierungsschema). Wenn ein Verifizierer einen Schlüssel erstellt, produziert er nun auch ein Zertifikat. Dieses Zertifikat ist ein mathematischer Beweis dafür, dass der Schlüssel zur korrekten Familie gehört und ehrlich generiert wurde. Der Quantenbeweiser erhält sowohl den Schlüssel als auch das Zertifikat. Bevor er mit der Arbeit beginnt, führt der Beweiser eine schnelle Prüfung durch, um das Zertifikat zu verifizieren. Wenn das Zertifikat gültig ist, weiß der Beweiser, dass der Schlüssel sicher zu verwenden ist. Wenn das Zertifikat fehlt oder ungültig ist, weiß der Beweiser, dass der Verifizierer versucht, ihn zu täuschen, und bricht die Interaktion ab. Entscheidend ist, dass das Zertifikat nichts über die geheime Falltür verrät. Die Forscher bewiesen, dass selbst mit diesem zusätzlichen Zertifikat die mathematische Schwierigkeit, das System zu brechen, exakt dieselbe bleibt wie zuvor. Das Zertifikat fungiert als Echtheitssiegel, das das Schloss nicht schwächt.

Dieses Framework ermöglicht einen generischen „Compiler“, ein Werkzeug, das jedes bestehende Proof-of-Quantumness-Protokoll nehmen und zu einem Zero-Knowledge-Protokoll aufwerten kann. In den ursprünglichen Protokollen konnte der Verifizierer mehr erfahren als nur, dass der Beweiser quantenartig ist; er konnte Details über den internen Zustand des Beweisers oder die spezifischen durchgeführten Quantenoperationen erfahren. Durch das Einfügen des Schritts der zertifizierten Schlüsselgenerierung zeigten die Forscher, dass der Verifizierer gezwungen werden kann, nichts weiter zu lernen als die einzige Tatsache, dass der Beweiser quantenartig ist. Dies ist entscheidend für die Zukunft des Quanten-Cloud-Computings, bei dem Nutzer verifizieren müssen, dass ein Remote-Server einen Quantencomputer nutzt, ohne dem Server dabei jegliche Handhabe zu geben, Informationen über die privaten Daten des Nutzers zu erlangen. Die Studie bestätigt, dass dieses Upgrade nahtlos für Protokolle funktioniert, die auf Faktorisierung, diskreten Logarithmen und „Learning with Errors“ basieren, sofern die zugrunde liegende mathematische Relation zertifiziert werden kann.

Die Forscher hörten nicht auf zu untersuchen, was funktioniert, sondern kartierten auch sorgfältig aus, was nicht funktioniert. Sie identifizierten eine Klasse von Protokollen, bei denen die Sicherheit darauf beruht, dass man keinen Unterschied zwischen einem „claw-free“ Schlüssel und einem „injektiven“ Schlüssel feststellen kann. In diesen Szenarien ist der „injektive“ Schlüssel ein anderer mathematischer Typ, der sich anders verhält, aber gleich aussieht. Die Sicherheit dieser Protokolle beruht darauf, dass der Beweiser nicht weiß, welche Art von Schlüssel er erhalten hat. Wenn der Verifizierer ein Zertifikat ausgeben würde, das beweist, dass der Schlüssel claw-free ist, wüsste der Beweiser sofort den Schlüsseltyp, was die Sicherheit des Protokolls brechen würde. Die Forscher zeigten, dass in diesen spezifischen Fällen der Akt der Zertifizierung selbst die Information preisgibt, die das Protokoll zu verbergen versucht. Das Zertifikat wird zu einem Distinguisher (Unterscheidungsmerkmal), einem Werkzeug, das die beiden Arten von Schlüsseln voneinander trennt und das Protokoll damit unsicher macht.

Diese Einschränkung ist kein Fehler der Zertifizierungsmethode, sondern eine fundamentale Grenze ihrer Anwendung. Die Forscher erklären, dass die Zertifizierung ein Werkzeug für Protokolle ist, bei denen die Struktur des Schlüssels öffentliches Wissen sein soll, während die geheime Falltür verborgen bleibt. Es ist kein Werkzeug für Protokolle, bei denen die Identität der Schlüsselfamilie selbst das Geheimnis ist. Durch die Abgrenzung dieser Grenze bietet die Studie einen klaren Leitfaden für das zukünftige Design kryptografischer Systeme. Sie sagt Ingenieuren, dass sie zertifizierte Schlüssel sicher verwenden können, um Quantennachweise in vielen Kontexten zu sichern, aber dass sie diese Technik in Protokollen vermeiden müssen, die auf der Ununterscheidbarkeit von Schlüsselfamilien beruhen.

Die Arbeit stellt einen bedeutenden Schritt dar, um die Quantenkryptografie für reale Anwendungen praktikabel und sicher zu machen. Indem sie von einem Modell, in dem Vertrauen vorausgesetzt wird, zu einem Modell übergehen, in dem Vertrauen verifiziert wird, haben die Forscher eine kritische Lücke in der Sicherheit klassisch-quanter Interaktionen geschlossen. Ihr Framework ist nicht an eine einzelne mathematische Annahme gebunden, sondern basiert auf einem allgemeinen Prinzip, das auf verschiedene kryptografische Grundlagen angewendet werden kann. Diese Flexibilität stellt sicher, dass die Methode zur Zertifizierung ihrer Schlüssel angepasst werden kann, wenn neue quantenresistente Algorithmen entwickelt werden. Die Studie kommt zu dem Schluss, dass der Weg zu einer vollständig sicheren Quantenkommunikation komplex ist, aber die Fähigkeit, die Integrität der in diesen Interaktionen verwendeten Schlüssel zu verifizieren, ein notwendiger und erreichbarer Meilenstein ist. Die Forscher haben den Bauplan für eine Zukunft geliefert, in der Quantennachweise nicht nur verifizierbar, sondern auch privat sind, um sicherzustellen, dass die Kraft des Quantencomputings genutzt werden kann, ohne die Geheimnisse zu gefährden, die sie zu schützen vorgibt.