Baby-step giant-step

En teoría de grupos, el algoritmo baby-step giant-step (también conocido como algoritmo de Shanks[1]​) es un método para calcular el logaritmo discreto de un elemento en un grupo. Es un algoritmo genérico, es decir que funciona para cualquier grupo, siempre que conozcamos el orden del mismo (o una buena cota para él).

El problema del logaritmo discreto es de fundamental importancia para el área de la criptografía asimétrica . Muchos de los sistemas criptográficos más utilizados (por ejemplo el cifrado ElGamal) se basan en el supuesto de que el logaritmo discreto es extremadamente difícil de calcular.

El algoritmo

Sea un grupo G con orden k, g un elemento de G, h en el subgrupo generado por g. La salida del algoritmo será un x<k tal que g^x=h.

1. Sea ${\displaystyle m=\left\lceil {\sqrt {(k-1)}}\ \right\rceil }$, donde ${\displaystyle \lceil \ \rceil }$ indica la función techo.
2. Calcular ${\displaystyle \alpha _{0}=e_{G},\ \alpha _{1}=g^{m},\ \alpha _{2}=g^{2m},\ldots ,\alpha _{m-1}=g^{(m-1)m}}$. Armar y ordenar la lista ${\displaystyle L=\{(1,0);(\alpha _{1},1),(\alpha _{2},2),(\alpha _{3},3),\ldots \}}$.
3. Calcular ${\displaystyle \beta _{0}=h,\beta _{1}=hg^{-1},\beta _{2}=h(g^{-1})^{2},...}$ hasta encontrar ${\displaystyle \beta _{i}}$ que sea igual a algún ${\displaystyle \alpha _{j}}$ de la lista L.
4. Si ${\displaystyle \beta _{i}=\alpha _{j}}$ entonces la salida del algoritmo será ${\displaystyle n=jm+i}$.

Explicación

¿Por qué la respuesta dada por el algoritmo es correcta? Si ${\displaystyle \beta _{i}=\alpha _{j}}$ significa que ${\displaystyle g^{jm}=hg^{-i}}$, de donde se deduce que ${\displaystyle g^{jm+i}=h}$.

¿Por qué el algoritmo siempre da una respuesta? Sea ${\displaystyle h=g^{n}}$. Dividimos n entre m y obtenemos n=qm+r, con ${\displaystyle 0\leq r<m}$ (por definición del resto) y ${\displaystyle 0\leq q<m}$ (porque ${\displaystyle m^{2}\geq k>n}$). O sea: ${\displaystyle g^{qm+r}=h}$, de donde ${\displaystyle \alpha _{q}=g^{qm}=g^{-r}h=\beta _{r}}$.

Este algoritmo mejora el método de "fuerza bruta". Mientras que este último lleva un tiempo de orden O(k), el "baby-step giant-step" tiene un orden ${\displaystyle O({\sqrt {k}})}$.

Ejemplo

Tomemos G como el grupo multiplicativo de los enteros módulo 37. Queremos hallar n tal que 5^n = 13 (mod 37). Utilicemos el algoritmo de Shanks.

1. ${\displaystyle m=\lceil {\sqrt {36}}\ \rceil =6}$,

2. Calculamos con esto:

${\displaystyle \alpha _{1}=5^{6}\equiv 11\ ({\rm {mod\ 37)}}}$

${\displaystyle \alpha _{2}=5^{12}\equiv 11\times 11\equiv 10\ ({\rm {mod\ 37),}}}$

${\displaystyle \alpha _{3}=5^{18}\equiv 10\times 11\equiv 36\ ({\rm {mod\ 37),}}}$

${\displaystyle \alpha _{4}=5^{24}\equiv 36\times 11\equiv 26\ ({\rm {mod\ 37),}}}$

${\displaystyle \alpha _{5}=5^{30}\equiv 26\times 11\equiv 27\ ({\rm {mod\ 37)}}}$.

Armamos la lista: ${\displaystyle L=\{(1,0),(10,2),(11,1),(26,4),(27,5),(36,3)\}}$.

3. La inversa de 5 módulo 37 es 15. O sea que ${\displaystyle \beta _{1}=13\times 15\equiv 10\ ({\rm {mod\ 37)}}}$, que coincide con ${\displaystyle \alpha _{2}}$.

4. El n buscado es ${\displaystyle 2\times 6+1=13}$.

Referencias

1. Stinson, Douglas (2006). «Shanks' algorithm». Cryptography: theory and practice (en inglés) (tercera edición). Chapman & Hall/ CRC. pp. 236-238. ISBN 978-1-58488-508-5. 

• Datos: Q797983