P を素数とし、 g を P を法とする原始元とする。
y = g x mod P とするとき、 y, g, P から x (離散対数という) を求める問題。
P が大きいと 最新のコンピュータでも 離散対数問題を解くことはできません。