CRT-Decomposed -Protocols for CSIDH
Diese Arbeit präsentiert ein CRT-dekomponiertes -Protokoll für CSIDH, das perfekte Vollständigkeit, Zero-Knowledge und effiziente Straight-Line-Extraktion im QROM ohne heuristische Annahmen erreicht, während es seine algebraische Korrektheit rigoros verifiziert und demonstriert, dass dessen Sicherheit derzeit auf zukünftigen Parametern mit großen Primfaktoren beruht, aufgrund einer signifikanten Reduktion der klassischen Angriffs-Kosten, wenn CRT-Hop-Kurven veröffentlicht werden.
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
In der digitalen Welt beruht Privatsphäre oft auf einem empfindlichen Gleichgewicht: Ein Nutzer möchte nachweisen, dass er das Recht hat, Geld auszugeben oder auf einen Dienst zuzugreifen, ohne dabei seine Identität oder die spezifischen Details der Transaktion preiszugeben. Dies ist das Reich der Blind Signaturen, eines kryptografischen Werkzeugs, das es einer Bank ermöglicht, eine Münze zu zertifizieren, ohne jemals zu sehen, wo sie ausgegeben wird. Seit Jahrzehnten ruht die Sicherheit dieser Systeme auf mathematischen Rätseln involving großer Zahlen, doch der Aufstieg leistungsstarker Quantencomputer droht, diese Rätsel zu lösen und damit den aktuellen Schutz der Privatsphäre obsolet zu machen. Um dem entgegenzuwirken, wenden sich Wissenschaftler einer anderen Art von Mathematik zu, die auf der Geometrie elliptischer Kurven basiert, speziell einer Methode namens isogenie-basierter Kryptografie. Dieser Ansatz nutzt eine einzigartige Art der Bewegung zwischen Kurven, die in eine Richtung leicht durchzuführen, aber unglaublich schwierig umzukehren ist, wodurch ein Fundament für Sicherheit geschaffen wird, das Quantenmaschinen nicht ohne Weiteres brechen können. Das Bauen praktischer Systeme auf diesem Fundament war jedoch schwierig, da die Standardmethoden zum Beweis des Wissens über einen geheimen Schlüssel oft auf einem Prozess beruhen, der angesichts von Quanten-Gegenspielern versagt.
Ein Forscherteam der South East Technological University in Irland hat einen neuen Weg entwickelt, um diese Beweise zu konstruieren, der die fatalen Schwächen früherer Methoden vermeidet. Ihre Arbeit konzentriert sich auf ein spezifisches System namens CSIDH, das eine mathematische Struktur verwendet, die als Klassengruppe bekannt ist, um sich zwischen elliptischen Kurven zu bewegen. Die Forscher entdeckten, dass, wenn die interne Struktur dieser Gruppe vollständig bekannt ist, wie es bei einer spezifischen Version namens CSIDH-512 der Fall ist, sie mithilfe eines klassischen mathematischen Prinzips, dem Chinesischen Restsatz, in kleinere, unabhängige Teile zerlegt werden kann. Anstatt den geheimen Schlüssel als einen einzigen, monolithischen Block zu behandeln, entwarfen sie ein Protokoll, das das Wissen über jedes kleine Stück separat beweist. Diese strukturelle Änderung ermöglicht es dem System, den geheimen Schlüssel direkt aus dem Beweis mittels einfacher Arithmetik zu extrahieren, anstatt sich auf ein komplexes, repetitives Ratespiel zu verlassen, das von Quantencomputern gestört werden kann.
Der Kern ihrer Errungenschaft ist eine neue Art von interaktivem Beweis, der sowohl perfekt vollständig als auch perfekt gegen Lauschangriffe sicher ist. In diesem System tauschen ein Prover (Beweiser) und ein Verifier (Prüfer) Nachrichten aus, um zu bestätigen, dass der Prover das Wissen über einen geheimen Schlüssel besitzt, ohne den Schlüssel selbst preiszugeben. Die Forscher bewiesen, dass, wenn ein Prover in der Lage ist, zwei verschiedene Herausforderungen für denselben Schritt erfolgreich zu beantworten, der geheime Schlüssel sofort durch Subtraktion der Antworten und eine einzige Division extrahiert werden kann. Dieser Prozess, den sie algebraische Extraktion nennen, geschieht in einer geraden Linie, ohne dass die Interaktion zurückgesetzt oder neu gestartet werden muss. Dies ist ein entscheidender Unterschied, da frühere Sicherheitsbeweise für ähnliche Systeme darauf basierten, den Angreifer in einen vorherigen Zustand zurückzusetzen (Rewinding), um einen Fehler zu erzwingen – eine Technik, die gegenüber einem Quantencomputer, der nicht angehalten oder kopiert werden kann, nicht zu rechtfertigen ist. Durch das Entfernen dieses Schritts bietet das neue Protokoll einen Weg zu einer Sicherheit, die auch in einer Zukunft Bestand hat, in der Quantencomputer verbreitet sind.
Um sicherzustellen, dass ihr Design nicht nur eine theoretische Idee war, implementierte das Team das gesamte System auf einem Computer unter Verwendung der exakten Parameter der CSIDH-512-Gruppe. Sie verifizierten die mathematische Logik des Protokolls über zehntausend Zufallsinstanzen hinweg und bestätigten, dass die algebraischen Schritte jedes Mal exakt wie vorhergesagt funktionierten. Sie führten zudem Simulationen durch, um zu messen, wie sich das System unter einem Angriff verhalten würde. Diese Tests bestätigten, dass die Sicherheit des Systems den erwarteten mathematischen Gesetzen folgt und dass die Schwierigkeit, es zu brechen, mit zunehmender Anzahl der Runden vorhersehbar wächst. Die Forscher waren jedoch auch sorgfältig darin, die Grenzen ihres Ansatzes aufzuzeigen. Sie demonstrierten, dass das Aufteilen des Problems in kleinere Stücke zwar die Extraktion des geheimen Schlüssels ermöglicht, das System jedoch gleichzeitig einem spezifischen Angriff aussetzt, der die Schwierigkeit des Brechens des Schlüssels reduziert. Für die aktuellen CSIDH-512-Parameter senkt diese Reduktion die Sicherheit von einem Niveau, das etwa 2^128,6 Gruppenaktionen erfordert, auf etwa 2^67,3 Evaluationen – ein erheblicher Abfall, der die aktuellen Parameter für eine 128-Bit-Klassische-Sicherheit unzureichend macht.
Folglich kommen die Forscher zu dem Schluss, dass ihre Konstruktion zwar mathematisch korrekt und strukturell vollständig ist, aber noch nicht für den sofortigen Einsatz auf den aktuellen CSIDH-512-Parametern sicher ist. Das System funktioniert perfekt, aber genau das Merkmal, das es effizient macht – die Offenlegung der Zwischenschritte – macht es auch anfällig für eine bekannte Angriffsmethode. Die Lösung liegt ihrer Argumentation nach in zukünftigen Parametersätzen, in denen die mathematischen Komponenten wesentlich größer sind. Wenn die Gruppe aus Primfaktoren aufgebaut ist, die einzeln sehr groß sind, wird der Sicherheitsverlust durch die Offenlegung der Zwischenschritte vernachlagbar, und das System bliebe sicher. Die Arbeit verglich ihre Methode auch mit bestehenden Schemata und stellte fest, dass ihre Signaturen zwar derzeit größer sind, der Kompromiss jedoch ein Sicherheitsmodell ist, das gegenüber Quantenbedrohungen nicht degradiert. Die Arbeit steht als ein strenger Nachweis dafür, dass algebraische Struktur das komplexe, fehleranfällige Sicherheitsbeweis-Verfahren ersetzen kann, vorausgesetzt, die zugrunde liegenden Zahlen werden mit genügend Sorgfalt gewählt, um den durch die Struktur eingeführten neuen Schwachstellen standzuhalten.
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.