💻 computer science

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

Dit herziene manuscript presenteert HyperFrog, een experimentele post-kwantum KEM die een ongestructureerd LWE-kader combineert met een formeel gedefinieerde, verbonden voxel-groeiingsmethode voor het genereren van een binair geheim met exact gewicht en een hoge graad van cyclusrang, waarbij de auteurs de formele specificaties en de praktische implementatie expliciet van elkaar scheiden en de huidige benchmarkresultaten als empirische stabiliteitsstudies presenteren zonder claims over een bewezen beveiligingsreductie.

Oorspronkelijke auteurs: Victor Duarte Melo

Gepubliceerd 2026-03-26

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Victor Duarte Melo

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

De HyperFrog: Een Nieuwe Manier om Geheime Sleutels te Maken

Stel je voor dat je een zeer geheimzinnige sleutel nodig hebt om een onbreekbare kluis te openen. In de wereld van moderne cryptografie (de manier waarop we data veilig houden) zijn deze sleutels vaak willekeurige rijen met nullen en enen. Maar de onderzoekers achter HyperFrog zeggen: "Wat als we die sleutel niet willekeurig kiezen, maar hem laten 'groeien' als een levend organisme?"

Dit artikel is een update van hun onderzoek. Ze hebben de regels aangescherpt om eerlijker en duidelijker te zijn over wat ze precies doen.

1. De Basis: Een Labyrint van Blokken

Stel je een enorme kubus voor, gemaakt van kleine blokjes (zoals LEGO-blokjes). De kubus is $16 \times 16 \times 16$ blokjes groot.

Het oude idee: Je zou willekeurig blokjes in de kubus kunnen zetten, alsof je een doos met blokjes schudt en er een paar uitgooit.
Het nieuwe idee (HyperFrog): Je begint met één blokje. Dan laat je een "klimmer" (een miner) rondlopen. Deze klimmer plakt altijd een nieuw blokje vast aan een bestaand blokje. Zo groeit de vorm langzaam, stap voor stap, tot hij precies 2048 blokjes groot is.

De Analogie:
Stel je voor dat je een pad door een bos aanlegt.

Bij het oude systeem gooi je willekeurige stenen op de grond en hoopt je dat ze een pad vormen.
Bij HyperFrog leg je elke steen zorgvuldig aan het einde van het bestaande pad. Het resultaat is altijd één groot, samenhangend pad, nooit losse stenen.

2. De "Rijke" Sleutel: Het Netwerk van Lussen

Het bijzondere aan deze groeiende vorm is niet alleen dat hij één stuk is, maar dat hij veel lussen heeft.
In de wiskunde noemen ze dit de "cyclusrang" (cycle rank).

Analogie: Denk aan een knoop in een touw. Als je het touw in een rechte lijn legt, is er geen lus. Maar als je het in een ingewikkeld patroon vouwt met veel lussen, wordt het moeilijk om het te ontwarren.
HyperFrog zorgt ervoor dat de vorm van de blokjes zo ingewikkeld is dat er duizenden lussen in zitten. De onderzoekers hopen dat deze ingewikkelde structuur het voor hackers onmogelijk maakt om de sleutel te raden, zelfs met de krachtige computers van de toekomst (kwantumcomputers).

3. Twee Manieren van Werken: De Formele Regels vs. De Praktische Test

Een groot deel van dit artikel gaat over het onderscheid tussen twee manieren om de sleutel te maken:

De Formele Miner (De Strikte Architect):
Dit is de officiële regel. Hij bouwt de vorm precies zoals beschreven: één stuk, precies 2048 blokjes, en met veel lussen. Als het niet perfect is, gooit hij het weg en begint opnieuw. Dit is wat ze in de wetenschappelijke paper beloven.
De Praktische Miner (De Snelle Werknemer):
Dit is een "testversie" in de code. Soms is het te lang wachten tot de perfecte vorm klaar is. Dan gebruikt de software een snellere, minder perfecte methode om een vorm te maken die "goed genoeg" lijkt voor tests.
- De boodschap: De onderzoekers zeggen nu heel duidelijk: "Gebruik de snelle versie alleen om te testen of de software werkt. Gebruik de strikte versie voor de echte beveiliging." Ze willen niet dat mensen denken dat de snelle versie net zo veilig is als de strikte versie.

4. De Snelheid en de "Sleutelkast"

Het artikel meet ook hoe snel alles gaat. Ze ontdekten iets interessants over het openen van bestanden:

Het cryptografische deel: Het daadwerkelijke openen van de versleutelde data gaat razendsnel.
Het wachtwoord-deel: Vaak is de sleutel opgeslagen in een bestand dat zelf weer beveiligd is met een wachtwoord. Het "ontgrendelen" van dat bestand met een wachtwoord duurt veel langer dan het openen van de data zelf.
Analogie: Het is alsof je een dure auto hebt die met 200 km/u rijdt (de versleutelde data), maar je moet eerst 10 minuten wachten op de sleutel van de garage (het wachtwoord). De snelheid van de auto doet er dan niet toe als je niet bij de garage komt.

5. Waarom is dit artikel belangrijk?

Vroeger waren de regels wat vaag. Ze zeiden: "Het werkt wel, geloof ons."
Nu zeggen ze: "Hier zijn de exacte regels. Hier is wat we doen, en hier is wat we nog niet weten."

Ze zijn eerlijk: Ze claimen niet dat hun methode al bewezen is als de beste ter wereld.
Ze zijn transparant: Ze laten zien dat hun "perfecte" vorm (de formele miner) heel stabiel werkt, maar dat ze nog moeten onderzoeken of hackers er niet toch een zwak punt in kunnen vinden.

Samenvatting in één zin

HyperFrog is een experimentele manier om een geheime sleutel te maken door een ingewikkeld, één-stuk patroon van blokjes te laten groeien; de onderzoekers hebben hun regels nu scherper gemaakt om duidelijk te maken wat er precies gebeurt en wat er nog meer onderzoek nodig is.

Het is een eerlijk, open boek over een nieuw idee, zonder te beloven dat het al de perfecte oplossing is, maar wel met een duidelijke kaart voor de toekomst.

Titel: The HyperFrog Cryptosystem: Connected Graph Cycle Rank as a Structured Secret Distribution for an Experimental Post Quantum KEM

Auteur: Victor Duarte Melo (Onafhankelijk Onderzoeker)
Datum: Maart 2026 (Revisie v36.0)

1. Het Probleem en Context

De migratie naar post-kwantumcryptografie (PQC) heeft geleid tot een mature familie van Key Encapsulation Mechanisms (KEM's) gebaseerd op lattices, codes en isogenieën. Hoewel deze systemen veilig zijn, is er behoefte aan experimentele constructies die slechts één aspect van het ontwerp wijzigen om de impact van gestructureerde geheimen op de veiligheid te bestuderen.

HyperFrog is een experimenteel PQC-systeem dat een Learning With Errors (LWE)-kern behoudt, maar de verdeling van het geheime vector (secret vector) fundamenteel verandert. In plaats van een onbeperkt binaire geheime vector te kiezen, wordt het geheim gegenereerd als een "voxel occupancy field" (een 3D-rooster van bezette en lege cellen) met specifieke topologische eigenschappen.

De vorige versies van dit onderzoek hadden twee belangrijke tekortkomingen:

Terminologische verwarring: Er werd gebruikgemaakt van informele termen zoals "genus" in plaats van de wiskundig precieze "graph cycle rank".
Onscherpe specificatie: De methode voor het genereren van het geheim (de "miner") was een zwakke afwijzingsstochastische methode die het geheim te dicht bij een uniforme binaire bron liet, waardoor de gestructureerde aard van het geheim onduidelijk was.

2. Methodologie en Ontwerp

A. De Formele "Miner" (Secret Generator)

De kerninnovatie ligt in de Formele Connected Graph Miner. In plaats van een volledig rooster te vullen en te controleren of het voldoet aan criteria, bouwt deze miner het geheim stap voor stap op:

Start: Kies willekeurig één start-voxel in een $16 \times 16 \times 16$ rooster (4096 posities).
Groei: Voeg iteratief willekeurige "frontier"-voxels (naburige, nog niet bezette cellen) toe aan de bezette set.
Beperkingen:
- Het proces stopt precies wanneer het aantal bezette voxels 2048 is (exacte gewicht).
- Het resultaat is per constructie connectief (één samenhangend component).
- Er wordt een drempelwaarde ( $\tau$ ) toegepast op de Graph Cycle Rank ( $\beta_1$ ).
Formele definitie: Het geheim is een binaire vector $s$ die voldoet aan $P_{formal} = P_{growth} | \beta_1 \geq \tau$ .

B. Cryptografische Kern (LWE)

Public Key: Een standaard LWE-instantie over $q = 2^{16}$ met $N=4096$ (vectorlengte) en $M=2048$ (aantal rijen).
Secret Key: De binaire vector $s$ gegenereerd door de miner.
Noise: Centraal binomiale ruis.
Veiligheidstransformatie: Een Fujisaki-Okamoto (FO) transformatie in het Random Oracle Model (ROM) om chosen-ciphertext security (CCA2) te garanderen.
Karakteristiek: De matrix $A$ wordt gegenereerd via een stream cipher (ChaCha20) uit een seed; alleen de secret vector $s$ is gestructureerd.

C. Implementatie en Benchmarking

Het paper introduceert een strikte scheiding tussen twee modi in de code:

Formele Modus: Gebruikt de bovenstaande "frontier growth" algoritme. Dit is de enige modus die voor formele claims wordt gebruikt.
Praktische Modus: Een engineering-versie voor testen (bijv. snellere smoke tests, fallback-mechanismen bij time-out). Deze wordt expliciet uitgesloten van formele beweringen.

De benchmark-schema's (v3) splitsen nu de tijdsmetingen in:

Ontgrendelingstijd (password-based unlock via Argon2id).
Cryptografische ontsleutelingstijd (KEM en AES-GCM).
Totale tijd.

3. Belangrijkste Bijdragen

Formalisatie van de Topologische Invariant: De paper vervangt de informele term "genus" door de wiskundig correcte Graph Cycle Rank ( $\beta_1 = |E| - |V| + C$ ), wat de dimensie van de cyclusruimte van het bezette graaf is.
Duidelijke Scheiding van Claims: Er wordt een scherpe lijn getrokken tussen de formele specificatie (connectieve groei met exact gewicht) en de praktische implementatie-opties. Dit voorkomt verwarring over welke secret-distributie er daadwerkelijk wordt geanalyseerd.
Verbeterde Benchmark Methodologie: De paper biedt transparante data door het scheiden van password-unlock kosten van cryptografische kosten en het rapporteren van per-sample diagnostiek (zoals het aantal pogingen en de waargenomen cycle rank).
Honesty in Claims: De auteurs erkennen dat er geen bewijs is dat deze specifieke gestructureerde secret-distributie even veilig is als standaard binaire LWE. Het doel is het definiëren van een experimenteel systeem, niet het leveren van een gedeplooid product.

4. Resultaten

Op basis van een corpus van 1670 formele steekproeven (geen time-outs, 100% succes):

Exact Gewichten: Alle gegenereerde geheimen hebben exact 2048 bezette voxels.
Connectiviteit: Alle geheimen vormen precies één samenhangend component.
Cycle Rank: De waargenomen cycle ranks liggen tussen 2315 en 2856 (gemiddeld 2687.3).
Correctheid: 1670 van de 1670 decapsulaties waren correct (geen fouten).
Performance:
- De KEM-omhulling (encapsulation) duurt gemiddeld ~25 ms.
- De onthulling (decapsulation) duurt gemiddeld ~33 ms.
- De "File Unlock" tijd (Argon2id) domineert de totale ontsleutelingstijd, wat aantoont dat de cryptografische kern relatief snel is.
Drempel-effect: De huidige benchmarks gebruiken lage drempels ( $\tau = 6$ tot $12$). Omdat de waargenomen cycle ranks (~2600) veel hoger zijn dan deze drempels, stressen de huidige tests de miner niet voldoende om een "harde acceptatieregime" te meten. De resultaten tonen voornamelijk de stabiliteit van de implementatie, niet de moeilijkheid van de drempel.

5. Betekenis en Conclusie

HyperFrog is een transparant onderzoeksplatform dat de interactie tussen een gestructureerde secret-distributie (gebaseerd op grafentheorie en voxel-geometrie) en een ongestructureerde LWE-kern bestudeert.

Sterke punten: De paper is eerlijk over de beperkingen. Er wordt geen bewezen reductie naar standaard LWE geclaimd. De methode voor het genereren van geheimen is nu wiskundig exact gedefinieerd.
Beperkingen:
- De ciphertext is groot (~2.10 MB) omdat er één vector per bit wordt opgeslagen.
- Er is geen bewezen weerstand tegen specifieke aanvallen die de grafische correlaties in het geheim exploiteren.
- De "acceptance probability" is nog niet gekalibreerd voor moeilijke drempels.

Conclusie: Deze revisie maakt HyperFrog "interpreteerbaar". Het biedt een schone basis voor externe onderzoekers om te analyseren of een secret-distributie met hoge cycle rank en exact gewicht veilig is binnen het LWE-raamwerk. Het is een stap in de richting van een beter begrepen post-kwantum constructie, maar nog geen kandidaat voor directe implementatie in productie.