🔢 mathematics

A class of locally differentially $4$-uniform power functions with Niho exponents

In dit artikel wordt de differentiaalspectrum van de machtsfunctie $F(x) = x^{3q - 2}$ over $\mathbb{F}_{q^2}$ bepaald, waarbij wordt aangetoond dat deze functie lokaal differentieel 4-uniform is.

Oorspronkelijke auteurs: Haode Yan, Kangquan Li

Gepubliceerd 2026-04-16

📖 4 min leestijd🧠 Diepgaand

CC0 1.0

Oorspronkelijke auteurs: Haode Yan, Kangquan Li

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 Veiligheidsdeur: Een Verhaal over Wiskunde, Sloten en "Niho"-Exponenten

Stel je voor dat je een enorm, digitaal fort bouwt. In dit fort worden geheime boodschappen bewaard. Om ervoor te zorgen dat inbrekers (hackers) niet binnen kunnen, bouw je speciale deuren. Deze deuren zijn geen gewone houten panelen, maar complexe wiskundige puzzels. In de wereld van cryptografie noemen we deze puzzels cryptografische functies.

De auteurs van dit paper, Haode Yan en Kangquan Li, hebben een nieuw type puzzel ontworpen. Ze hebben gekeken naar hoe goed deze puzzel bestand is tegen een specifieke aanvalsmethode, die we de "differente aanval" noemen.

Hier is hoe hun werk werkt, vertaald naar alledaagse taal:

1. De Puzzel en de "Differente Aanval"

Stel je voor dat je een magische machine hebt. Je gooit een getal erin (bijvoorbeeld een sleutel), en de machine geeft een ander getal terug.

De aanval: Een hacker probeert twee sleutels te vinden die heel dicht bij elkaar liggen (bijvoorbeeld sleutel A en sleutel A+1). Hij kijkt naar het verschil in de uitkomst. Als hij een patroon ziet, kan hij de machine kraken.
De maatstaf: De auteurs willen weten: "Hoeveel verschillende sleutels kunnen er precies hetzelfde verschil in uitkomst geven?"
- Als er maar 2 sleutels zijn die dit doen, is de machine superveilig (zoals een perfect slot).
- Als er 4 sleutels zijn, is het nog steeds best veilig, maar niet perfect.
- Als er duizenden zijn, is het slot waardeloos.

In de wiskundetaal noemen ze dit de differentiële uniformiteit. Hoe lager het getal, hoe sterker het slot.

2. De Speciale "Niho"-Exponent

De puzzel die ze hebben bedacht, is een machtswiskundige formule: $F(x) = x^{3q-2}$ .
De exponent (het getal waar je $x$ aan moet verheffen) is heel speciaal. Het heet een Niho-exponent.

Analogie: Stel je voor dat je een sleutelbos hebt. De meeste sleutels zijn standaard. Maar een Niho-exponent is als een sleutel die is gemaakt door een meester-smeden die een heel oude, bijna vergeten techniek gebruikt. Deze techniek is bekend om zijn elegantie en wordt vaak gebruikt in communicatie (zoals GPS-signalen en mobiele netwerken).

De auteurs hebben gekeken naar een specifieke versie van deze sleutel, waarbij $q$ een macht van 2 is (zoals 16, 64, 256) en het getal $m$ even is.

3. Wat hebben ze ontdekt?

De auteurs hebben de "veiligheidscontrole" van hun nieuwe sleutel uitgevoerd. Ze hebben gekeken naar alle mogelijke ingangen en uitgangen.

Het verrassende resultaat: Ze ontdekten dat hun sleutel bijna perfect is, maar met één kleine uitzondering.
- Voor de meeste situaties is het slot zo sterk dat er maximaal 4 sleutels zijn die hetzelfde verschil veroorzaken. Dit noemen ze "lokaal differentiëel 4-uniform".
- Er is echter één heel specifieke situatie (een heel specifieke sleutelcombinatie) waarbij het slot zwakker is en er $q$ (een groot getal) sleutels zijn die hetzelfde doen.
De "Lokaal"-term: Denk aan een kasteel met duizend deuren. Als 999 deuren onbreekbaar zijn, maar één deur een zwak punt heeft, noem je het kasteel "lokaal" veilig. De auteurs zeggen: "Voor bijna alles is dit een 4-sterren slot, maar er is één zwakke hoek."

4. Waarom is dit belangrijk?

In de echte wereld gebruiken computers deze wiskundige functies om data te versleutelen (zoals in je bank-app of WhatsApp).

Als een hacker een zwak punt vindt, kan hij je wachtwoord stelen.
Door precies te weten hoeveel "zwakke punten" er zijn (het differentiële spectrum), kunnen ingenieurs beslissen of ze deze functie veilig genoeg vinden om te gebruiken.

De auteurs hebben een nieuwe lijst gemaakt met de exacte aantallen. Ze hebben bewezen dat hun nieuwe functie een goede aanvulling is op de bestaande lijst van veilige sleutels. Ze hebben ook gekeken naar hoe vaak elk type zwak punt voorkomt, wat helpt bij het bouwen van nog sterkere systemen.

Samenvatting in één zin

De auteurs hebben een nieuw, speciaal wiskundig slot ontworpen (een Niho-exponent) en bewezen dat dit slot voor bijna alle situaties extreem veilig is (maximaal 4 mogelijke breukpunten), wat het een waardevolle toevoeging maakt aan de toolbox van digitale beveiligingsexperts.

Kortom: Ze hebben een nieuwe, sterke sleutel gevonden voor het digitale fort, en ze hebben precies in kaart gebracht waar de eventuele zwakke plekken zitten, zodat we die kunnen vermijden.

Titel: Een klasse van lokaal differentieel 4-uniforme machtsfuncties met Niho-exponenten

Auteurs: Haode Yan en Kangquan Li
Publicatie: arXiv:2604.13967v1 [cs.IT] (15 april 2026)

1. Probleemstelling en Context

In de cryptografie, met name bij het ontwerp van symmetrische cryptosystemen (zoals blokcijfers), zijn substitutievakken (S-boxes) van cruciaal belang. Deze worden vaak gerealiseerd door machtsfuncties $F(x) = x^d$ over eindige velden $\mathbb{F}_q$ . Een fundamentele eis voor deze functies is weerstand tegen differentieel cryptanalytische aanvallen.

De weerstand wordt gemeten aan de hand van de differentiële uniformiteit ( $\Delta_F$ ). Een functie is perfect nonlineair (PN) als $\Delta_F = 1$ (alleen mogelijk in velden met oneven karakteristiek) en almost perfect nonlineair (APN) als $\Delta_F = 2$ . In velden met even karakteristiek ( $q=2^n$ ) is de minimale uniforme waarde 2.

Het artikel richt zich op het bepalen van het differentiële spectrum van machtsfuncties. Het spectrum beschrijft de verdeling van het aantal oplossingen voor de differentievergelijking $F(x+a) - F(x) = b$ . Hoewel veel klassen van machtsfuncties al bestudeerd zijn, blijft het analyseren van het spectrum van functies met Niho-exponenten een uitdagend en relevant probleem. Specifiek onderzochten de auteurs de functie $F(x) = x^{3q-2}$ over het veld $\mathbb{F}_{q^2}$ , waarbij $q=2^m$ en $m \geq 4$ een even geheel getal is. De exponent $3q-2$ is een Niho-exponent, maar de differentieel-eigenschappen hiervan waren voorheen niet volledig in kaart gebracht.

2. Methodologie

De auteurs hanteren een wiskundige benadering die gebaseerd is op de analyse van polynomen en het tellen van oplossingen van stelsels vergelijkingen over eindige velden. De kern van de methodologie omvat:

Analyse van de differentievergelijking: Het doel is het bepalen van $\delta_F(1, b)$ , het aantal oplossingen van $(x+1)^d + x^d = b$ voor $F(x) = x^{3q-2}$ .
Gebruik van de multiplicatieve ondergroep $U_{q+1}$ : De auteurs maken gebruik van de structuur van de ondergroep $U_{q+1} = \{x \in \mathbb{F}_{q^2}^* : x^{q+1} = 1\}$ . Ze gebruiken een decompositie van elementen in $\mathbb{F}_{q^2}^*$ als product van een element uit $\mathbb{F}_q^*$ en een element uit $U_{q+1}$ .
Onderzoek van trinomials: Een cruciale stap is het analyseren van de pre-image grootte van de trinoom $f(x) = x^2 + x^{1-q} + x^{2-q}$ . De auteurs bewijzen dat deze functie specifieke eigenschappen heeft wat betreft het aantal oplossingen voor verschillende waarden van $c$ .
Tellende methoden voor stelsels vergelijkingen: Om het differentiële spectrum te bepalen, moet het aantal oplossingen van het stelsel:
$\begin{cases} x_1 + x_2 + x_3 + x_4 = 0 \\ x_1^d + x_2^d + x_3^d + x_4^d = 0 \end{cases}$
worden bepaald. Dit vereist het gebruik van een recursief gedefinieerde rij $\{\tau_m\}$ en het toepassen van bestaande lemma's over het aantal oplossingen in $\mathbb{F}_{q^2}$ .
Lineaire algebra en substitutie: Door het systeem van vergelijkingen te transformeren en gebruik te maken van determinanten en substituties (bijv. $u_1 = z_1^{-1}$ ), reduceren ze het probleem tot het vinden van het aantal waarden voor een parameter $t$ die voldoet aan een specifieke vergelijking.

3. Belangrijkste Bijdragen en Resultaten

De paper levert de volgende specifieke bijdragen:

Bepaling van de Differentiële Uniformiteit:
De auteurs bewijzen dat de functie $F(x) = x^{3q-2}$ over $\mathbb{F}_{q^2}$ differentieel $q$ -uniform is. Dit betekent dat de maximale waarde van $\delta_F(a,b)$ gelijk is aan $q$ (wat optreedt wanneer $b=1$ ).
Lokaal Differentieel 4-Uniform:
Hoewel de globale uniformiteit $q$ is (wat hoog is voor grote $m$ ), tonen ze aan dat de functie lokaal differentieel 4-uniform is. Dit betekent dat voor alle $b \in \mathbb{F}_{q^2} \setminus \mathbb{F}_2$ (dus $b \neq 0, 1$ ), het aantal oplossingen $\delta_F(1, b) \leq 4$ . Dit is een zeer waardevolle eigenschap voor cryptografische toepassingen, aangezien de meeste waarden van $b$ een zeer lage differentieel uniformiteit hebben.
Exact Differentieel Spectrum:
Het artikel geeft een expliciete formule voor het differentiële spectrum $DS_F$ . Het spectrum wordt bepaald door de multipliciteiten $\omega_i$ (het aantal $b$ -waarden waarvoor $\delta_F(1,b) = i$ ):
- $\omega_0 = \frac{1}{8}(5q^2 + (-\tau_m + 4)q - 7)$
- $\omega_2 = \frac{1}{4}(q^2 + (\tau_m - 2)q - 1)$
- $\omega_4 = \frac{1}{8}(q^2 - \tau_m q + 1)$
- $\omega_q = 1$
Hierbij is $\tau_m$ een rij gedefinieerd door de recursie $\tau_m = \frac{1}{2}\tau_{m-1} - \tau_{m-2}$ met beginwaarden $\tau_1 = 1/2, \tau_2 = -7/4$ . De auteurs bewijzen dat voor $m \geq 4$ geldt dat $\omega_4 > 0$ , wat bevestigt dat de waarde 4 daadwerkelijk voorkomt in het spectrum.
Validatie:
De theoretische resultaten zijn gevalideerd met numerieke voorbeelden voor $m=4, 6, 8$ (dus $q=16, 64, 256$ ) met behulp van het computeralgebrasysteem MAGMA. De berekende spectra kwamen exact overeen met de theoretische voorspellingen.

4. Significatie en Toekomstperspectief

Vulling van Kennisgaten: Dit werk vult een gat in de literatuur over het differentiële spectrum van machtsfuncties met Niho-exponenten. Het is een van de weinige gevallen waarbij het volledige spectrum voor een dergelijke klasse is afgeleid.
Cryptografische Relevantie: De ontdekking dat de functie lokaal differentieel 4-uniform is, maakt deze functie interessant voor het ontwerp van S-boxen. Hoewel de functie niet APN is (wat de "ideale" staat is), biedt de lage uniformiteit voor de meeste waarden van $b$ een sterke weerstand tegen differentieel cryptanalyse, terwijl de implementatiekosten laag blijven (zoals bij machtsfuncties gebruikelijk).
Verband met andere gebieden: De resultaten hebben implicaties voor de kruiscorrelatieverdeling tussen m-sequenties en hun gedecimeerde versies, een belangrijk onderwerp in de sequentieontwerptheorie.
Open Problemen: De auteurs merken op dat het differentiële spectrum voor andere waarden van $q$ (bijvoorbeeld wanneer $q$ een oneven priemkracht is) nog een open probleem blijft. Toekomstig werk zal gericht zijn op het uitbreiden van deze resultaten naar bredere parameterbereiken.

Conclusie:
Dit artikel presenteert een rigoureuze wiskundige analyse van een nieuwe klasse van machtsfuncties met Niho-exponenten. Door het exacte differentiële spectrum te bepalen en de eigenschap van "lokaal differentieel 4-uniformiteit" te bewijzen, biedt het een waardevolle bijdrage aan de theorie van cryptografische functies en de constructie van veilige S-boxen.