Quantum Cryptanalysis on IBM Quantum Hardware: Extending Even--Mansour Period Recovery from to
Dieses Papier präsentiert eine echte, unkompilierte Demonstration auf echter IBM-Quantenhardware einer lehrbuchgetreuen Quantenkryptanalyse unter Verwendung von Simons Algorithmus zur Wiederherstellung verborgener Perioden für Even-Mansour- und Feistel-Chiffrenstrukturen bis zu Rekordgrößen (N=10), während es gleichzeitig einen umfassenden Benchmark von fünf Angriffen über vier Paradigmen symmetrischer Chiffren hinweg bereitstellt, einschließlich expliziter Einschränkungen bezüglich deren Umfang, der Abhängigkeit von Fehlerminimierung und des fehlenden Bedrohungscharakters für die vollskalige moderne Verschlüsselung.
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
Stellen Sie sich eine Welt vor, in der Geheimcodes nicht nur in einem Tresor eingeschlossen sind, sondern in einem Labyrinth versteckt liegen, durch das nur ein Geist gehen kann. Dies ist das Reich der Quantenkryptanalyse, ein Zweig der Wissenschaft, in dem Forscher die seltsamen, spukhaften Regeln der Quantenphysik nutzen, um zu testen, wie stark unsere digitalen Schlösser wirklich sind. Um dies zu verstehen, müssen Sie drei einfache Dinge wissen. Erstens sind „symmetrische Chiffren“ wie ein einzelner Schlüssel, der eine Schatzkiste abschließt und aufschließt; wenn Sie den Schlüssel haben, können Sie sie öffnen, aber wenn nicht, stecken Sie fest. Zweitens sind „Quantencomputer“ spezielle Maschinen, die viele Pfade in einem Labyrinth gleichzeitig ausprobieren können, im Gegensatz zu normalen Computern, die einen Pfad nach dem anderen probieren müssen. Schließlich gibt es einen berühmten Trick namens „Simons Algorithmus“, der wie ein superschlauer Detektiv ist, der ein verborgenes Muster in einem chaotischen Durcheinander viel schneller finden kann als ein regulärer Detektiv, aber nur, wenn das Durcheinander eine sehr spezifische, sich wiederholende Struktur hat.
Warum kümmert das jemanden? Weil ein Quantencomputer diese Muster leicht finden kann, könnten die geheimen Schlüssel, die unsere Bankkonten, Nachrichten und nationalen Geheimnisse schützen, geknackt werden. Aber hier ist der Haken: Einen Quantencomputer zu bauen, der groß und leise genug ist, um dies tatsächlich zu tun, ist unglaublich schwer. Sie sind derzeit sehr verrauscht, wie der Versuch, ein Flüstern in einem Rockkonzert zu hören. In dieser Arbeit geht es um ein Team von Forschern, die versucht haben, einem echten, verrauschten Quantencomputer beizubringen, diese verborgenen Muster in Geheimcodes zu finden, und dabei die Grenzen dessen auszuloten, was in der realen Welt derzeit möglich ist.
Die Arbeit: Ein Quanten-Detektiv auf einer verrauschten Bühne
Die Forscher, die mit einem echten Quantencomputer von IBM arbeiteten (speziell dem „ibm_kingston“-Chip), beschlossen, das Spiel „Finde das verborgene Muster“ zu spielen. Sie konzentrierten sich auf eine spezifische Art von Geheimcode-Struktur namens Even-Mansour-Chiffre. Stellen Sie sich diese Chiffre als eine Maschine vor, die eine geheime Zahl (den Schlüssel) nimmt und eine Nachricht verschlüsselt. Das Ziel des Angriffs ist es, die „Periode“ zu finden – einen verborgenen, sich wiederholenden Rhythmus in der Art und Weise, wie die Maschine die Daten verschlüsselt. Wenn man den Rhythmus findet, kann man den geheimen Schlüssel herausfinden.
In der Vergangenheit hatten Wissenschaftler dies nur auf echter Hardware für sehr kleine, einfache Versionen des Codes geschafft (bei denen die geheime Zahl nur 4 Bit lang war). Dieses Team wollte sehen, wie weit sie die echte Maschine treiben konnten. Es gelang ihnen, den verborgenen Rhythmus für eine Version erfolgreich zu finden, bei der die geheime Zahl 10 Bit lang war. Das mag für Sie nicht viel klingen, aber in der Welt der Quantenhardware ist der Sprung von 4 auf 10 ein massiver Sprung. Es ist wie der Übergang vom Balancieren auf einem Bein zum Laufen eines Marathons auf einem Drahtseil.
Sie hörten dort nicht auf. Sie testeten auch ihre Detektivfähigkeiten an anderen Arten von Code-Strukturen:
- Die 3-Round Feistel: Eine Struktur, die in älteren Codes verwendet wird (wie dem berühmten DES). Sie fanden erfolgreich den verborgenen Rhythmus für Blockgrößen von 6 und 8.
- Bernstein-Vazirani: Ein einfacheres lineares Rätsel. Sie fanden ein 16-Bit Geheimnis in nur einer einzigen Frage (Query), genau wie es die Mathematik versprach.
- Grover-Suche: Sie testeten eine Methode zur Suche in unstrukturierten Schlüsseln und zeigten, dass der Quantencomputer einen Schlüssel in etwa 13 Schritten finden konnte, während ein normaler Computer 256 Schritte benötigt hätte.
Der Realitätscheck: Wie gut war es?
Dies ist der wichtigste Teil der Geschichte und der Teil, in dem die Autoren sehr, sehr ehrlich sind. Obwohl sie die Muster fanden, brachen sie den Code nicht auf eine Weise, die es ihnen ermöglicht hätte, heute Ihr Bankkonto zu stehlen.
Für die größeren Rätsel (bei denen das Geheimnis 6 Bit oder mehr betrug) wurde der Quantencomputer etwas „verrauscht“ und verwirrt. Er zeigte nicht sofort einen korrekten Antwort an. Stattdessen lieferte er eine Liste der Top-Kandidaten. Die Forscher nutzten dann einen regulären Computer, um die Top 16, 32, 64 oder 128 Kandidaten aus der Quantenliste zu überprüfen. Der wahre geheime Schlüssel befand sich meist sehr weit oben auf dieser Liste (oft innerhalb der Top 63 Kandidaten), was viel besser ist als blind zu raten.
Die Autoren sind sehr deutlich: Dies ist noch kein „Quantenvorteil“.
- Kein Allheilmittel: Sie haben nicht die vollständigen, realen Versionen berühmter Codes wie AES oder RSA gebrochen. Sie brachen nur vereinfachte, reduzierte Versionen der Strukturen.
- Keine Super-Geschwindigkeit: Für die größeren Rätsel löste der Quantencomputer das Ganze nicht alleine. Er grenzte die Liste der Verdächtigen ein, aber ein regulärer Computer musste die letzte Arbeit erledigen. Die Beschleunigung, die sie sahen, lag in der Anzahl der gestellten Fragen, nicht in der gesamten Zeit, die es dauerte, den Code zu knacken.
- Rauschen vs. Perfektion: Sie verwendeten „Error Mitigation“ (eine schicke Art zu sagen, dass sie die verrauschten Daten bereinigten) anstatt „Error Correction“ (was die Fehler perfekt beheben würde). Das bedeutet, dass ihre Ergebnisse für die heutige Technologie beeindruckend sind, aber sie sind nicht die endgültige, perfekte Lösung.
Das große Ganze
Das Team führte auch eine massive Simulation auf einem Supercomputer durch, um zu sehen, wie weit dies gehen könnte, wenn sie perfekte, rauschfreie Maschinen hätten. Sie fanden heraus, dass ein Quantencomputer diese Rätsel theoretisch problemlos bewältigen könnte, aber ein normaler Computer an Speicherplatzmangel leiden würde, wenn er versuchen würde, einen Quantencomputer mit nur 25 Qubits (den Basiseinheiten der Quanteninformation) zu simulieren. Ein etwas größeres Rätsel würde 4,5 Petabyte Speicher erfordern – mehr, als die meisten Rechenzentren haben!
Was ist also die Kernbotschaft? Diese Arbeit ist ein „Weltrekord“ dafür, wie groß eine geheime Codestruktur ein echter, verrauschter Quantencomputer erfolgreich analysiert hat. Sie beweist, dass die Mathematik auf echter Hardware funktioniert, auch wenn die Hardware noch etwas wackelig ist. Es ist ein Proof of Concept, der besagt: „Wir können das machen, aber wir brauchen bessere, leisere Maschinen, bevor wir das echte Leben wirklich knacken können.“ Die Autoren haben ihren Code und ihre Daten öffentlich zugänglich gemacht, damit jeder ihre Arbeit überprüfen kann, um sicherzustellen, dass dies nicht nur eine Behauptung ist, sondern ein reproduzierbarer Schritt nach vorne im Wettlauf zwischen Quantencomputern und Geheimcodes.
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.