🔢 mathematics

Spinel: A Post-Quantum Signature Scheme Based on $\mathrm{SL}_n(\mathbb{F}_p)$ Hashing

Dit artikel introduceert Spinel, een nieuw post-quantum digitaal ondertekeningsschema dat de beveiliging van SPHINCS+ combineert met een nieuwe familie van algebraïsche hashfuncties gebaseerd op de moeilijkheid van navigatie in expander-grafen over $\mathrm{SL}_n(\mathbb{F}_p)$ .

Oorspronkelijke auteurs: Asmaa Cherkaoui, Faraz Heravi, Delaram Kahrobaei, Siamak F. Shahandashti

Gepubliceerd 2026-02-12

📖 4 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Asmaa Cherkaoui, Faraz Heravi, Delaram Kahrobaei, Siamak F. Shahandashti

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 Digitale Slotenmaker: Waarom we Spinel nodig hebben

Stel je voor dat alle digitale sloten die we vandaag de dag gebruiken — voor je bankzaken, je WhatsApp-berichten en je overheidsgegevens — gemaakt zijn van een heel specifiek soort staal. Dit staal is ontzettend sterk en zelfs de slimste inbrekers van nu kunnen er niet doorheen.

Maar er komt een nieuwe soort inbreker aan: de Quantumcomputer. Dit is geen gewone computer, maar een soort "super-inbreker" die met een magische laserstraal door dat staal heen kan branden. Onze huidige digitale sloten zijn plotseling niet meer veilig.

De wetenschappers in dit paper hebben Spinel ontworpen: een nieuw soort digitaal slot dat niet van dat oude staal is gemaakt, maar van een heel ander, exotisch materiaal dat zelfs de "laserstraal" van de quantumcomputer niet kan beschadigen.

Hoe werkt Spinel? (De Metafoor van de Doolhof en de Postbode)

Spinel is gebaseerd op een systeem dat we "hash-gebaseerde handtekeningen" noemen. Om dit te begrijpen, gebruiken we twee metaforen:

1. De Hash-functie: De Onomkeerbare Blender

Een "hash-functie" is als een super-blender. Je stopt er een hele appel in (je data), en de blender maakt er een heel specifiek soort smoothie van (de hash).

Het is heel makkelijk om van een appel een smoothie te maken.
Maar het is onmogelijk om de smoothie terug te veranderen in de originele appel.
Zelfs als je een klein stukje van de appel verandert (bijvoorbeeld een pitje toevoegt), ziet de smoothie er direct totaal anders uit.

In Spinel gebruiken ze een heel bijzondere blender die werkt met wiskundige groepen (SLn(Fp)). In plaats van fruit te mixen, gebruiken ze een ingewikkelde route door een gigantisch, abstract doolhof van getallen.

2. De Handtekening: De Postbode in het Doolhof

De beveiliging van Spinel (gebaseerd op een systeem genaamd SPHINCS+) werkt als een reeks postbodes die een bericht door een enorme boomstructuur van doolhoven moeten sturen.

Elke keer dat je iets tekent, laat je een klein spoor achter in een doolhof.
De "handtekening" is eigenlijk een bewijs dat jij de enige bent die de juiste route door al die doolhoven kent, zonder dat je de geheime kaart aan iedereen hoeft te laten zien.

Wat is er nieuw aan dit onderzoek?

Tot nu toe gebruikten deze systemen "standaard" blenders (zoals SHA-256). Die zijn heel goed, maar we weten eigenlijk alleen dat ze werken omdat niemand ze tot nu toe heeft kunnen kraken. Het is een soort "we vertrouwen het omdat het nog niet is misgegaan."

De onderzoekers van Spinel zeggen: "Laten we een blender gebruiken waarvan we wiskundig kunnen bewijzen dat hij onkraakbaar is."

Ze gebruiken een methode die een "Random Walk" (een willekeurige wandeling) in een doolhof van matrices (getallenblokken) gebruikt. Het is alsoals een blinde man die door een gigantisch kasteel loopt en telkens een willekeurige afslag neemt. De plek waar hij eindigt, is de "hash". Omdat het kasteel zo onvoorstelbaar groot en ingewikkeld is, kan zelfs een quantumcomputer niet voorspellen waar hij zal uitkomen.

De Conclusie: Is het praktisch?

Natuurlijk heeft zo'n super-slot een nadeel: het is zwaarder.

Het kost meer tijd om de handtekening te zetten (het is een langzame wandeling door een groot kasteel).
De handtekening zelf is wat groter (je moet meer bewijs meeschuren).

Maar de onderzoekers hebben laten zien dat Spinel praktisch bruikbaar is. Het is niet te traag voor belangrijke zaken, zoals het beveiligen van digitale certificaten. Ze hebben bewezen dat hun nieuwe "materiaal" voor de sloten niet alleen wiskundig supersterk is, maar ook echt werkt in de echte wereld.

Kortom: Spinel is een nieuwe generatie digitale beveiliging, gebouwd op de harde wiskunde van doolhoven, speciaal ontworpen om de komst van de super-inbreker (de quantumcomputer) voor te blijven.

Technische Samenvatting: Spinel

1. Het Probleem (De Context)

De opkomst van grootschalige quantumcomputers vormt een directe bedreiging voor de huidige digitale handtekeningstandaarden (zoals RSA en ECDSA), omdat deze gebaseerd zijn op problemen (factorisatie en discrete logaritmen) die door het algoritme van Shor efficiënt kunnen worden opgelost.

Hoewel hash-gebaseerde handtekeningen zoals SPHINCS+ (de huidige standaard voor post-quantum cryptografie) als zeer veilig worden beschouwd, rust hun veiligheid primair op de heuristische aannames van cryptografische hashfuncties zoals SHA-256 of SHAKE-256. Er is een behoefte aan handtekeningschema's waarvan de veiligheid niet alleen rust op heuristische hashfuncties, maar op algebraïsche hardheidsproblemen die wiskundig beter begrepen en bewezen zijn tegen quantum-aanvallen.

2. Methodologie

De auteurs introduceren Spinel, een nieuw post-quantum handtekeningschema. De methodologie is gebaseerd op het integreren van een nieuwe klasse algebraïsche hashfuncties in het bestaande, bewezen SPHINCS+-raamwerk.

De Hashfunctie: In plaats van SHA-256 gebruikt Spinel een hashfunctie gebaseerd op de Tillich–Zémor-paradigma. Deze functie maakt gebruik van een "non-backtracking random walk" op de Cayley-graaf van de speciale lineaire groep $SL_n(\mathbb{F}_p)$ .
Parameters: De auteurs kiezen voor $n=4$ (matrixdimensie) en een priemveld $\mathbb{F}_p$ met $p = 2^{31}-1$ . Dit resulteert in een digest-grootte van 512 bits (16 matrixelementen van 32 bits elk), wat nodig is om een collision-resistentie van 256 bits te garanderen.
Integratie: Spinel behoudt de volledige architectuur van SPHINCS+, inclusief de bouwstenen:
- WOTS+ (Winternitz One-Time Signatures) voor de blad-authenticatie.
- FORS (Forest of Random Subsets) voor de few-time signatures.
- Hypertree-structuur (gestapelde Merkle-bomen) om het schema "stateless" te maken.
Tweakable Hashing: Om multi-target aanvallen te voorkomen, wordt de algebraïsche hashfunctie aangepast zodat deze een uniek adres (ADRS) accepteert als extra input voor domein-scheiding.

3. Belangrijkste Bijdragen

Nieuwe Constructie: De eerste succesvolle integratie van een $SL_n(\mathbb{F}_p)$ -gebaseerde algebraïsche hashfunctie in een stateless SPHINCS+-raamwerk.
Empirische Validatie van de Hash: De auteurs leveren het eerste empirische bewijs dat de nieuwe hashfunctie statistisch willekeurig is door deze te testen met de NIST Statistical Test Suite (STS).
Veiligheidsanalyse van Degradatie: Ze modelleren hoe de veiligheid van het FORS-component afneemt naarmate er meer handtekeningen worden uitgegeven onder dezelfde publieke sleutel (signature exposure), gebruikmakend van een Poisson-distributiemodel.
Implementatie en Benchmarking: Een volledige C-implementatie die de praktische haalbaarheid van het schema aantoont.

4. Resultaten

Statistische Testen: De Spinel-hashfunctie slaagde voor alle 15 categorieën van de NIST STS-tests, wat aantoont dat de output een hoge mate van willekeur vertoont en geschikt is als cryptografische primitief.
Prestaties (Performance):
- Snelheid: Het schema is computationeel zwaar. De handtekeninggeneratie (signing) is ongeveer drie ordes van grootte trager dan de verificatie. Dit komt door de complexe matrixvermenigvuldigingen in de $SL_4(\mathbb{F}_p)$ -groep.
- Bandbreedte: De handtekeningen zijn groter dan die van de standaard SHAKE-gebaseerde SPHINCS+, variërend van ongeveer 56 KB tot 60 KB.
- Verificatie: De verificatie is relatief efficiënt (in de orde van $10^9$ cycli), wat het schema geschikt maakt voor scenario's zoals digitale certificaten, waarbij verificatie veel vaker voorkomt dan het tekenen.
Parameteroptimalisatie: De auteurs tonen aan dat er een duidelijke trade-off is tussen de grootte van de handtekening en de snelheid van het tekenen, en dat de keuze van de FORS-parameters cruciaal is voor de weerstand tegen "overuse" (het herhaaldelijk gebruiken van dezelfde sleutel).

5. Betekenis (Significance)

Spinel legt de fundamenten voor een nieuwe generatie algebraïsch hash-gebaseerde handtekeningen. De belangrijkste betekenis is de verschuiving van de veiligheidsaanname: van de heuristische veiligheid van traditionele hashfuncties naar de hardheid van het navigeren door expander-grafen in matrixgroepen. Hoewel de computationele kosten momenteel hoger liggen, biedt Spinel een theoretisch robuuster alternatief voor de post-quantum wereld, waarbij de veiligheid dieper geworteld is in de fundamentele groepentheorie.