Certified Randomness without Structure Against Shallow-Query Adversaries
Dieses Paper beweist bedingungslos die Sicherheit des Yamakawa-Zhandry-Protokolls für zertifizierte Zufälligkeit gegenüber Quantenadversaries mit geringer Abfragetiefe und etabliert damit zertifizierte Zufälligkeit, ohne sich auf die unbewiesene Aaronson-Ambainis-Vermutung zu verlassen.
Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen
Zufälligkeit ist der verborgene Motor moderner Sicherheit, der unvorhersehbare Funke, der digitale Schlösser vor dem Knacken und Geheimnisse vor dem Diebstahl bewahrt. In der klassischen Welt ist echte Zufälligkeit ein Luxus; Computer sind deterministische Maschinen, die strengen Regeln folgen, was bedeutet, dass jede Zahl, die sie generieren, im Prinzip vorhersagbar ist, wenn man den Ausgangspunkt kennt. Die Quantenmechanik bietet einen anderen Weg. Da der Akt der Messung eines Quantensystems von Natur aus probabilistisch ist, kann ein Quantengerät Ausgaben erzeugen, die fundamental unvorhersehbar sind, selbst für einen Beobachter mit perfektem Wissen über den Aufbau des Geräts. Dies schafft jedoch ein Vertrauensproblem: Wie kann ein klassischer Beobachter, der den Quantenzustand nicht sehen kann, sicher sein, dass das Gerät tatsächlich diese Quantenzufälligkeit nutzt und nicht nur so tut als ob? Der Beobachter benötigt eine Möglichkeit zu zertifizieren, dass die Ausgabe tatsächlich zufällig ist und nicht eine vorbestimmte Antwort, die als Zufall getarnt wurde.
Jahrelang versuchten Forscher, dies zu lösen, indem sie sich auf komplexe mathematische Annahmen darüber verließen, wie schwer bestimmte Probleme zu lösen sind, oder indem sie verlangten, dass Quantengeräte physisch getrennt werden, um das Simulieren des erwarteten Verhaltens zu verhindern. Ein jüngster Durchbruch von Yamakawa und Zhandry bot einen neuen Ansatz unter Verwendung einer „Random Oracle“ (zufälligen Orakel), einem theoretischen Werkzeug, das wie eine perfekt zufällige Black Box fungiert. Sie entwarfen ein Protokoll, bei dem ein Quanten-Prover ein spezifisches Muster finden muss, das in dieser Black Box verborgen ist. Sie zeigten, dass ein Quantencomputer dies leicht bewältigen kann, während ein klassischer Computer dies nicht kann. Entscheidend war, dass sie vermuteten, dass jeder Quantencomputer, der diese Aufgabe erfolgreich löst, eine wirklich zufällige Ausgabe produzieren muss, statt eines glücklichen Glückstreffers. Ihr Beweis jedoch, dass die Ausgabe zufällig war, stützte sich auf eine tiefe, unbewiesene Hypothese über die Struktur von Quantenbeschleunigungen. Sollte diese Hypothese falsch sein, würde die Garantie der Zufälligkeit verschwinden.
Ein neues Paper von Dakshita Khurana, Bhaskar Roberts und Avishay Tal beseitigt diese Unsicherheit für eine spezifische Klasse von Angreifern. Die Autoren beweisen, dass das Yamakawa-Zhandry-Protokoll zertifizierbare Zufälligkeit garantiert, ohne unbewiesene Annahmen zu benötigen, vorausgesetzt, der Angreifer ist darin beschränkt, wie oft er die Black Box nacheinander nach Informationen fragen kann. Speziell zeigen sie, dass, wenn ein Adversary nur eine sehr geringe Anzahl an sequentiellen Runden von Fragen stellen kann – etwa den Logarithmus des Sicherheitsparameters –, er das System nicht austricksen kann. Selbst wenn der Adversary in Bezug auf die Rechengeschwindigkeit unendlich mächtig ist, kann er das System nicht dazu zwingen, eine vorhersagbare Antwort auszuge-geben, sofern er auf diese geringe Tiefe der Interaktion beschränkt ist.
Die Forscher erreichten dieses Ergebnis durch die Analyse, wie ein Adversary mit dem Random Oracle interagiert. Sie führten das Konzept des „Query Weight“ (Abfragegewicht) ein, das misst, wie viel Aufmerksamkeit der Adversary auf spezifische Teile der Black Box richtet. Sie demonstrierten, dass ein Adversary, um mit hoher Wahrscheinlichkeit eine korrekte Antwort auszugeben, einen signifikanten Teil dieser Aufmerksamkeit auf fast jeden Teil der Antwort konzentrieren muss, die er schließlich gibt. Mit anderen Worten: Er kann nicht einfach raten; er muss die Antwort gründlich geprüft haben. Die Autoren bewiesen dann, dass ein Adversary mit nur wenigen sequentiellen Fragen schlichtweg nicht genug Aufmerksamkeit auf eine einzige korrekte Antwort konzentrieren kann, um dies zu bewirken. Die begrenzte Anzahl an Runden zwingt den Adversary dazu, seine Aufmerksamkeit zu dünn zu streuen, um jemals eine einzige, vorhersagbare Lösung festzusetzen.
Dieses Ergebnis ist signifikant, da es die Sicherheit des Protokolls aus ersten Prinzipien heraus etabliert, anstatt sich auf eine breite Vermutung darüber zu stützen, wie Quantencomputer funktionieren. Die Autoren zeigen, dass die Zufälligkeit kein Zufall ihres spezifischen Algorithmus ist, sondern ein notwendiges Merkmal des Problems selbst, solange der Angreifer nicht erlaubt ist, zu viele Fragen hintereinander zu stellen. Während ihr Beweis derzeit für Angreifer mit einer sehr begrenzten Anzahl an sequentiellen Runden gilt, bietet er ein solides, bedingungsloses Fundament für zertifizierbare Zufälligkeit im Quanten-Random-Oracle-Modell. Es bestätigt, dass für diese eingeschränkten Angreifer der Quanten-Prover tatsächlich würfelt und der klassische Verifizierer dem Ergebnis vertrauen kann.
Ertrinken Sie in Arbeiten in Ihrem Fachgebiet?
Erhalten Sie tägliche Digests der neuesten Arbeiten passend zu Ihren Forschungsbegriffen — mit technischen Zusammenfassungen, in Ihrer Sprache.