logo

Discrete Logarithms 📂Number Theory

Discrete Logarithms

Definition 1

Let’s say that for a prime number pp, the identity element in the Galois Field Fp:=Z/pZ\mathbb{F}_{p} := \mathbb{Z} / p \mathbb{Z} is 00.

Then, for a primitive root g0g \ne 0 of Fp\mathbb{F}_{p}, a function logg:FpZ/(p1)Z\log_{g} : \mathbb{F}_{p}^{ \ast } \to \mathbb{Z} / (p-1) \mathbb{Z} defined on a cyclic group Fp:=Fp{0}=<g>\mathbb{F}_{p} ^{ \ast } := \mathbb{F}_{p} \setminus \left\{ 0 \right\} = \left< g \right> that satisfies the following is called a Discrete Logarithm. glogg(h)h(modp) g^{ \log_{g} (h) } \equiv h \pmod{p}

Explanation

The existence of Fp\mathbb{F}_{p} ^{ \ast } is guaranteed by the Primitive Root Theorem.

In fact, the discrete logarithm becomes an isomorphism because it applies to all a,bFpa,b \in \mathbb{F}_{p}^{ \ast } such that logg(ab)=logg(a)+logg(b)\log_{g} (ab) = \log_{g} (a) + \log_{g} (b).

Unlike ordinary logs, the log in cryptography is useful because of the difficulty of its calculation, for given kk, gkx(modp) g^{k} \equiv x \pmod{p} finding xx that satisfies it is not too difficult using the method of successive squaring, however, for a given hh, gxh(modp) g^{x} \equiv h \pmod{p} finding xx that satisfies it is hard. This is called the Discrete Logarithm Problem, and it possesses essential properties of a cipher, making it widely used throughout cryptography.

Moreover, the discrete logarithm problem can also be generalized over group (G, )\left( G , \ast\ \right). The issue itself still asks g  g=h g \ast\ \cdots \ast\ g = h how many times one must find g gg \ast\ g to satisfy it. This implies that the limitation of cryptography is not in number theory.

See Also

Cryptographic Algorithms that Utilize the Difficulty of the Discrete Logarithm Problem

Attack Algorithms on the Discrete Logarithm Problem


  1. Hoffstein. (2008). An Introduction to Mathematical Cryptography: p63. ↩︎