In den kommenden Jahrzehnten steht die Welt des Computing vor einem grundlegenden Wandel. Jahrzehntelang waren die leistungsfähigsten Computer klassische Maschinen, die Informationen auf eine lineare Weise aus Einsen und Nullen verarbeiten. Nun tritt eine neue Generation von Geräten, bekannt als Quantencomputer, in Erscheinung. Diese Maschinen operieren nach den seltsamen Gesetzen der Quantenphysik, was es ihnen ermöglicht, bestimmte Probleme mit einer Geschwindigkeit zu lösen, die klassische Computer schlichtweg nicht erreichen können. Während diese Geräte vom theoretischen Stadium in die Realität übergehen, stellt sich eine kritische Frage: Wie kann eine Person mit einem Standardcomputer sicher sein, dass ein Remote-Gerät tatsächlich quantenmechanisch ist und nicht nur eine geschickte Imitation? Dies ist die Herausforderung der „Proofs of Quantumness“ (Nachweise der Quantenhaftigkeit). Es ist ein digitaler Handschlag, bei dem eine Quantenmaschine ihre einzigartigen Fähigkeiten gegenüber einem klassischen Beobachter unter Beweis stellen muss. Diese Interaktion birgt jedoch ein verborgenes Risiko. So wie eine Person versuchen könnte, einen Bankangestellten zu täuschen, um Geld abzuheben, das ihr nicht gehört, könnte ein unredlicher Beobachter potenziell versuchen, eine Quantenmaschine dazu zu bringen, schwierige Probleme für ihn zu lösen, und so deren Rechenleistung effektiv zu stehlen, ohne dafür zu bezahlen.

Ein Forschungsteam hat nun diese Schwachstelle adressiert, indem es eine neue Sicherheitsebene namens „Zero-Knowledge Proofs of Quantumness“ eingeführt hat. In ihrer Arbeit formalisieren sie eine Methode, bei der ein Quantengerät seine Quantennatur beweisen kann, ohne zusätzliche Informationen preiszugeben, die ein unredlicher Beobachter ausnutzen könnte. Die Forscher demonstrieren, dass in aktuellen Systemen ein böswilliger Beobachter die Interaktion manipulieren könnte, um nützliche Daten zu extrahieren – wie etwa die Faktoren einer großen Zahl oder die Lösung eines komplexen mathematischen Rätsels –, indem er sich lediglich als Standard-Verifier ausgibt. Das neue Framework verhindert dies, indem es sicherstellt, dass die vom Beobachter gewonnene Information nicht größer ist als das, was durch einen Standard-Computer ohne Quanteneigenschaften generiert werden könnte. Dies bedeutet, dass die einzigartige Leistungsfähigkeit des Quantengeräts geschützt bleibt und der Beobachter die Interaktion nicht nutzen kann, um einen unfairen Vorteil zu erlangen.

Die Forscher konzentrierten sich auf zwei der prominentesten Methoden, die heute verwendet werden, um Quantenhaftigkeit zu beweisen. Die erste beruht auf der Schwierigkeit, große Zahlen zu faktorisieren – eine Aufgabe, die für Quantencomputer einfach, für klassische Computer jedoch schwer ist. Die zweite basiert auf einem mathematischen Problem, das Fehler in Daten beinhaltet, bekannt als „Learning with Errors“. In beiden Fällen fanden die Forscher einen Weg, die bestehenden Protokolle aufzuwerten. Sie taten dies, indem sie den Beobachter, den klassischen Verifier, dazu verpflichteten, vor Beginn der Interaktion ein spezielles digitales Zertifikat vorzulegen. Dieses Zertifikat beweist, dass der Beobachter nicht versucht, unredlich zu handeln oder verborgene Geheimnisse zu extrahieren. Es fungiert als Garantie dafür, dass der Beobachter sich ehrlich verhält oder zumindest nicht bösartig agiert. Wenn der Beobachter versucht, eine gefälschte oder manipulierte Zahl zu verwenden, um die Quantenmaschine zu täuschen, kann er dieses Zertifikat nicht erstellen, ohne die geheime Lösung selbst zu kennen, was den Zweck des Betrugs vereitelt.

Um dies zu ermöglichen, kombinierten die Forscher den Quantennachweis mit einem klassischen Sicherheitswerkzeug, das als „extractable non-interactive zero-knowledge argument“ bezeichnet wird. Dieses Werkzeug erlaubt es dem System zu verifizieren, dass der Beobachter über das notwendige geheime Wissen verfügt, um das Zertifikat zu generieren, ohne dass der Beobachter dieses Wissen jemals offenlegen muss. Wenn der Beobachter ehrlich ist, ist das Zertifikat gültig und der Quantennachweis wird durchgeführt. Wenn der Beobachter jedoch böswillig ist und versucht, eine gefälschte Zahl zu verwenden, kann er kein gültiges Zertifikat generieren, und die Interaktion schlägt fehl. Dies schafft ein System, in dem das Quantengerät vor Ausbeutung geschützt ist. Die Forscher zeigten, dass dieser Ansatz sowohl für die auf Faktorisierung basierende Methode als auch für die auf „Learning with Errors“ basierende Methode funktioniert. Sie bewiesen, dass ein klassischer Computer, der die Interaktion simuliert, exakt dieselben Ergebnisse wie der Quantencomputer hervorbringen könnte, was bedeutet, dass keine zusätzlichen Informationen nach außen gelangten.

Die Bedeutung dieser Arbeit liegt in ihrer Fähigkeit, die Interessen des Besitzers des Quantengeräts zu schützen. In einer Zukunft, in der Quantencomputer als Service angeboten werden, könnten Nutzer verifizieren wollen, ob der Server tatsächlich quantenmechanisch ist, bevor sie für eine Aufgabe bezahlen. Ohne diese neue Sicherheitsebene könnte ein unredlicher Nutzer potenziell den Server austricksen, um ein schwieriges Problem kostenlos zu lösen oder schlimmer noch, die Lösung eines Problems zu extrahieren, die eigentlich der Nutzer selbst lösen sollte. Durch die Implementierung von Zero-Knowledge Proofs of Quantumness stellen die Forscher sicher, dass der Verifizierungsprozess selbst nicht zu einem Schlupfloch für Diebstahl wird. Der Quantenserver kann seine Leistungsfähigkeit demonstrieren, ohne dabei seine Geheimnisse oder seinen technologischen Vorsprung preiszugeben.

Die Studie hebt auch eine subtile, aber wichtige Verschiebung in der Betrachtung dieser Interaktionen hervor. Traditionell konzentrierte sich die Sicherheit in diesen Nachweisen darauf, sicherzustellen, dass die Quantenmaschine nicht lügt. Dieser neue Ansatz kehrt das Szenario um und konzentriert sich darauf, sicherzustellen, dass der Beobachter nicht lügt. Er betrachtet den Beobachter als die Partei, die eingeschränkt werden muss, indem er verlangt, dass dieser beweist, nicht bösartig zu handeln. Diese duale Rolle, bei der sowohl der Prover als auch der Verifier neben dem Quantentest eine Rolle in einer klassischen Sicherheitsprüfung spielen, schafft ein robusteres System. Die Forscher fanden heraus, dass der Beobachter für die Faktorisierungsmethode beweisen muss, dass er die Faktoren einer Zahl kennt. Für die „Learning with Errors“-Methode muss er beweisen, dass er den mit den Daten assoziierten geheimen Schlüssel kennt. In beiden Fällen verhindert die Anforderung dieses Nachweises, dass der Beobachter die Quantenmaschine als Werkzeug nutzt, um seine eigenen schwierigen Probleme zu lösen.

Obwohl die Forscher diese zwei spezifischen Schemata erfolgreich transformiert haben, räumen sie ein, dass nicht jede Methode zum Nachweis der Quantenhaftigkeit so einfach aufgewertet werden kann. Einige bestehende Methoden basieren auf anderen Annahmen oder folgen nicht dem im Rahmen ihrer Arbeit verwendeten standardmäßigen Challenge-and-Response-Format. Beispielsweise sind Methoden, die auf der Stichprobenziehung zufälliger Muster basieren, schwerer anzupassen, da sie nicht derselben interaktiven Struktur folgen. Die Forscher legen nahe, dass ihr Ansatz zwar für die gängigsten Schemata leistungsfähig ist, das Finden einer universellen Lösung für alle Arten von Quantennachweisen jedoch eine offene Frage bleibt. Sie merken zudem an, dass für die vollständige Sicherheit des Systems gegen zukünftige Quantencomputer die zugrunde liegenden klassischen Werkzeuge, die für die Zertifikate verwendet werden, selbst resistent gegen Quantenangriffe sein müssen. Sie verweisen auf existierende mathematische Konstruktionen, die dieses Niveau an Sicherheit bieten können.

Letztendlich bietet diese Arbeit einen Entwurf für eine sicherere Zukunft der Quantenverifizierung. Sie führt das Feld von einem einfachen Test der Leistungsfähigkeit hin zu einer sicheren, vertrauenslosen Interaktion, in der die Leistungsfähigkeit des Quantengeräts respektiert wird. Durch die Formalisierung des Konzepts des Zero-Knowledge in diesem Kontext haben die Forscher gezeigt, dass es möglich ist, die Quantenhaftigkeit zu verifizieren, ohne die Integrität der Quantenmaschine zu gefährden. Dies ist ein entscheidender Schritt für den praktischen Einsatz von Quantendienstleistungen und stellt sicher, dass der Übergang in das Quantenzeitalter auf einem Fundament aus Sicherheit und Vertrauen aufgebaut wird. Das Ergebnis ist ein System, in dem die einzigartige Kraft des Quantencomputings demonstriert und genutzt werden kann, ohne die Angst, durch diejenigen ausgebeutet zu werden, die versuchen, seine Geheimnisse zu stehlen.