En 1998, Gerhard Frey propuso por primera vez el uso de variedades de traza cero con fines criptográficos. Estas variedades son subgrupos del grupo de clases divisoras en una curva hiperelíptica de género bajo definida sobre un cuerpo finito . Estos grupos se pueden utilizar para establecer criptografía asimétrica utilizando el problema del logaritmo discreto como primitivo criptográfico.
Las variedades de traza cero tienen un mejor rendimiento de multiplicación escalar que las curvas elípticas. Esto permite realizar cálculos aritméticos rápidos en estos grupos, lo que puede acelerar los cálculos con un factor 3 en comparación con las curvas elípticas y, por lo tanto, acelerar el criptosistema.
Otra ventaja es que, en el caso de grupos de tamaño criptográficamente relevante, el orden del grupo se puede calcular simplemente utilizando el polinomio característico del endomorfismo de Frobenius. Esto no sucede, por ejemplo, en la criptografía de curva elíptica , cuando el grupo de puntos de una curva elíptica sobre un cuerpo primo se utiliza con fines criptográficos.
Sin embargo, para representar un elemento de la variedad de traza cero se necesitan más bits en comparación con los elementos de curvas elípticas o hiperelípticas. Otra desventaja es el hecho de que es posible reducir la seguridad de la TZV en 1/6 de la longitud de bits mediante un ataque de cobertura.
Una curva hiperelíptica C de género g sobre un cuerpo primo donde q = p n ( p primo) de característica impar se define como
donde f mónica, deg( f ) = 2 g + 1 y deg( h ) ≤ g. La curva tiene al menos un punto de Weierstraß -racional.
La variedad jacobiana de C es para toda extensión finita isomorfa al grupo de clases ideal . Con la representación de Mumford es posible representar los elementos de con un par de polinomios [u, v] , donde u , v ∈ .
El endomorfismo de Frobenius σ se utiliza sobre un elemento [u, v] de para elevar la potencia de cada coeficiente de ese elemento a q : σ( [u, v] ) = [ u q (x), v q (x)]. El polinomio característico de este endomorfismo tiene la siguiente forma:
donde una yo en
Con el teorema de Hasse-Weil es posible recibir el orden de grupo de cualquier campo de extensión utilizando las raíces complejas τ i de χ( T ):
Sea D un elemento de C , entonces es posible definir un endomorfismo de , la llamada traza de D :
Basándose en este endomorfismo se puede reducir la variedad jacobiana a un subgrupo G con la propiedad de que cada elemento es de traza cero:
G es el núcleo del endomorfismo de traza y, por lo tanto, G es un grupo, la llamada (sub)variedad de traza cero (TZV) de .
La intersección de G y se produce por los elementos de torsión n de . Si el máximo común divisor de la intersección está vacío y se puede calcular el orden de grupo de G :
El grupo real que se utiliza en aplicaciones criptográficas es un subgrupo G 0 de G de un orden primo grande l . Este grupo puede ser el propio G. [1] [2]
Existen tres casos diferentes de relevancia criptográfica para TZV: [3]
La aritmética utilizada en el grupo TZV G 0 se basa en la aritmética para todo el grupo , pero es posible utilizar el endomorfismo de Frobenius σ para acelerar la multiplicación escalar. Esto se puede lograr si G 0 se genera por D de orden l, entonces σ(D) = sD , para algunos enteros s . Para los casos dados de TZV s se puede calcular de la siguiente manera, donde a i proviene del polinomio característico del endomorfismo de Frobenius :
Sabido esto, es posible sustituir cualquier multiplicación escalar mD (|m| ≤ l/2) por:
Con este truco, el producto escalar múltiple se puede reducir a aproximadamente 1/( n − 1) de las duplicaciones necesarias para calcular mD , si las constantes implícitas son lo suficientemente pequeñas. [3] [2]
La seguridad de los sistemas criptográficos basados en subvariedades de traza cero según los resultados de los artículos [2] [3] es comparable a la seguridad de las curvas hiperelípticas de género bajo g' sobre , donde p' ~ ( n − 1)( g/g' ) para |G| ~128 bits.
Para los casos donde n = 3, g = 2 y n = 5, g = 1 es posible reducir la seguridad a un máximo de 6 bits, donde |G| ~ 2 256 , porque no se puede estar seguro de que G esté contenido en un jacobiano de una curva de género 6. La seguridad de las curvas de género 4 para campos similares es mucho menos segura.
El ataque publicado en [4] muestra que el DLP en grupos de traza cero de género 2 sobre campos finitos de característica distinta de 2 o 3 y una extensión de campo de grado 3 se puede transformar en un DLP en un grupo de clase de grado 0 con género de como máximo 6 sobre el campo base. En este nuevo grupo de clase el DLP se puede atacar con los métodos de cálculo de índices. Esto conduce a una reducción de la longitud de bit en 1/6 .