💻 computer science

Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

Dit paper introduceert Symfrog-512, een hoog-capaciteit AEAD-cijfer op basis van een 1024-bits sponge-constructie, en biedt een volledige referentie-implementatie met testvectoren, benchmarks en documentatie die onder de MIT-licentie openbaar beschikbaar zijn voor onafhankelijke verificatie.

Oorspronkelijke auteurs: Victor Duarte Melo

Gepubliceerd 2026-02-23

📖 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

🐸 Wat is SymFrog-512?

Stel je voor dat je een zeer veilige, onbreekbare koffer wilt bouwen om je geheime documenten in te sturen. SymFrog-512 is het ontwerp voor zo'n koffer. Het is een nieuw systeem om bestanden te versleutelen (zodat niemand ze kan lezen) en te verifiëren (zodat je zeker weet dat ze niet zijn gemanipuleerd).

De naam "SymFrog" (Symmetrisch Kikker) is een knipoog naar de manier waarop het werkt: het "springt" door een reeks stappen om je data te verwarren, net zoals een kikker springt.

🏗️ De Basis: Een Reusachtige Molensteen

Het hart van dit systeem is een 1024-bit permutatie.

De Analogie: Denk aan een enorme, complexe molensteen met 16 grote wielen (woorden) erop.
Hoe het werkt: Je gooit je geheime sleutel en je document in deze molen. De molen draait 24 keer rond (24 "ronden"). Bij elke draai worden de wielen op een heel specifieke manier gedraaid, gemengd en geshuffled.
Het doel: Na al die draaiingen is je originele tekst onherkenbaar geworden. Zelfs als je maar één lettertje in de invoer verandert, verandert er na het draaien alles aan de uitkomst. Dit noemen ze "diffusie" (verspreiding).

🌊 De "Spons" en de "Duplex"

Het systeem gebruikt een methode die "Duplex Sponge" heet.

De Spons: Stel je een spons voor met twee delen:
1. De Rate (512 bit): Het deel dat je kunt aanraken en waar je water (data) in kunt gieten.
2. De Capaciteit (512 bit): Het deel dat diep in de spons zit en verborgen is. Niemand mag hier bij.
Het proces: Je giet je data in de "Rate". De molen draait, en het water wordt diep in de "Capaciteit" getrokken. Omdat de capaciteit zo groot is (512 bit) en verborgen blijft, is het voor een hacker onmogelijk om te raden wat er binnenin gebeurt, zelfs als hij ziet wat er uit de spons komt.

🔐 Hoe versleutelt het? (De AEAD-methode)

SymFrog-512 doet twee dingen tegelijk: het versleutelt én het controleert de integriteit.

Versleuteling: De molen produceert een stroom van willekeurige cijfers (een "toevalsstroom"). Je document wordt opgeteld bij deze stroom. Het resultaat is je versleutelde bestand.
Controle (Authenticatie): Aan het einde van het proces wordt er een handtekening (een "tag") gemaakt. Dit is een digitaal zegel van 32 bytes. Als iemand ook maar één bitje in je bestand verandert, klopt dit zegel niet meer en weet je direct dat het bestand nep is.

📦 Het Bestandsformaat: De Veilige Verpakking

Het paper beschrijft ook hoe het bestand eruitziet op je harde schijf. Het is als een goed verpakt pakketje:

Het Hoofd (Header): Een kopje van 152 bytes aan de voorkant. Hierin staat een magische code ("SYMFROG1"), een versienummer, en een speciale handtekening voor het kopje zelf.
- Waarom? Als je het bestand opent, kijkt de software eerst naar dit kopje. Als de handtekening niet klopt, stopt het programma direct. Je verspilt geen tijd aan het proberen te openen van een corrupt of nep bestand.
De Lading: Het versleutelde document.
De Zegel: Aan het einde staat de grote handtekening (de "tag") om te bewijzen dat alles klopt.

🛡️ Waarom is dit veilig?

De auteurs zijn heel voorzichtig (conservatief) in hun ontwerp:

Grote Capaciteit: Ze hebben gekozen voor een zeer grote "Capaciteit" (512 bit). In de wereld van cryptografie is dit als het hebben van een enorme, onzichtbare kluis. De kans dat iemand per ongeluk een sleutel vindt die op een andere past, is zo klein dat het statistisch onmogelijk is.
Lange Handtekening: De handtekening is 256 bit lang. De kans dat iemand een nep-handtekening raadt, is net zo klein als dat je een specifiek zandkorreltje uit de Sahara plukt terwijl je blindelings naar beneden springt.
Geen Magie: De auteurs zeggen eerlijk: "We hebben niet bewezen dat de molen zelf onbreekbaar is." Ze vertrouwen erop dat de grote capaciteit en de lange handtekening het systeem veilig houden, zelfs als er een zwak punt in de molen zou zitten. Ze nodigen anderen uit om de molen te proberen te kraken.

⚡ Snelheid en Praktijk

Snelheid: Het systeem is snel. Op een moderne computer kan het ongeveer 131 Megabytes per seconde versleutelen. Dat is alsof je in een seconde een hele DVD vol met films versleutelt.
Wachtwoorden: Je kunt een lange, willekeurige sleutel gebruiken, OF een wachtwoord. Als je een wachtwoord gebruikt, maakt het systeem eerst een heel sterke, moeilijke sleutel van je wachtwoord (met een methode genaamd Argon2id), zodat hackers niet snel kunnen gokken.

🏁 Conclusie

SymFrog-512 is een nieuw, experimenteel maar zeer doordacht ontwerp voor het beveiligen van bestanden. Het combineert een grote, verborgen "kluis" (capaciteit) met een snelle versleutelingsmethode en een strikte controle op corruptie. Het is ontworpen om veilig te zijn tegen toekomstige hackers, terwijl het snel genoeg is voor dagelijks gebruik.

De auteurs zeggen: "Hier is het ontwerp, hier is de code, hier zijn de tests. Probeer het te kraken!"

Titel: SymFrog-512: Een High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

Auteur: Victor Duarte Melo (Onafhankelijk Onderzoeker)

1. Het Probleem

Permutatie-gebaseerde cryptografie (zoals Keccak/SHA-3) biedt een gestructureerde aanpak voor het bouwen van cryptografische primitieven. Echter, er is een behoefte aan nieuwe, experimentele ontwerpen die:

Conservatieve veiligheidsmarges hanteren door gebruik te maken van grote capaciteiten (capacity) om botsingskansen te minimaliseren.
Efficiënte implementaties mogelijk maken met eenvoudige 64-bit operaties.
Een duidelijk bestandsformaat bieden met ingebouwde header-authenticatie om vroege afkeuring van ongeldige bestanden mogelijk te maken.
Een transparante basis bieden voor publieke cryptanalyse, waarbij de mode-veiligheid gescheiden wordt van de permutatie-veiligheid.

Bestaande standaarden (zoals AES-GCM of ChaCha20-Poly1305) gebruiken vaak blok- of streamciphers, terwijl SymFrog-512 probeert een geoptimaliseerde duplex sponge-constructie te realiseren met een zeer grote interne staat.

2. Methodologie

SymFrog-512 is een Authenticated Encryption with Associated Data (AEAD) schema dat is opgebouwd uit twee hoofdbestanddelen:

A. De P1024-v2 Permutatie

Dit is een aangepaste 1024-bit permutatie (128 bytes) die 24 rondes doorloopt. De staat is verdeeld in:

Rate ( $r$ ): 512 bit (de eerste 64 bytes).
Capaciteit ( $c$ ): 512 bit (de laatste 64 bytes).

De rondes van de permutatie bestaan uit vijf lagen:

AddRoundConstants: XOR van ronde-constanten (afgeleid via SHAKE256) in de capaciteit.
Mixer: XOR van de rate-woorden met de bijbehorende capaciteit-woorden.
Chi (Non-lineariteit): Toepassing van een 4-woord Chi-functie (gebruikt in Keccak) op groepen van woorden.
Kick Layer: Twee fasen van multiplicatieve menging met een "oddness mask" om algebraïsche complexiteit te verhogen.
Rotate en Shuffle: Bit-rotaties (19 of 61 bits) gevolgd door een vaste permutatie (P-box) van de woordposities.

B. De Duplex Sponge Mode

Het schema gebruikt een duplex-sponge modus met de volgende parameters:

Sleutel: 1024 bit (of een afgeleide sleutel via Argon2id).
Nonce: 256 bit.
Authenticatie-tag: 256 bit.
Domain Separation: Specifieke bytes worden geXORd in de staat om fasen (initialisatie, AD-absorptie, encryptie, tag-finalisatie) te scheiden.

Encryptieproces:

Initialisatie: Sleutel en Nonce worden in de staat geladen, gevolgd door een vaste identifier en één permutatie-call.
Absorptie: Associated Data (AD) wordt opgenomen in de rate, gevolgd door permutatie.
Encryptie: De plaintext wordt XOR-gecombineerd met een keystream (gegenereerd via een speciale Output Transform die rate en capaciteit mengt). De ciphertext wordt vervolgens weer in de staat geabsorbeerd.
Finalisatie: Een 256-bit tag wordt gegenereerd na een extra permutatie.

Output Transform:
In tegenstelling tot standaard sponge-constructies die de rate direct uitlezen, gebruikt SymFrog-512 een complexe Output Transform. Deze combineert rate- en capaciteit-woorden met rotaties en een SplitMix64-finalizer om de keystream te genereren. Dit breekt simpele "read-the-rate" patronen en verbetert de diffusie.

3. Belangrijkste Bijdragen

Specificatie en Referentie-implementatie: Een volledige specificatie die exact overeenkomt met de open-source referentie-implementatie (GitHub), inclusief een gedefinieerd bestandsformaat met een 152-byte header.
Header Authenticatie: Een unieke "keyed header authentication tag" die header-velden en externe AD bindt aan de sleutel. Dit zorgt voor een "early reject" mechanisme: als de header niet klopt, wordt de decryptie van de rest van het bestand niet uitgevoerd.
Veiligheidsanalyse in het Ideale Permutatiemodel: Het paper levert bewijzen voor confidentiality (IND-CPA) en authenticity (INT-CTXT) gebaseerd op de aanname dat $P_{1024-v2}$ een uniforme willekeurige permutatie is.
Empirische Validatie: Inclusief benchmarks, diffusie-tests (avalanche-effect) en regressie-artefacten met SHA-256 checksums voor verschillende bestandslengtes.

4. Resultaten

Veiligheidsgrenzen:
- De kans op een capaciteitsbotsing (collision) wordt begrensd door $q^2 / 2^{513}$ , wat verwaarloosbaar klein is voor realistische werklasten.
- De kans op het vervalsen van een bericht (forgery) is begrensd door $q^2 / 2^{513} + 2^{-256}$ , waarbij de $2^{-256}$ term afkomstig is van de lange authenticatietag.
Prestaties (Benchmarks):
- Permutatie-latentie: 435,1 ns per $P_{1024-v2}$ -call (gemeten op 200.000 iteraties).
- Doorvoer: 131,7 MiB/s voor de AEAD-core encryptiepad (exclusief I/O en sleutelafleiding) op een buffer van 64 MiB.
Diffusie: Experimenten tonen aan dat na ongeveer 4 rondes het Hamming-afstandsgemiddelde de willekeurige verwachting van 512 bit bereikt, en na 24 rondes is de diffusie volledig met een standaardafwijking van ongeveer 16 bit.
Correctheid: Testvectors bevestigen dat decryptie exact de originele plaintext reproduceert voor alle geteste lengtes (van 0 tot >1 MiB).

5. Betekenis en Conclusie

SymFrog-512 demonstreert de haalbaarheid van een high-capacity duplex sponge AEAD met een zeer grote interne staat (1024 bit).

Conservatisme: Door een capaciteit van 512 bit en een tag van 256 bit te kiezen, biedt het ontwerp uiterst conservatieve veiligheidsmarges tegen botsingsaanvallen, zelfs bij grote hoeveelheden data.
Transparantie: Het paper benadrukt dat de veiligheid van de mode (de sponge-constructie) bewezen is onder ideale aannames, terwijl de veiligheid van de permutatie zelf openstaat voor publieke cryptanalyse.
Praktische Toepasbaarheid: De implementatie toont robuuste engineeringpraktijken, zoals het gebruik van Argon2id voor wachtwoordafleiding, constante tijd-vergelijkingen voor tags, en veilige bestandsoperaties (temp-bestanden en atomische hernoeming).

Het werk dient als een solide basis voor verdere cryptanalyse van de $P_{1024-v2}$ permutatie en biedt een interessant alternatief voor bestaande AEAD-schema's in scenario's waar grote veiligheidsmarges en een gestructureerd bestandsformaat vereist zijn.