How to Verify that a Small Device is Quantum, Unconditionally

Dieses Kapitel geht den Herausforderungen der Verifizierung von Quantenvorteilen in kleinen Geräten nach und beleuchtet die Grenzen bestehender Ansätze wie Schaltkreisabtastung und kryptographische Methoden. Der Autor schlägt ein neues Protokoll vor, das Speicherbeschränkungen nutzt, um bedingungslose Solidität und effiziente Verifikation zu erreichen. Das Protokoll ist von Techniken der kryptographischen Literatur inspiriert und stützt sich auf Raz "Gedächtnis, das für Lernparitäten niedriger ist. Das Kapitel präsentiert zwei Hauptergebnisse: einen einfachen Quantennachweis mit quadratischer Lücke und ein fortgeschritteneres Protokoll mit exponentieller Lücke. Darüber hinaus wird die Anwendung dieser Techniken untersucht, um Klauenzustände zu erzeugen, die in der Quantenkryptographie wertvoll sind. Die Analyse umfasst detaillierte Beweise für Vollständigkeit und Solidität sowie Diskussionen über Komplexität und Praktikabilität der vorgeschlagenen Methoden. Das Kapitel schließt mit einem technischen Überblick und vorläufigen Ergebnissen, die ein umfassendes Verständnis des neuen Ansatzes zur Quantenprüfung bieten.