💻 ciencias de la computación

Every keyed DNA operation is affine: algebraic limits of DNA diffusion layers in image encryption

Este artículo demuestra que cada operación de ADN con clave utilizada en el cifrado de imágenes es estructuralmente afín sobre el campo binario, lo que hace que tales capas de difusión sean algebraicamente débiles y vulnerables a ataques, mientras propone un reemplazo verificado y de costo cero para superar estas limitaciones inherentes.

Autores originales: Ihab Shakir, Hossein Kheiri

Publicado 2026-10-26

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Ihab Shakir, Hossein Kheiri

Artículo original bajo licencia CC BY 4.0 (https://creativecommons.org/licenses/by/4.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

En el mundo digital, proteger una imagen de miradas indiscretas a menudo implica desordenar sus datos de forma tan profunda que la imagen original se vuelve irreconocible. Durante más de quince años, un método popular para hacer esto ha tomado prestado un concepto de la biología: el ADN. Así como el ADN biológico utiliza cuatro bases químicas para almacenar instrucciones genéticas, estos esquemas de cifrado tratan las cuatro bases —Adenina, Citosina, Guanina y Timina— como un código secreto para los píxeles de la imagen. El proceso funciona traduciendo los números que componen una imagen en estas cuatro letras, mezclándolos con una clave caótica e impredecible, y luego traduciéndolos de nuevo. La esperanza ha sido que esta metáfora biológica añada una capa de complejidad que haga que la imagen sea imposible de descifrar. Los investigadores han pasado años diseñando estos sistemas, probándolos con controles estadísticos estándar para asegurar que las imágenes desordenadas parezcan aleatorias y que cambiar un solo píxel en la imagen original provoque un cambio masivo y caótico en la versión cifrada.

Sin embargo, un nuevo análisis sugiere que todo este campo se ha construido sobre un malentendido estructural. Un equipo de matemáticos de la Universidad de Tabriz ha descubierto que la misma característica que los diseñadores creían que hacía que estos sistemas fueran flexibles —la capacidad de reorganizar las cuatro letras del ADN en cualquier orden— es en realidad una debilidad fatal. Descubrieron que, debido a que solo hay cuatro letras en el alfabeto, cada forma posible de reorganizarlas sigue un patrón matemático simple y predecible. Es como si, sin importar cómo barajes un mazo de cuatro cartas, el resultado fuera siempre una variación de una única regla básica. Este hallazgo significa que, durante más de una década, los métodos de cifrado que dependen de esta capa de ADN han sido matemáticamente lineales, una propiedad que permite que sean vulnerados con técnicas elementales, independientemente de cuán complejo parezca el resto del sistema.

Los investigadores no solo señalaron un fallo en un diseño específico; examinaron todo el espacio de diseño. Analizaron cada una de las tablas de operaciones posibles que podrían utilizarse para mezclar las letras del ADN, cubriendo cientos de miles de variaciones, y las probaron bajo cada regla de codificación y método de programación posible. Su conclusión es absoluta: todas y cada una de estas operaciones son "afines", un término que describe una relación que es esencialmente una línea recta. En el mundo de la criptografía, las líneas rectas son peligrosas porque pueden resolverse fácilmente. El equipo demostró que, sin importar cuántas veces un diseñador repita el proceso o cómo desordene las reglas, el resultado sigue siendo una línea recta. Esto explica por qué tantos esquemas de cifrado diferentes, propuestos por distintos grupos a lo largo de los años, han caído ante ataques casi idénticos. El fallo no fue un accidente de una mala elección de diseño; fue una consecuencia inevitable del uso de un alfabeto con solo cuatro símbolos.

El estudio también investigó un enfoque más reciente donde los diseñadores intentaron solucionar esto mezclando dos partes diferentes de la imagen, con la esperanza de crear un efecto no lineal más complejo. Si bien este método eleva ligeramente la complejidad, los investigadores encontraron que choca con un techo difícil de superar. Incluso con dos entradas, la complejidad matemática no puede subir más allá de un nivel muy bajo. Además, las operaciones específicas utilizadas en los diseños recientes sufren un segundo problema: son "asociativas", lo que significa que el orden en que ocurre la mezcla no importa. Esta propiedad hace que toda la cadena de mezcla colapse en una suma simple, acumulando patrones ocultos que un atacante puede detectar sin necesidad de conocer la clave secreta. Los investigadores identificaron que la mitad de las operaciones actualmente en uso son completamente lineales, y la otra mitad, aunque ligeramente más compleja, sigue sin proporcionar la protección necesaria.

Para abordar estos problemas, el equipo propuso un reemplazo simple y sin coste adicional. Identificaron un conjunto específico de reglas de mezcla que no son asociativas y que permiten que la complejidad crezca a medida que la cadena de mezcla se alarga. Este nuevo método elimina los patrones ocultos y asegura que el sistema no dependa del azar para ser seguro. Cuando probaron este reemplazo en imágenes médicas reales, se verificó que era perfectamente reversible, lo que significa que la imagen original podía recuperarse exactamente, mientras que las propiedades de seguridad mejoraban significamente. Crucialmente, las pruebas estadísticas estándar utilizadas por el campo para juzgar la seguridad no pudieron distinguir entre los diseños fallidos y el mejorado, demostiendo que estas métricas comunes son ciegas a las debilidades algebraicas que realmente determinan la seguridad.

El artículo concluye que el campo ha estado buscando en el lugar equivocado la evidencia de fortaleza. Los investigadores argumentan que la comunidad debe dejar de confiar únicamente en los controles estadísticos y empezar a medir la complejidad algebraica de las operaciones de mezcla directamente. Esta medición puede realizarse en segundos y revelaría inmediatamente si un diseño es fundamentalmente seguro o está destinado al fracaso. Encontraron que, en más de cien artículos de diseño, el concepto de complejidad algebraica nunca se mencionó, mientras que el número de posibles arreglos del ADN se citó repetidamente como una señal de variedad. Los investigadores demostraron que este número, que los diseñadores creían que representaba libertad, en realidad representa una trampa. Al ir más allá del alfabeto de cuatro letras o al seleccionar cuidadosamente operaciones no asociativas, los diseñadores pueden escapar de esta trampa, pero la dependencia actual de la metáfora del ADN de cuatro letras ha creado una barrera estructural que ningún ajuste estadístico puede superar.

Resumen Técnico: "Cada operación de ADN con clave es afín: límites algebraicos de las capas de difusión de ADN en el cifrado de imágenes"

Planteamiento del Problema
Durante más de quince años, los esquemas de cifrado de imágenes han utilizado la codificación de ADN combinada con sistemas caóticos. A pesar de las extensas evaluaciones estadísticas (entropía, histogramas, correlación), estos esquemas han sido vulnerados repetidamente por ataques algebraicos sorprendentemente similares. La literatura ha tratado las 24 ( $4!$ ) reglas de codificación posibles como un inventario de opciones, pero no ha reconocido que este número corresponde al orden del grupo afín $AGL(2, 2)$ . En consecuencia, se ha pasado por alto la debilidad algebraica fundamental de la capa de difusión de ADN: su falta de no linealidad. El artículo aborda la cuestión estructural: qué grados algebraicos son alcanzables dentro del espacio de diseño de ADN, y por qué las criptanalíticas previas han tenido éxito de manera consistente.

Metodología
Los autores emplean un análisis algebraico estructural en lugar de un criptanálisis específico de un esquema. El estudio se fundamenta en las siguientes hipótesis de trabajo que reflejan las construcciones publicadas:

Alfabeto: La capa opera sobre un alfabeto de 4 símbolos ( $\Sigma = \{A, C, G, T\}$ ), identificado con $\mathbb{F}_2^2$ .
Operación: La difusión se realiza símbolo a símbolo mediante una tabla de operación de $4 \times 4$ .
Descriptibilidad: La operación debe ser invertible en el primer argumento (una biyección para claves fijas).
Equilibrio: En construcciones encadenadas, la operación debe ser equilibrada en el segundo argumento (una biyección para textos planos fijos).

La metodología consiste en:

Prueba de Teoría de Grupos: Comparar el tamaño del grupo simétrico $Sym(\Sigma)$ con el grupo afín $AGL(2, 2)$ para determinar la naturaleza de todas las biyecciones.
Enumeración Exhaustiva: Verificación mediante computación de las 331,776 tablas de operación admisibles y todas las 576 operaciones de cuadrados latinos (que satisfacen tanto la invertibilidad como el equilibrio).
Indicadores Algebraicos: Calcular el grado algebraico, la uniformidad diferencial (DU) y la no linealidad (NL) para todas las operaciones admisibles.
Análisis Comparativo: Evaluar diseños "encadenados" recientes (donde los bloques actuales dependen de los anteriores) y proponer una operación de reemplazo de coste cero.
Análisis de Corpus: Una revisión bibliométrica de 154 documentos para evaluar la adopción de métricas algebraicas en el campo.

Contribuciones Clave

Teorema de Imposibilidad (Teorema 1): El artículo demuestra que toda operación de ADN con clave descriptible es afín. Dado que $|AGL(2, 2)| = 24 = |Sym(\Sigma)|$ , toda biyección del alfabeto de ADN es una aplicación afín sobre $\mathbb{F}_2$ . Por consiguiente, cualquier composición de reglas de codificación, programas de claves y rondas resulta en una transformación afín con grado algebraico 1. Esto explica por qué los ataques previos (por ejemplo, [4, 13, 14]) tuvieron éxito; no estaban explotando fallos específicos, sino la estructura inherente del espacio de diseño.
Teorema del Techo (Teorema 6): Los autores investigan la única vía de escape potencial: el uso de dos operandos dependientes del texto plano (encadenamiento). Demuestran que, incluso en este caso, el grado algebraico está limitado a 2. Además, para todas las 576 operaciones admisibles (cuadrados latinos de orden 4), la uniformidad diferencial está fijada en su peor valor posible ( $DU=16$ ) y la no linealidad es cero ( $NL=0$ ). Ninguna elección de operación puede mejorar estas métricas.
Teorema del Límite (Teorema 8): Se identifica la obstrucción como una propiedad del tamaño del alfabeto, no de las operaciones. El artículo demuestra que $AGL(m, 2) = Sym(\Sigma_m)$ si y solo si $m \le 2$ . Así, el alfabeto de ADN de 4 letras es el mayor tamaño para el cual cada biyección es afín. Alfabetos más grandes (por ejemplo, de 8 letras) permiten abundantes sustituciones no afines.
Diagnóstico de Diseños Encadenados: El artículo analiza cuatro esquemas recientes que utilizan una construcción encadenada. Identifica dos defectos:
- Menú Afín: La mitad del menú de operaciones (XOR, XNOR) sigue siendo afín incluso con dos operandos, dejando la no linealidad de la cadena al azar.
- Colapso Asociativo: El uso de operaciones asociativas (como la suma en $\mathbb{Z}_4$ ) provoca que la cadena colapse en una suma de prefijos, acumulando $2^k - 1$ estructuras lineales independientes de la imagen.
Reemplazo de Coste Cero: Se propone una operación específica no asociativa de grado 2. Mantiene el mismo tamaño de tabla y coste de decodificación, pero asegura que el grado algebraico de la cadena crezca con su longitud y limite las estructuras lineales a una constante (3), eliminando los defectos específicos de los diseños asociativos.
Validación Experimental: Los autores demuestran que las baterías estadísticas estándar (entropía, NPCR, UACI) son ciegas a estas distinciones algebraicas. El "efecto avalancha" reportado en la literatura se muestra como un artefacto del sembrado de hash de la imagen (que cambia completamente la secuencia de clave) en lugar de ser una propiedad de la propia capa de difusión. Cuando la semilla es fija, la difusión de la capa es insignificante.

Resultados

Afinidad: Todas las 331,776 operaciones de ADN con clave admisibles son afines (grado 1).
Límites de Encadenamiento: Incluso con dos operandos de texto plano, el grado máximo es 2, y $DU=16, NL=0$ para todas las operaciones admisibles.
Estructuras Lineales: El encadenamiento asociativo acumula $2^k - 1$ estructuras lineales, mientras que el reemplazo no asociativo propuesto las mantiene constantes en 3.
Ceguera Estadística: Las tres variantes (publicada, restringida, de reemplazo) son estadísticamente indistinguibles utilizando métricas estándar, a pesar de tener propiedades algebraicas muy diferentes.
Brecha de Corpus: En una revisión de 122 artículos de diseño, los términos "grado algebraico", "uniformidad diferencial" y "debilidad algebraica" aparecen cero veces. El conocimiento existe en las obras de referencia, pero no ha llegado a la comunidad de diseño.

Significancia y Reivindicaciones
El artículo sostiene que el grado algebraico es la métrica crítica que falta en la evaluación de la criptografía basada en ADN. Argumenta que:

Los fallos repetidos de los esquemas de ADN no son accidentes, sino consecuencias inevitables de la estructura algebraica del alfabeto de 4 letras.
La batería estadística estándar es insuficiente para detectar estas debilidades estructurales.
El "certificado" propuesto (calcular el grado, la DU y la NL) es computacionalmente barato (segundos) y debería incluirse en las tablas de evaluación.
El campo debe o bien restringir/reemplazar las operaciones dentro del alfabeto de 4 letras (mejora, no reparación) o abandonar por completo el alfabeto de 4 letras para lograr la no linealidad.

Los autores son modestos en sus afirmaciones, declarando que la operación de reemplazo propuesta es una "mejora, no una reparación", ya que los límites fundamentales del alfabeto de 4 letras (grado $\le 2$ , $DU=16$ , $NL=0$ ) no pueden superarse sin cambiar el tamaño del alfabeto. El trabajo sirve como un diagnóstico desde el lado del diseño más que como un nuevo vector de ataque.

Resumen Técnico: "Cada operación de ADN con clave es afín: límites algebraicos de las capas de difusión de ADN en el cifrado de imágenes"

Más como este