The HyperFrog Cryptosystem: High-Genus Voxel Topology as a Trapdoor for Post-Quantum KEMs

Diese überarbeitete Arbeit stellt HyperFrog als experimentellen postquanten KEM vor, der ein unstrukturiertes LWE-Verfahren mit einem formal definierten, verbundenen Wachstumsprozess für die Erzeugung strukturierter, gewichtsexakter Voxel-Geheimnisse kombiniert, wobei die Manuskriptversion die formale Spezifikation strikt von ingenieurtechnischen Implementierungsmodi trennt und die Benchmarks durch eine klare Unterscheidung zwischen Schlüsselentschlüsselung und kryptografischer Entschlüsselung präzisiert.

Das Wesentliche

Die Geschichte vom HyperFrog: Ein neues Schloss für die Zukunft

Stellen Sie sich vor, wir bauen ein neues, extrem sicheres Schloss für digitale Geheimnisse. Da Computer in der Zukunft (Quantencomputer) die alten Schlösser knacken könnten, brauchen wir etwas Neues. Dieses neue Schloss heißt HyperFrog.

Das Papier ist wie ein Bauplan für dieses Schloss. Der Autor, Victor, sagt im Grunde: „Wir haben den Plan überarbeitet, damit er ehrlicher, klarer und besser verständlich ist."

Hier ist die Aufschlüsselung der wichtigsten Teile, einfach erklärt:

1. Das Geheimnis ist kein einfacher Haufen Sand, sondern ein lebendiger Organismus

Bei den meisten alten Verschlüsselungen ist das geheime Passwort (der „Schlüssel") wie ein Haufen Sandkörner, die zufällig verteilt sind. Jeder Körner ist unabhängig vom anderen.

Bei HyperFrog ist das anders. Das Geheimnis ist wie ein 3D-Puzzle aus kleinen Würfeln (man nennt sie Voxel), das in einem großen Würfel (16x16x16) wächst.

• Die alte Idee: Man hat einfach Würfel zufällig hineingeworfen und gehofft, dass sie eine coole Form ergeben.
• Die neue, ehrliche Idee (der „Formale Miner"): Man fängt mit einem Würfel an und baut das Puzzle Stück für Stück darauf auf. Man wählt immer einen Würfel aus, der direkt an das bereits Gebaute grenzt.
  • Analogie: Stellen Sie sich vor, Sie bauen eine Mauer. Bei der alten Methode hätten Sie Steine in die Luft geworfen und gehofft, dass sie kleben. Bei der neuen Methode legen Sie jeden neuen Stein direkt auf den vorherigen. Das Ergebnis ist garantiert eine zusammenhängende Mauer, kein lose herumliegendes Gerümpel.

2. Der „Cycle Rank": Die Anzahl der Löcher im Tunnel

Das Papier spricht viel von einem Begriff namens „Graph Cycle Rank". Das klingt kompliziert, ist aber einfach:
Stellen Sie sich das Puzzle vor, das Sie gebaut haben. Wenn Sie durch die Lücken zwischen den Würfeln laufen könnten, wie viele Tunnel oder Schleifen gäbe es dann?

• Der Autor möchte, dass das Puzzle viele dieser Schleifen hat.
• Warum? Weil es für Hacker schwerer ist, ein Puzzle zu knacken, das wie ein komplexes Labyrinth mit vielen Wegen aussieht, als eines, das nur eine einfache Linie ist.
• Wichtig: Das Papier sagt ganz offen: „Wir wissen nicht zu 100 %, ob dieses spezielle Labyrinth sicher ist. Aber wir haben es so gebaut, dass es anders ist als alles, was wir bisher hatten, und wir testen es genau."

3. Zwei Modi: Der „Formale" und der „Praktische"

Das ist ein sehr wichtiger Punkt im Papier. Der Autor unterscheidet jetzt klar zwischen zwei Arten, das Schloss zu bauen:

• Der Formale Miner (Der Wissenschaftler): Dies ist die strenge Regel. Er baut das Puzzle genau nach den Regeln (Stück für Stück, genau 2048 Würfel, viele Schleifen). Dies ist das, was im Papier als „sicherer" Ansatz beschrieben wird.
• Der Praktische Miner (Der Handwerker): Dies ist eine schnelle, etwas ungenaue Methode für Tests. Er wirft Steine vielleicht etwas wilder hinein, um schnell zu sehen, ob das Schloss überhaupt funktioniert.
• Die Botschaft: „Wir nutzen den Handwerker nur zum Testen im Labor. Wenn wir über Sicherheit sprechen, zählen nur die Ergebnisse des Wissenschaftlers." Das macht das Papier ehrlicher, als es in früheren Versionen war.

4. Die Messung: Woher kommt die Verzögerung?

Das Papier hat auch die Zeitmessungen verbessert. Wenn Sie eine Datei entschlüsseln, dauert es eine Weile. Aber warum?

• Früher: Man sagte einfach: „Es dauert 5 Sekunden."
• Jetzt: Man schaut genauer hin.
  • Ein Teil der Zeit ist das Entschlüsseln (die eigentliche Magie).
  • Ein großer Teil ist das Öffnen des Schlüsselkastens (Passwort eingeben).
  • Analogie: Es ist wie beim Öffnen eines Safe. Das Öffnen des Safe-Inhalts (Entschlüsselung) geht schnell. Aber das Aufbrechen des schweren Vorhängeschlosses mit dem Passwort (Passwort-Eingabe) dauert lange. Das Papier trennt diese beiden Zeiten jetzt sauber, damit man nicht denkt, die Verschlüsselung selbst sei langsam, wenn eigentlich nur das Passwort-Eingeben lange dauert.

5. Das Fazit: Ein ehrliches Experiment

Das Papier sagt nicht: „HyperFrog ist das perfekte, fertige Produkt für die Bank."
Es sagt: „HyperFrog ist ein offenes Labor."

• Was ist neu? Die Art und Weise, wie das Geheimnis (das Puzzle) gebaut wird, ist neu und sehr spezifisch.
• Was ist noch offen? Wir wissen noch nicht, ob dieses spezielle Puzzle-Design gegen alle möglichen Hacker-Angriffe immun ist. Das ist eine offene Forschungsfrage.
• Warum ist das gut? Weil der Autor nicht lügt. Er sagt genau, was funktioniert, was getestet wurde und wo die Grenzen liegen. Er trennt die „harten Fakten" (Formaler Miner) von den „Test-Tools" (Praktischer Miner).

Zusammengefasst:
HyperFrog ist wie ein neuer, sehr komplexer Schlüssel, der aus einem wachsenden 3D-Puzzle besteht. Das Papier ist ein ehrliches Tagebuch, das erklärt: „So bauen wir den Schlüssel, so testen wir ihn, und hier sind die Grenzen unseres Wissens." Es ist ein Schritt in Richtung sicherer Kommunikation für die Zukunft, aber noch kein fertiges Endprodukt für den Supermarkt.

Technische Zusammenfassung

1. Problemstellung und Motivation

Das Papier adressiert die Notwendigkeit experimenteller Konstruktionen im Bereich der Post-Quanten-Kryptographie, die sich von etablierten Standards (wie Gitter-basierten, Code-basierten oder Isogenie-basierten Systemen) unterscheiden, um neue Angriffsvektoren und strukturelle Eigenschaften zu erforschen.

Das Hauptproblem liegt in der Definition und Analyse von strukturierten Geheimnisverteilungen innerhalb von Learning-With-Errors (LWE) Schemata. Während die meisten KEMs (Key Encapsulation Mechanisms) unstrukturierte oder einfache binäre Geheimnisse verwenden, untersucht HyperFrog, ob die Einschränkung des Geheimnisses auf eine spezifische topologische Struktur (hier: ein verbundenes Voxel-Gitter mit hohem Zyklus-Rang) die Sicherheit beeinträchtigt oder neue Angriffsflächen bietet.

Ein zentrales Anliegen der Revision ist die Trennung von formalen kryptographischen Behauptungen und ingenieurtechnischen Implementierungsdetails. Frühere Entwürfe vermischten diese Ebenen, was zu Unklarheiten über die tatsächliche Geheimnisverteilung und die Interpretation von Benchmark-Ergebnissen führte.

2. Methodik und Systemarchitektur

HyperFrog ist ein experimenteller KEM, der auf einem unstrukturierten LWE-Design basiert, jedoch mit einer neuartigen, strukturierten Geheimnisverteilung.

A. Kryptographische Parameter

• Grundlage: Unstrukturiertes LWE über dem Modul $q = 2^{16} = 65536$.
• Dimensionen: $N = 4096$ (Vektorlänge), $M = 2048$ (Anzahl der öffentlichen Schlüsselzeilen), $k = 256$ (verschlüsselte Bits).
• Geheimnis: Ein binärer Vektor $s \in \{0,1\}^{4096}$, der einer $16 \times 16 \times 16$ Voxel-Gitterstruktur entspricht.
• Verschlüsselung: Fujisaki-Okamoto (FO) Transform im Random Oracle Model (ROM) für CCA2-Sicherheit.
• Ciphertext-Größe: Ca. 2,10 MB (bewusst groß gewählt, um die Analyse der Geheimnisstruktur zu priorisieren, nicht die Bandbreite).

B. Der formale Miner (Geheimnisgenerierung)

Der Kern der Innovation ist der formale Miner, der das Geheimnis $s$ erzeugt. Im Gegensatz zu früheren Entwürfen, die eine Ablehnungsstichprobe (Rejection Sampling) über einem fast-uniformen Raum verwendeten, nutzt die Revision einen verbundenen Wachstumsprozess (Connected Frontier Growth):

1. Start: Ein zufälliges Start-Voxel wird im Gitter gewählt.
2. Wachstum: Der Miner fügt schrittweise zufällige Nachbarn aus der „Frontier" (Grenzschicht) hinzu.
3. Ziel: Der Prozess stoppt, sobald genau 2048 besetzte Voxel erreicht sind.
4. Eigenschaften:
   • Verbundenheit: Das Ergebnis ist per Konstruktion ein zusammenhängender Graph.
   • Exaktes Gewicht: Die Anzahl der besetzten Voxel ist exakt 2048 (kein Bereich).
   • Topologischer Filter: Das Ergebnis wird nur akzeptiert, wenn der Graph-Zyklus-Rang ($\beta_1 = E - V + C$) einen Schwellenwert $\tau$ überschreitet. Da der Graph verbunden ist ($C=1$), gilt $\beta_1 = E - V + 1$.

C. Trennung von Formalem und Praktischem Miner

Ein wesentlicher methodischer Schritt ist die strikte Trennung zweier Modi im Code:

• Formaler Miner: Implementiert den oben beschriebenen Wachstumsprozess. Dient ausschließlich der formalen Sicherheitsanalyse.
• Praktischer Miner: Ein ingenieurtechnischer Modus für Tests (z. B. Ablehnungsstichprobe über zufälligen Bitsets, Fallback auf deterministische Formen bei Timeout). Dieser wird explizit nicht als Teil der formalen Sicherheitsbehauptung betrachtet.

3. Schlüsselbeiträge der Revision

1. Präzisierung der Topologie: Die Verwendung des Begriffs „Genus" wurde zugunsten des mathematisch präzisen Graph-Zyklus-Rangs ($\beta_1$) des besetzten Nachbarschaftsgraphen verworfen. Dies vermeidet Missverständnisse bezüglich der Topologie des 3D-Körpers.
2. Formale Definition des Geheimnisgesetzes: Die Geheimnisverteilung wird nun explizit als bedingte Verteilung des Wachstumsprozesses definiert: $P_{formal, \tau} = P_{grow} | \beta_1 \ge \tau$.
3. Verbesserte Benchmark-Methodik:
   • Trennung der Zeitmessung in: Schlüssel-Entsperrzeit (Passwort/Argon2id), Kryptographische Entschlüsselungszeit und Gesamtzeit.
   • Erfassung von Diagnosedaten pro Stichprobe (Zyklus-Rang, Anzahl der Komponenten, Gewicht).
   • Klare Kennzeichnung, dass aktuelle Benchmarks Implementierungsstabilität zeigen, aber noch keine kalibrierte Akzeptanzwahrscheinlichkeit für harte Schwellenwerte liefern.
4. Transparenz: Das Papier gibt offen zu, dass keine Reduktion von der strukturierten Geheimnisverteilung auf das Standard-LWE-Problem vorliegt und dass die Sicherheit noch nicht vollständig bewiesen ist.

4. Ergebnisse und Benchmarks

Die Revision basiert auf einem Korpus von 1670 formalen Stichproben (v36.0 Implementierung):

• Stabilität des Miners:
  • 100% Erfolgsrate bei der Generierung (keine Timeouts im Testkorpus).
  • Exaktes Gewicht von 2048 in allen Fällen.
  • Exakt eine verbundene Komponente in allen Fällen.
• Zyklus-Rang-Statistik:
  • Der beobachtete Zyklus-Rang liegt zwischen 2315 und 2856 (Mittelwert: 2687,3).
  • Die verwendeten Schwellenwerte in den Benchmarks ($\tau \in \{6, 8, 10, 12\}$) sind extrem niedrig im Vergleich zum tatsächlichen Ergebnis. Dies bedeutet, dass die aktuellen Tests die Akzeptanzbedingung kaum belasten und primär die Stabilität des Wachstumsprozesses validieren.
• KEM-Leistung:
  • Encapsulation: ~25 ms (bei 16 Threads).
  • Decapsulation: ~33 ms (etwas langsamer aufgrund der Rekonstruktion und Validierung).
  • Dateiverarbeitung: Die Entschlüsselung von Dateien wird stark von der Passwort-Entsperrung (Argon2id) dominiert, nicht von der kryptographischen Entschlüsselung selbst.
• Vergleich Formal vs. Praktisch:
  • Der formale Miner erzeugt konstant Gewicht 2048 und hohe Zyklus-Ränge (~2692).
  • Der praktische Miner variiert im Gewicht (2030) und hat deutlich niedrigere Zyklus-Ränge (1000). Dies unterstreicht die Notwendigkeit der strikten Trennung der Modi.

5. Signifikanz und Limitationen

Signifikanz:
Das Papier bietet ein transparentes Forschungsframework, das die Lücke zwischen theoretischen topologischen Konzepten und praktischer Kryptographie-Implementierung schließt. Es demonstriert, wie man eine strukturierte Geheimnisverteilung definieren, implementieren und empirisch analysieren kann, ohne falsche Sicherheitsversprechen zu machen. Die klare Trennung von „formaler Behauptung" und „Ingenieur-Modus" ist ein wichtiger Beitrag zur wissenschaftlichen Redlichkeit in der Prototyp-Entwicklung.

Limitationen und offene Fragen:

1. Fehlende Sicherheitsreduktion: Es gibt keinen Beweis, dass LWE mit dieser spezifischen, durch Graph-Eigenschaften eingeschränkten Geheimnisverteilung genauso sicher ist wie mit Standard-Binärgeheimnissen. Korrelationen im Wachstumsprozess könnten Angriffsvektoren eröffnen.
2. Bandbreite: Die Ciphertext-Größe von ~2,1 MB ist für praktische Anwendungen unpraktisch groß.
3. Kalibrierung: Die aktuellen Benchmarks testen keine „harten" Schwellenwerte, bei denen die Akzeptanzwahrscheinlichkeit niedrig wäre. Eine zukünftige Studie muss den Schwellenwert $\tau$ in den Bereich der beobachteten Verteilung (ca. 2600) heben, um die tatsächliche Härte des Miners zu testen.
4. Seitenkanäle: Die Implementierung wurde noch nicht vollständig auf Seitenkanäle (Timing, Speicherzugriffe) auditiert.

Fazit:
HyperFrog ist kein fertiges Kryptosystem für den Einsatz, sondern ein präzises experimentelles Objekt. Die Revision macht die zugrundeliegende Geheimnisverteilung explizit und ehrlich, ermöglicht externe Überprüfungen der Implementierung und legt den Grundstein für zukünftige kryptanalytische Untersuchungen von strukturierten LWE-Geheimnissen auf Graphenbasis.