🔢 mathematics

Infinite families of APN permutations in constrained trivariate classes over $\mathbb{F}_{2^m}$

Deze paper bewijst dat twee nieuwe, onderling niet-equivalente oneindige families van APN-permutaties over $\mathbb{F}_{2^{3m}}$ kunnen worden geconstrueerd door de scalarparameter in bestaande trivariabele klassen te laten variëren, waarbij de APN-eigenschap en permutatiekarakteristieken worden gekarakteriseerd door de afwezigheid van wortels in een geassocieerd univariaat polynoom.

Oorspronkelijke auteurs: Daniele Bartoli, Pantelimon Stanica

Gepubliceerd 2026-03-17

📖 5 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Daniele Bartoli, Pantelimon Stanica

Oorspronkelijk artikel vrijgegeven aan het publieke domein onder CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 Slotenmakers: Hoe Nieuwe Sleutels de Cyberwereld Veiliger Maken

Stel je voor dat de digitale wereld een enorme, ondoordringbare burcht is. De bewoners van deze burcht (onze data, bankrekeningen, geheime berichten) moeten beschermd worden tegen inbrekers. In de wereld van cryptografie zijn er speciale "deuren" of sloten die deze data beschermen. De beste sloten zijn diegene die zo complex zijn dat een inbreker ze niet kan openen door simpelweg te gokken of te proberen (dit heet differentiële cryptografie).

In dit wetenschappelijke artikel bouwen twee onderzoekers, Daniele Bartoli en Pantelimon Stănică, aan een nieuwe generatie van deze digitale sloten. Ze noemen ze APN-permutaties. Laten we uitleggen wat dat betekent en wat ze hebben ontdekt, zonder ingewikkelde wiskunde.

1. Wat is een APN-permutatie? (De perfecte sleutel)

Stel je een sleutel voor die twee eigenschappen heeft:

Onkraakbaar: Als een inbreker de sleutel een klein beetje verdraait (een kleine verandering in de invoer), verandert het slot er totaal anders uit. Het is onmogelijk om te voorspellen wat er gebeurt. Dit maakt het onmogelijk om de code te kraken door patronen te zoeken.
Omkeerbaar: Als je de sleutel gebruikt, kun je hem altijd weer terugdraaien naar de originele positie. Je raakt geen data kwijt.

De meeste bestaande sloten zijn ofwel onkraakbaar maar niet omkeerbaar, of omkeerbaar maar niet veilig genoeg. De uitdaging is om een sleutel te vinden die beide is. Dit is als het vinden van een naald in een hooiberg.

2. De Nieuwe Ontdekking: Een Familie van Sleutels

Eerder vonden wetenschappers twee specifieke, toevallige (sporadische) sleutels die perfect werkten. Het probleem was dat ze alleen in één specifieke grootte van sloten werkten (zoals een sleutel die alleen in een deur van 9 inch past).

De auteurs van dit artikel hebben nu een magische formule gevonden. In plaats van één specifieke sleutel, hebben ze een oneindige familie van sleutels ontworpen.

Ze werken in een 3D-ruimte (drie variabelen: x, y, z).
Ze hebben een "knop" of parameter (noem het $a$ ) die je kunt verdraaien.
Door deze knop op de juiste stand te zetten, krijg je een nieuwe, unieke en veilige sleutel.

3. De "Gouden Regel" (De Wiskundige Sleutel)

Hoe weet je nu of een bepaalde instelling van de knop ( $a$ ) een goede, veilige sleutel oplevert?

De onderzoekers hebben ontdekt dat je niet hoeft te testen of de hele sleutel werkt. Je hoeft alleen maar te kijken naar een enkele, simpele vergelijking (een polynoom).

De Analogie: Stel je voor dat je een enorme machine hebt met duizenden knoppen. In plaats van elke knop te testen, zeggen de onderzoekers: "Kijk alleen naar dit ene kleine raampje. Als er in dat raampje geen 'rode bolletjes' (wortels) verschijnen, dan werkt de hele machine perfect."
Als er geen "rode bolletjes" zijn in een bepaald getalengebied, dan is de sleutel veilig én omkeerbaar.
Als er wel rode bolletjes zijn, faalt de sleutel.

Dit is een enorme doorbraak omdat het een ingewikkeld 3D-probleem reduceert tot een simpel 1D-probleem.

4. Twee Zusters, Eén Familie

Ze hebben niet één, maar twee families van deze sleutels gevonden, die ze $G_a$ en $H_a$ noemen.

Het verrassende is: als je de knop ( $a$ ) op de juiste stand zet voor de eerste familie ( $G_a$ ), werkt hij automatisch ook voor de tweede familie ( $H_a$ ).
Het is alsof je twee verschillende auto's hebt, en als je de motor van de ene goed afstelt, werkt hij ook perfect in de andere.

5. Zijn ze allemaal hetzelfde? (Nee, ze zijn uniek!)

Een groot probleem in de cryptografie is dat veel nieuwe sleutels eigenlijk maar een vermomde versie zijn van oude, bekende sleutels. Als je ze op een andere manier bekijkt, zijn ze identiek.

De onderzoekers hebben bewezen dat hun nieuwe familie echt nieuw is:

De meeste van hun nieuwe sleutels zijn fundamenteel verschillend van de oude, bekende sleutels.
Ze zijn ook verschillend van elkaar: een sleutel uit familie $G$ is nooit hetzelfde als een sleutel uit familie $H$ , zelfs niet als je ze draait of spiegelt.
Dit betekent dat ze een nieuwe bron van unieke, onkraakbare sloten hebben geopend voor de wereld.

6. Waarom is dit belangrijk?

In de toekomst, naarmate computers krachtiger worden, moeten onze digitale sloten steeds sterker worden.

Veiligheid: Deze nieuwe families bieden meer opties om systemen te beveiligen tegen toekomstige aanvallen.
Efficiëntie: Omdat ze een simpele "check" hebben (geen rode bolletjes in het raampje), kunnen ingenieurs snel duizenden goede sleutels vinden zonder urenlang te hoeven rekenen.
Oneindige mogelijkheden: Omdat ze een oneindige familie hebben gevonden, kunnen ze voor elke gewenste grootte van een digitaal slot een passende, veilige sleutel maken.

Samenvattend:
Deze paper is als het vinden van een nieuwe fabriek die oneindig veel unieke, onkraakbare sloten kan maken. De onderzoekers hebben een simpele test bedacht om te zien welke sloten goed zijn, en ze hebben bewezen dat deze sloten echt nieuw zijn en niet gewoon oude sloten in een nieuw jasje. Dit is een grote stap voorwaarts voor de veiligheid van onze digitale wereld.

Titel: Oneindige families van APN-permutaties in beperkte trivariabele klassen over $\mathbb{F}_{2^m}$

1. Probleemstelling en Context

De constructie van permutatiepolynomen over eindige velden met een eenvoudige algebraïsche structuur is een uitdagend probleem met grote toepassingen in cryptografie (specifiek bij het ontwerpen van S-blokken) en coderingstheorie.

APN-functies: "Almost Perfect Nonlinear" (APN) functies zijn optimaal bestand tegen differentieel cryptanalyse. De minimale differentieeluniformiteit voor velden met even karakteristiek is 2.
Permutaties: Een APN-functie die ook een permutatie is, is ideaal voor S-blokken omdat het zowel differentieel weerstand biedt als inverteerbaar is.
Huidige stand van zaken: Het construeren van APN-permutaties is berucht moeilijk. Er zijn slechts een handvol oneindige families bekend, en de vraag of ze in elke even dimensie bestaan, blijft open.
Aanleiding: Onlangs hebben Li en Kaleyski (2024) twee sporadische kwadratische APN-permutaties in dimensie 9 gegeneraliseerd naar oneindige families van trivariabele functies met coëfficiënten in $\mathbb{F}_2$ .
Doel van dit artikel: De auteurs breiden dit werk uit door de scalarcoëfficiënt in deze families vrij te laten variëren over het volledige niet-nul veld $\mathbb{F}_{2^m}^*$ . Ze onderzoeken de families $G_a$ en $H_a$ en analyseren wanneer deze APN-permutaties zijn.

2. Methodologie

De auteurs gebruiken een combinatie van algebraïsche meetkunde, theorie van eindige velden en differentieelanalyse.

Families:
- Familie $G_a$ : $G_a(x, y, z) = (x^{q+1} + ax^qz + yz^q, \ x^qz + y^{q+1}, \ xy^q + ay^qz + z^{q+1})$
- Familie $H_a$ : $H_a(x, y, z) = (x^{q+1} + axy^q + yz^q, \ xy^q + z^{q+1}, \ x^qz + y^{q+1} + ay^qz)$
- Hierbij is $q = 2^i$ , $\gcd(i, m) = 1$ , en $m$ oneven.
Reductie tot univariabele polynomen: De kern van de methode is het reduceren van de complexe trivariabele problemen (permutatie en APN-eigenschap) naar het bestuderen van de wortels van specifieke univariabele polynomen in $\mathbb{F}_{2^m}$ $F_{2^{m}}$ .
- Voor $G_a$ wordt de voorwaarde gekoppeld aan de polynoom $Q_a(T) = T^{q^2+q+1} + aT + 1$ .
- Voor $H_a$ wordt een vergelijkbare polynoom afgeleid, die wortel-equivalent is aan die van $G_a$ .
Algebraïsche Meetkunde: De auteurs maken gebruik van stellingen zoals de Lang-Weil-schatting en de Aubry-McGuire-Rodier-lemma om de aanwezigheid van rationale punten op algebraïsche variëteiten te garanderen. Dit helpt bij het bewijzen dat als de polynoom wortels heeft, er "collisies" (niet-permutatie) of meer dan twee oplossingen (niet-APN) ontstaan.
Wortel-equivalentie: Er wordt bewezen dat verschillende vormen van de polynomen (zoals $P_a, P'_a, Q_a, R_a$ ) allemaal wortel-equivalent zijn; ze hebben wortels in $\mathbb{F}_{2^m}^*$ dan en slechts dan als de andere dat ook doen.

3. Belangrijkste Bijdragen en Resultaten

A. Karakterisering van Permutatie en APN-eigenschap

Theorema 2.7: Voor de familie $G_a$ $G_{a}$ zijn de volgende stellingen equivalent:
1. De polynoom $Q_a(T) = T^{q^2+q+1} + aT + 1$ heeft geen wortels in $\mathbb{F}_{2^m}$ .
2. $G_a$ is een permutatie op $\mathbb{F}_{2^m}^3$ .
3. $G_a$ is een APN-functie op $\mathbb{F}_{2^m}^3$ .
Dit betekent dat het probleem van het vinden van APN-permutaties volledig wordt gereduceerd tot het vinden van parameters $a$ waarvoor een bepaalde univariabele polynoom wortelvrij is.
Familie $H_a$ : Dezelfde logica geldt voor $H_a$ . De auteurs bewijzen dat de voorwaarde voor $H_a$ wortel-equivalent is aan die voor $G_a$ . Dus, dezelfde parameters $a$ die $G_a$ tot een APN-permutatie maken, maken ook $H_a$ tot een APN-permutatie.

B. Existentie en Aantal "Goede" Parameters

De auteurs leiden een kwantitatieve ondergrens af voor het aantal "goede" parameters $a$ (d.w.z. $a$ waarvoor $Q_a$ geen wortels heeft).
Met $d = q^2 + q + 1$ , is het aantal goede parameters minstens:
$|B_{m,q}| \geq 2^m + 1 - \frac{(d-1)(d-2)2^{m/2} - d}{d}$
Specifiek geval $q=2$ : Als $q=2$ (dus $d=7$ ) en $7 \nmid m$ , dan is $a=1$ een goede parameter. Dit herstelt de familie van Li-Kaleyski. Voor $a \neq 1$ met $a^7 \neq 1$ worden nieuwe APN-permutaties gevonden.

C. Equivalenteresultaten (CCZ en Diagonaal)

Diagonale Equivalenctie: De auteurs onderzoeken wanneer $G_a$ $G_{a}$ (of $H_a$ $H_{a}$ ) diagonaal equivalent is aan de originele Li-Kaleyski representanten ( $G_1$ $G_{1}$ of $H_1$ $H_{1}$ ).
- Resultaat: $G_a$ is diagonaal equivalent aan $G_1$ dan en slechts dan als $a^{q^2+q+1} = 1$ .
CCZ-inequivalenctie:
- Voor $m > 4, m \neq 6$ en $7 \nmid m$ , impliceert diagonale non-equivalenctie CCZ-non-equivalenctie (via een stelling van Shi et al.).
- Conclusie: Wanneer $q=2$ en $7 \nmid m$ , levert elke goede parameter $a \neq 1$ APN-permutaties op die CCZ-inequivalent zijn aan die van Li-Kaleyski.
Mutuele Inequivalenctie: De auteurs bewijzen dat geen enkel lid van de $G_a$ -familie CCZ-equivalent is aan enig lid van de $H_b$ -familie (voor dezelfde $q$ ). Dit betekent dat de twee families twee volledig verschillende, nieuwe bronnen van APN-permutaties vormen.

4. Significatie en Impact

Nieuwe Oneindige Families: Het artikel levert twee nieuwe, oneindige families van APN-permutaties op $\mathbb{F}_{2^{3m}}$ die niet equivalent zijn aan eerder bekende families.
Methodologische Doorbraak: De reductie van een trivariabele permutatie/APN-probleem naar een univariabele wortel-exclusieprobleem biedt een krachtig gereedschap voor toekomstig onderzoek.
Cryptografische Toepassingen: De gevonden functies zijn kwadratisch en hebben de optimale differentieeluniformiteit, wat ze zeer waardevol maakt voor het ontwerp van veilige cryptografische systemen.
Klassificatie: De resultaten verduidelijken de structuur van de ruimte van APN-permutaties door aan te tonen dat er grote aantallen inequivalente oplossingen bestaan binnen deze trivariabele klassen.

5. Open Problemen

De auteurs sluiten af met een lijst van open vragen, waaronder:

Het vinden van expliciete "goede" parameters $a$ voor het geval $7 \mid m$ (waar $a=1$ niet werkt).
Of de computergemotiveerde gevonden permutaties voor $m=3$ uit te breiden zijn naar oneindige families.
Of de resultaten gelden voor even dimensies $m$ (waar de huidige trace-criterium faalt).
Generalisatie naar $n$ -variabele constructies ( $n > 3$ ).

Samenvattend biedt dit artikel een diepgaande algebraïsche analyse die de bestaande kennis van APN-permutaties aanzienlijk uitbreidt, met sterke bewijzen voor de existentie van nieuwe, niet-equivalente families en een duidelijke karakterisering via polynoomwortels.