🔢 mathematics

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

Este artículo determina el espectro diferencial de la función de potencia $F(x) = x^{3q - 2}$ sobre $\mathbb{F}_{q^2}$ (donde $q = 2^m$ y $m \geq 4$ es par), demostrando que posee un exponente de Niho y es localmente diferencialmente 4-uniforme.

Autores originales: Haode Yan, Kangquan Li

Publicado 2026-04-16

📖 4 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Haode Yan, Kangquan Li

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

¡Imagina que el mundo de la criptografía es como un castillo fortísimo! Para proteger sus secretos, los arquitectos de este castillo (los criptógrafos) utilizan unas "puertas giratorias" especiales llamadas cajas de sustitución (o S-boxes). Estas puertas son las encargadas de mezclar y ocultar la información para que nadie pueda leerla sin la llave correcta.

El problema es que los ladrones (los hackers) tienen una herramienta muy astuta llamada análisis diferencial. Es como si el ladrón intentara abrir la puerta giratoria empujándola con dos fuerzas ligeramente diferentes (como empujar la puerta un centímetro a la derecha y ver qué pasa, y luego un centímetro a la izquierda) para ver si puede adivinar cómo gira el mecanismo interno.

Si la puerta gira de una manera muy predecible ante estos empujones, el castillo es vulnerable. Pero si la puerta gira de forma caótica y difícil de predecir, el castillo es seguro.

¿Qué descubrieron estos autores?

En este artículo, los investigadores Haode Yan y Kangquan Li han diseñado y analizado un nuevo tipo de "puerta giratoria" matemática. No es una puerta cualquiera; es una construida con una fórmula muy específica llamada exponente de Niho (un nombre técnico que viene de un matemático japonés que estudió cómo se mezclan las señales).

Aquí está la magia de su descubrimiento, explicado con analogías:

1. La Prueba de Resistencia (Uniformidad Diferencial)

Para medir qué tan segura es una puerta, los científicos usan una regla llamada "uniformidad diferencial".

Imagina que lanzas una pelota contra la puerta desde diferentes ángulos.
Si la puerta siempre reacciona de la misma manera predecible (por ejemplo, siempre se abre 2 veces), es muy segura (se dice que es "2-uniforme").
Si a veces se abre 100 veces y a veces 0, es un desastre.
Los autores descubrieron que su nueva puerta tiene una característica especial: es "localmente 4-uniforme".

¿Qué significa esto en español?
Significa que, si intentas engañar a la puerta con casi cualquier truco (casi cualquier "empujón" diferente), la puerta reaccionará de una manera que nunca supera 4 respuestas posibles. Es como si la puerta dijera: "Puedes empujarme como quieras, pero nunca te daré más de 4 pistas sobre cómo funciona mi interior". Esto la hace extremadamente difícil de hackear.

2. El Mapa de las Reacciones (El Espectro Diferencial)

No basta con saber el peor caso (que sea 4); los autores hicieron algo aún más genial: dibujaron el mapa completo de todas las reacciones posibles.

Imagina que tienes un termómetro que mide cuántas veces reacciona la puerta ante cada tipo de empujón.

A veces, la puerta no reacciona nada (0 veces).
A veces, reacciona 2 veces.
A veces, reacciona 4 veces.
Y en un caso muy raro y especial, reacciona muchas veces (cuando el empujón es muy específico).

Los autores calcularon exactamente cuántas veces ocurre cada uno de estos escenarios. Es como si dijeran: "De todos los empujones posibles, el 60% no te dará ninguna pista, el 30% te dará 2 pistas, y el 10% te dará 4". Tener este mapa completo es vital para los ingenieros de seguridad, porque les permite saber exactamente dónde están los puntos fuertes y débiles de su sistema.

3. ¿Por qué es importante?

Antes de este trabajo, conocíamos muchas puertas seguras, pero esta nueva puerta (con la fórmula $x^{3q-2}$ ) es única. Es como si hubieran encontrado una nueva especie de material de construcción que nadie había visto antes.

Es resistente a los ataques más comunes.
Es eficiente (no requiere mucha energía para funcionar, lo cual es bueno para dispositivos móviles).
Es diferente a todas las demás puertas conocidas, lo que significa que si un ladrón aprende a abrir las puertas viejas, no podrá usar esos trucos contra esta nueva.

En resumen

Los autores han creado y analizado una nueva "puerta giratoria" matemática para proteger nuestros datos. Han demostrado que, aunque no es perfecta (no es la puerta más segura posible, que sería la "perfecta"), es casi perfecta en la mayoría de los casos y tiene una resistencia muy alta (máximo 4 respuestas) ante los intentos de hackeo.

Han hecho un mapa detallado de cómo reacciona esta puerta ante cualquier ataque, lo que permite a los expertos en seguridad confiar plenamente en ella para proteger desde mensajes de WhatsApp hasta transacciones bancarias. Es un paso más en la carrera eterna entre los que construyen castillos y los que intentan robar sus tesoros.

A continuación presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Título del Artículo:

Una clase de funciones de potencia 4-uniformes diferencialmente locales con exponentes de Niho.

1. Planteamiento del Problema

El diseño de funciones criptográficas, específicamente cajas de sustitución (S-boxes) en cifrados de bloque, requiere funciones que resistan el análisis diferencial, una técnica de ataque poderosa introducida por Biham y Shamir. La resistencia se mide mediante la uniformidad diferencial ( $\Delta_F$ ) y el espectro diferencial de la función.

Contexto: Las funciones de potencia $F(x) = x^d$ sobre campos finitos son fundamentales debido a su bajo costo de implementación y buenas propiedades criptográficas.
El Desafío: Determinar el espectro diferencial (la distribución de las frecuencias de las entradas en la tabla de distribución de diferencias) de funciones de potencia es una tarea matemática compleja.
Enfoque Específico: El artículo se centra en funciones con exponentes de Niho (exponentes de la forma $d = s(q-1) + 1$ o variantes relacionadas con la subestructura del campo). Se sabe que ciertos exponentes de Niho producen funciones casi perfectas no lineales (APN) o uniformes diferencialmente bajas.
Objetivo: Investigar la función de potencia $F(x) = x^{3q-2}$ sobre el campo finito $\mathbb{F}_{q^2}$ , donde $q = 2^m$ y $m \ge 4$ es un entero par. El exponente $3q-2$ es un exponente de Niho. El objetivo es determinar su espectro diferencial completo y su uniformidad diferencial, especialmente en el contexto de funciones "localmente" uniformes (excluyendo casos triviales como $b=0, 1$ ).

2. Metodología

Los autores emplean una combinación de teoría de campos finitos, análisis de polinomios y conteo combinatorio de soluciones de sistemas de ecuaciones.

Análisis de la Estructura del Campo: Utilizan la descomposición única de elementos en $\mathbb{F}_{q^2}^*$ como producto de un elemento en $\mathbb{F}_q^*$ y un elemento en el subgrupo cíclico $U_{q+1} = \{x \in \mathbb{F}_{q^2} : x^{q+1} = 1\}$ .
Estudio de Trinomios: Analizan la cardinalidad de las imágenes inversas de un trinomio específico $f(x) = x^2 + x^{1-q} + x^{2-q}$ sobre $\mathbb{F}_{q^2}$ . Demostraron que para $c \notin \mathbb{F}_2$ , la ecuación $f(x)=c$ tiene a lo sumo 2 soluciones.
Conteo de Soluciones de Sistemas: Utilizan resultados previos sobre el número de soluciones de sistemas de ecuaciones de la forma $\sum x_i = 0$ y $\sum x_i^d = 0$ . Específicamente, emplean una secuencia recursiva $\tau_m$ definida por $\tau_1 = 1/2, \tau_2 = -7/4$ y $\tau_m = \frac{1}{2}\tau_{m-1} - \tau_{m-2}$ , que permite calcular el número de soluciones de sistemas de 4 variables ( $N_4$ ).
Reducción de la Ecuación Diferencial: Para analizar $\delta_F(1, b)$ , transforman la ecuación $(x+1)^d + x^d = b$ en un sistema lineal sobre el subgrupo $U_{q+1}$ , reduciendo el problema al estudio de la función $b = (t^2 + t^{1-q} + t^{2-q})^2$ .

3. Contribuciones Clave

Determinación del Espectro Diferencial Completo: Se proporciona la primera caracterización completa del espectro diferencial para la clase de funciones $F(x) = x^{3q-2}$ sobre $\mathbb{F}_{q^2}$ con $m$ par y $m \ge 4$ .
Clasificación de Uniformidad Local: Se demuestra que la función es localmente 4-uniforme diferencialmente. Esto significa que para todo $b \in \mathbb{F}_{q^2} \setminus \{0, 1\}$ , el número de soluciones a la ecuación diferencial es a lo sumo 4, a pesar de que la uniformidad diferencial global es $q$ (debido al caso $b=1$ ).
Inequivalencia CCZ: Se establece que esta función es CCZ-inequivalente a otras funciones de potencia con espectros diferenciales conocidos, lo que la convierte en una nueva clase de funciones criptográficas.
Fórmulas Cerradas: Se derivan fórmulas explícitas para las multiplicidades $\omega_i$ (el número de veces que aparece cada valor en el espectro diferencial) en función de $q$ y la secuencia $\tau_m$ .

4. Resultados Principales

Sea $F(x) = x^{3q-2}$ sobre $\mathbb{F}_{q^2}$ con $q=2^m$ y $m \ge 4$ par.

Uniformidad Diferencial Global: $\Delta_F = q$ . Esto se debe a que $\delta_F(1, 1) = q$ .
Comportamiento Local: Para todo $b \in \mathbb{F}_{q^2} \setminus \{1\}$ , se cumple que $\delta_F(1, b) \le 4$ .
Espectro Diferencial ( $DS_F$ ): El espectro está compuesto por los valores $\{0, 2, 4, q\}$ ${0, 2, 4, q}$ . Las multiplicidades $\omega_i$ $ω_{i}$ (número de $b$ $b$ tales que $\delta_F(1,b)=i$ $δ_{F} (1, b) = i$ ) son:
- $\omega_q = 1$ (correspondiente a $b=1$ ).
- $\omega_4 = \frac{1}{8}(q^2 - \tau_m q + 1)$ .
- $\omega_2 = \frac{1}{4}(q^2 + (\tau_m - 2)q - 1)$ .
- $\omega_0 = \frac{1}{8}(5q^2 + (-\tau_m + 4)q - 7)$ .
- Donde $\tau_m$ es el término general de la secuencia definida anteriormente.

Ejemplos Numéricos Verificados:
Los autores validaron sus resultados teóricos utilizando el software MAGMA para varios valores de $m$ :

$m=4$ ( $q=16$ ): $DS_F = [\omega_0=165, \omega_2=60, \omega_4=30, \omega_{16}=1]$ .
$m=6$ ( $q=64$ ): $DS_F = [\omega_0=2592, \omega_2=990, \omega_4=513, \omega_{64}=1]$ .
$m=8$ ( $q=256$ ): $DS_F = [\omega_0=41115, \omega_2=16200, \omega_4=8220, \omega_{256}=1]$ .

5. Significado e Impacto

Avance en Criptografía: El descubrimiento de nuevas funciones con baja uniformidad diferencial local es crucial para el diseño de S-boxes más seguros y eficientes. La propiedad de ser "localmente 4-uniforme" es altamente deseable, ya que la mayoría de los ataques diferenciales se enfocan en valores de $b$ distintos de los triviales.
Riqueza Teórica: Este trabajo amplía el conocimiento sobre los exponentes de Niho, conectando la teoría de códigos, la teoría de secuencias (correlación cruzada de secuencias m) y la criptografía.
Nuevas Direcciones: El artículo deja abierta la cuestión de determinar el espectro diferencial para otros valores de $q$ (como potencias de primos impares o $m$ impar), incentivando futuras investigaciones en este campo.

En resumen, el artículo presenta un análisis riguroso y completo de una nueva familia de funciones de potencia, proporcionando fórmulas exactas para su espectro diferencial y estableciendo su utilidad como componentes seguros en sistemas criptográficos simétricos.