離散対数問題

theory

• 記号は DDH assumption 参照

定義

$(G,|G|,g)\leftarrow \mathcal{G}(1^{\kappa }),x\leftarrow U(\cdots ,|G|),h=g^x$ とする.

$(1^{\kappa },G,|G|,g,h)$ から $x$ を求める問題を離散対数問題という.