Disecrete Logarithm Problem, DLP

大きな素数pと、原始元g、任意のaを選んだときに離散対数を求めることは、実用的な時間内では解くことができない

gがZ^\ast_pの原始元のとき、任意のa\in Z^\ast_pに対しa\equiv g^x \bmod pとなるx\in\{0,1,\cdots,p-2\}が必ず存在する

このようなxをaの離散対数という

このaの離散対数を求める問題を離散対数問題という