A Compact Post-quantum Strong Designated Verifier Signature Scheme from Isogenies
Dieses Paper schlägt ein neues kompaktes, post-quanten-starkes Designated-Verifier-Signaturverfahren vor, das auf (abelschen) kryptographischen Gruppenaktionen und Isogenien basiert und sicherstellt, dass nur der bezeichnete Verifizierer die Authentizität einer Signatur bestätigen kann.
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 ist Vertrauen meist eine öffentliche Angelegenheit. Wenn Sie online ein Dokument unterzeichnen, fungiert eine digitale Signatur als Siegel, das jeder mit den richtigen Werkzeugen verifizieren kann. Diese Transparenz ist das Rückgrat moderner Sicherheit und stellt sicher, dass eine Nachricht tatsächlich von ihrem Absender stammt und nicht verändert wurde. Es gibt jedoch Situationen, in denen diese öffentliche Natur eher einen Mangel als ein Merkmal darstellt. Stellen Sie sich ein privates Gespräch zwischen zwei Personen vor, bei dem eine Person ihre Identität gegenüber der anderen beweisen möchte, aber gleichzeitig sicherstellen muss, dass kein Dritter jemals davon überzeugt werden kann, dass die Nachricht von ihr stammt. Wenn der Empfänger den Ursprung vor einem Richter oder einem Freund beweisen könnte, wäre die Privatsphäre des Austauschs verletzt. Dies ist die Herausforderung von „Designated Verifier“-Signaturen (Signaturen mit festgelegtem Verifizierer): die Erstellung eines Beweises, der für den intendierten Empfänger unbestreitbar, für jeden anderen jedoch völlig nicht überzeugend ist.
Die Schwierigkeit vertieft sich, wenn wir die Zukunft betrachten. Die Verschlüsselungsmethoden, die unsere Daten derzeit schützen, stützen sich auf mathematische Probleme, die für heutige Computer schwer zu lösen sind, aber von leistungsstarken Quantenmaschinen mühelos gelöst werden könnten. Während Wissenschaftler darum wetteifern, Systeme zu bauen, die diesen zukünftigen Bedrohungen standhalten können, wenden sie sich einem Zweig der Mathematik zu, der sich mit den Formen von Kurven und den Wegen beschäftigt, wie diese ineinander transformiert werden können. Diese Transformationen, bekannt als Isogenien, bieten eine neue Grundlage für Sicherheit, die als sicher gegen Quantenangriffe gilt. Das Ziel ist es, ein System zu bauen, das nicht nur die Quantenära überdauert, sondern auch die sensible Privatsphäre privater Gespräche bewahrt.
Ein Forscherteam hat nun eine neue Methode zur Erstellung dieser privaten, quantensicheren Signaturen vorgestellt. Sie nennen ihr System CSI-SDVS, ein Schema, das auf den Eigenschaften kommutativer supersingulärer Isogenien basiert. Der Kern der Idee besteht darin, die einzigartige mathematische Beziehung zwischen elliptischen Kurven zu nutzen, um eine Signatur zu erstellen, die nur der intendierte Empfänger verifizieren kann. In diesem System hält der Absender jeweils einen geheimen Schlüssel und den Empfänger einen entsprechenden öffentlichen Schlüssel. Wenn der Absender eine Nachricht signieren möchte, verwendet er seinen geheßenen Schlüssel und den öffentlichen Schlüssel des Empfängers, um einen eindeutigen Code zu generieren. Der Empfänger kann dann seinen eigenen geheimen Schlüssel verwenden, um zu prüfen, ob der Code gültig ist. Die Brillanz des Designs liegt in seiner Fähigkeit zur Simulation. Der Empfänger kann ebenfalls seinen geheimen Schlüssel verwenden, um eine Signatur zu generieren, die exakt so aussieht wie eine vom Absender. Da der Empfänger eine perfekte Fälschung erstellen kann, kann er gegenüber einem Dritten nicht beweisen, dass eine bestimmte Signatur vom Absender stammt und nicht von ihm selbst erstellt wurde. Diese Eigenschaft, bekannt als Nicht-Übertragbarkeit (Non-Transferability), stellt sicher, dass das Gespräch privat bleibt, selbst wenn der Empfänger versucht, das Beweismaterial zu teilen.
Das Team demonstrierte, dass ihr neues Schema nicht nur quantensicher, sondern auch hocheffizient ist. In früheren Versuchen, ähnliche Systeme zu entwickeln, waren die digitalen Schlüssel und Signaturen oft enorm groß und erforderten die Speicherung oder Übertragung von hunderten Kilobyte an Daten. Dies machte sie für viele reale Anwendungen unpraktikabel. Das neue Design hingegen ist bemerkenswert kompakt. Unter Verwendung eines spezifischen Parametersatzes, bekannt als CSIDH-512, erreichten die Forscher ein System, bei dem die geheimen Schlüssel 256 Bit lang sind, die öffentlichen Schlüssel 512 Bit und die Signaturen selbst ebenfalls nur 512 Bit. Um dies in Perspektive zu setzen: Eine Standard-Digital-Signatur in älteren Systemen könnte die Größe einer kleinen Textdatei haben, während diese neue Signatur etwa der Größe einer einzigen Textzeile entspricht. Diese dramatische Reduktion der Größe macht die Technologie für den Einsatz auf Geräten mit begrenztem Speicher und geringer Bandbreite lebensfähig.
Das Team hat bewiesen, dass ihr System alle strengen Sicherheitsstandards erfüllt, die für diese Art der Kryptografie erforderlich sind. Sie zeigten, dass ein Angreifer eine Signatur nicht fälschen kann, ohne die geheimen Schlüssel zu besitzen, und sie bewiesen, dass die Identität des Unterzeichners vor jedem außer dem festgelegten Verifizierer verborgen bleibt. Diese Beweise stützen sich auf die Annahme, dass das Lösen bestimmter mathematischer Probleme im Zusammenhang mit den Gruppenaktionen dieser Kurven selbst für einen Quantencomputer rechnerisch unmöglich ist. Die Forscher untersuchten auch ein spezifisches mathematisches Modell, um zu zeigen, dass die Sicherheit ihres Systems an ein etwas anderes, aber gleichermaßen schwieriges Problem gekoppelt werden kann. Dieser dual-geschichtete Ansatz stärkt das Vertrauen in die Robustheit des Systems.
Durch die Kombination der Privatsphäre der festgelegten Verifizierung mit der Effizienz der isogeniebasierten Kryptografie bietet diese Arbeit eine praktische Lösung für sichere, private Kommunikation in einer Post-Quanten-Welt. Sie führt das Feld von theoretischen Möglichkeiten zu konkreten, nutzbaren Werkzeugen. Die Forscher haben gezeigt, dass es möglich ist, eine Signatur zu haben, die stark genug ist, um vom Empfänger vertraut zu werden, aber schwach genug, um gegenüber allen anderen bestritten werden zu können – und das alles, während die Daten klein genug bleiben, um überall eingesetzt werden zu können. Dieses Gleichgewicht zwischen Privatsphäre, Sicherheit und Effizienz markiert einen bedeutenden Schritt nach vorn bei der Vorbereitung unserer digitalen Infrastruktur auf die Herausforderungen der Zukunft.
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.