💻 computer science

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

Ce document présente Symfrog-512, un algorithme de chiffrement AEAD basé sur l'éponge avec un état de 1024 bits, accompagné d'une implémentation de référence complète, de vecteurs de test déterministes et d'une suite de benchmarks reproductibles, le tout soumis à l'analyse de la communauté sous licence MIT.

Auteurs originaux : Victor Duarte Melo

Publié 2026-02-23

📖 4 min de lecture☕ Lecture pause café

CC BY 4.0

Auteurs originaux : Victor Duarte Melo

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous voulez envoyer un colis très précieux à un ami, mais vous avez peur qu'il soit ouvert, modifié ou volé en cours de route. SymFrog-512 est une nouvelle méthode ultra-sécurisée pour emballer ce colis, conçue par un chercheur indépendant nommé Victor Duarte Melo.

Voici une explication simple de ce document, en utilisant des analogies du quotidien.

1. Le Concept de Base : Une Machine à Mélanger (La Permutation)

Au cœur de ce système, il y a une machine virtuelle appelée P1024-v2.

L'analogie : Imaginez un énorme mélangeur de smoothie avec 16 compartiments (chacun contenant une grande quantité de liquide).
Le fonctionnement : Quand vous mettez des ingrédients (vos données) dedans, la machine les mélange, les retourne, les secoue et les combine de manière très complexe. Elle le fait 24 fois de suite (24 "tours").
Le but : À la fin, il est impossible de deviner quels ingrédients étaient au départ, même si vous voyez le résultat final. C'est ce qu'on appelle une "permutation".

2. La Méthode de Sécurité : L'Éponge Duplex

Pour utiliser cette machine, SymFrog utilise une technique appelée "mode éponge duplex".

L'analogie : Imaginez une éponge géante divisée en deux parties :
1. La partie "Rate" (Débit) : C'est la surface de l'éponge où vous versez l'eau (vos données).
2. La partie "Capacity" (Capacité) : C'est le cœur profond de l'éponge, caché sous la surface.
Pourquoi c'est génial ? SymFrog utilise une éponge très profonde (512 bits de profondeur cachée). Même si quelqu'un essaie de deviner ce qui se cache au fond en regardant la surface, il lui faudrait un nombre de tentatives astronomique (plus que le nombre d'atomes dans l'univers) pour réussir. C'est ce qu'on appelle une "grande capacité", ce qui rend le système très robuste contre les attaques.

3. Le Processus d'Envoi (Chiffrement)

Voici comment SymFrog protège vos données :

La Clé et le Sceau (Nonce) : Vous avez une clé secrète (comme un mot de passe très long) et un "sceau" unique pour chaque envoi (le nonce). Cela garantit que même si vous envoyez le même message deux fois, le résultat sera différent.
L'Absorption : La machine "avale" vos données (le texte clair) et les mélange avec la clé.
L'Émission : La machine recrache des données qui ressemblent à du bruit aléatoire (le texte chiffré).
L'Étincelle (Tag) : À la fin, la machine produit un petit sceau numérique unique (une étiquette de 32 octets). C'est comme un cachet de cire sur une lettre. Si quelqu'un modifie même un seul point du message ou de l'étiquette, le cachet ne correspondra plus.

4. Le Format du Fichier : La Boîte de Protection

Le document explique aussi comment le fichier est stocké sur votre disque dur.

L'en-tête (Header) : C'est la première partie du fichier. Elle contient des informations vitales (comme le numéro de version, un "sel" pour la sécurité, et le nonce).
Le Sceau de l'En-tête : Avant même de commencer à décoder le message, le système vérifie si l'en-tête est authentique. C'est comme un gardien de sécurité qui vérifie votre badge avant de vous laisser entrer dans le bâtiment. Si l'en-tête est corrompu, le système rejette tout immédiatement pour économiser du temps et éviter les erreurs.
Le Corps : C'est le message chiffré.
La Fin : Le tout se termine par le grand sceau de sécurité final.

5. Pourquoi c'est Spécial ?

Sécurité "Conservatrice" : Les créateurs ont choisi des paramètres très larges (comme une éponge très profonde) pour être sûrs à 100 % que personne ne peut casser le code, même avec des ordinateurs futurs très puissants.
Vitesse : Malgré cette sécurité de haut niveau, le système est rapide. Sur un ordinateur moderne, il peut chiffrer environ 130 mégaoctets de données par seconde (c'est comme remplir une bibliothèque entière en quelques secondes).
Transparence : L'auteur dit clairement : "Voici comment ça marche, voici le code, voici les tests." Il invite même les autres experts à essayer de le casser. C'est une approche honnête et scientifique.

En Résumé

SymFrog-512 est comme un coffre-fort numérique ultra-résistant qui utilise une machine à mélanger géante. Il prend vos données, les plonge dans un bain de secret insondable, et les ressort sous forme de bruit inintelligible, accompagné d'un sceau de sécurité inviolable.

Le document est une "carte d'identité" technique de ce système, prouvant qu'il est bien conçu, rapide, et prêt à être utilisé pour protéger des fichiers sensibles, tout en invitant la communauté scientifique à le tester pour s'assurer qu'il ne contient aucun défaut caché.

1. Problématique et Contexte

La cryptographie basée sur les permutations (comme Keccak/SHA-3) offre une structure unifiée et efficace pour la construction de primitives cryptographiques. Cependant, la conception de schémas d'authentification et de chiffrement avec données associées (AEAD) repose souvent sur des permutations standardisées (comme dans Ascon ou Xoodyak) ou des chiffrements par blocs traditionnels (AES-GCM).

L'objectif de ce travail est de proposer une conception AEAD expérimentale et conservatrice nommée SymFrog-512. Elle vise à :

Offrir des bornes de sécurité génériques élevées grâce à une grande capacité interne.
Utiliser une permutation sur 1024 bits personnalisée ( $P_{1024-v2}$ ) plutôt qu'une permutation standard.
Fournir une spécification complète, une analyse de sécurité théorique et des implémentations de référence avec des artefacts de test reproductibles.

2. Méthodologie et Conception Technique

Le schéma SymFrog-512 repose sur trois piliers principaux :

A. La Permutation $P_{1024-v2}$

C'est le cœur du système, opérant sur un état de 1024 bits (16 mots de 64 bits).

Structure de l'état : Partitionné en une partie "taux" ( $r=512$ bits) et une partie "capacité" ( $c=512$ bits).
Fonction de tour (Round Function) : Chaque tour (24 au total) combine plusieurs couches :
1. Ajout de constantes : Injection de constantes de tour dérivées de SHAKE256 dans la capacité.
2. Mélangeur (Mixer) : XOR entre les mots de taux et de capacité.
3. Non-linéarité (Chi) : Application d'une couche Chi (similaire à Keccak) sur des groupes de 4 mots pour introduire de la non-linéarité booléenne.
4. Couche Kick : Mélange multiplicatif basé sur des masques de parité et des constantes (inspiré de la constante de Golden Ratio), introduisant une complexité algébrique via des portées dépendantes des données.
5. Rotation et Mélange (Shuffle) : Rotations de bits et permutation des positions des mots via une boîte P fixe pour assurer la diffusion inter-mots.

B. Mode Duplex Sponge

SymFrog-512 utilise un mode duplex avec :

Taux ( $r$ ) : 512 bits (64 octets).
Capacité ( $c$ ) : 512 bits (64 octets).
Nonce : 256 bits.
Tag d'authentification : 256 bits.
Séparation de domaine : Des constantes spécifiques (0xA0, 0xC0, 0xF0, etc.) sont XORées dans l'état avant chaque appel de permutation pour distinguer les phases (initialisation, données associées, chiffrement, tag final).

C. Transformation de Sortie (Output Transform)

Contrairement aux sponges classiques qui lisent directement le taux, SymFrog-512 applique une transformation complexe pour générer le flux de clés :

Mélange des mots de taux et de capacité.
Application d'une fonction de finalisation non-linéaire SplitMix64 sur chaque mot de 64 bits.
Cela brise les motifs de lecture simples et améliore la diffusion depuis la capacité.

D. Format de Fichier et Authentification

Le format de fichier chiffré inclut un en-tête de 152 octets contenant :

Un identifiant magique, une version, des drapeaux (ex: dérivé de mot de passe via Argon2id).
Un sel (salt) et le nonce.
Un tag d'authentification d'en-tête calculé séparément pour permettre un rejet précoce ("early reject") en cas de clé ou d'en-tête incorrect, évitant ainsi le déchiffrement inutile.

3. Contributions Clés

Spécification Complète : Le document aligne parfaitement la description théorique avec le code de référence open-source disponible sur GitHub.
Analyse de Sécurité dans le Modèle de Permutation Idéale :
- La sécurité est prouvée par réduction, en supposant que $P_{1024-v2}$ se comporte comme une permutation aléatoire uniforme.
- Confidentialité (IND-CPA) : La probabilité de distinguer le schéma d'un oracle aléatoire est bornée par $q^2 / 2^{c+1}$ (où $q$ est le nombre d'appels et $c=512$ ).
- Authenticité (INT-CTXT) : La probabilité de forger un message est bornée par la même collision de capacité plus la probabilité de deviner le tag ( $2^{-256}$ ).
Évaluation Empirique et Artefacts :
- Fourniture de vecteurs de test et de sommes de contrôle SHA-256 pour la régression.
- Mesures de performance et de diffusion (avalanche).
Ingénierie Robuste : L'implémentation gère la sécurité mémoire (zeroing des tampons), l'atomicité des écritures de fichiers et les comparaisons de tags en temps constant.

4. Résultats et Performances

Sécurité Théorique : Avec une capacité de 512 bits, les collisions sont négligeables pour des charges de travail réalistes. Le tag de 256 bits offre une sécurité contre la falsification extrêmement élevée ( $2^{-256}$ ).
Diffusion (Avalanche) : Les tests montrent qu'une différence d'un seul bit se propage à travers l'état de 1024 bits de manière quasi-aléatoire après environ 4 tours. À 24 tours, la distance de Hamming moyenne atteint ~512 bits (valeur attendue pour une distribution aléatoire).
Performance :
- Latence de permutation : ~435,1 ns par appel de $P_{1024-v2}$ (sur 200 000 itérations).
- Débit de chiffrement : ~131,7 MiB/s pour le cœur AEAD (sur un tampon de 64 MiB, excluant I/O et dérivation de clé).

5. Signification et Limites

Signification :
SymFrog-512 démontre qu'il est possible de concevoir un schéma AEAD moderne avec des paramètres très conservateurs (grande capacité, longs nonces/tags) en utilisant des opérations 64 bits simples et une permutation personnalisée. L'approche met l'accent sur la transparence, la reproductibilité et la robustesse de l'implémentation.

Limites et Avenir :

Modèle de sécurité : Les preuves de sécurité reposent sur le modèle de "permutation idéale". La sécurité réelle dépend de la résistance de $P_{1024-v2}$ aux attaques cryptanalytiques dédiées (différentielles, algébriques), ce qui n'est pas encore prouvé.
Réutilisation de Nonce : Le schéma n'est pas résistant à la réutilisation de nonce (comme la plupart des AEADs de type flux), ce qui pourrait révéler des relations XOR entre les textes clairs.
Appel à la communauté : L'auteur encourage explicitement l'analyse cryptanalytique publique pour valider la solidité de la permutation $P_{1024-v2}$ .

En résumé, ce papier présente une proposition technique solide et bien documentée pour un chiffrement AEAD à haute capacité, servant de base pour des recherches futures en cryptographie basée sur les permutations.