离散对数问题之 Pohlig-Hellman algorithm

introduction

在解决非广义离散对数问题(DLP)$g^x=h\mathrm{m}\mathrm{o}\mathrm{d}p$的时候,我们要求p是一个（大）素数以至于能抵抗CRT的攻击，但考虑到欧拉定理在p群中的作用，任意一个元素的阶必定整除p-1，而p-1必定是合数，PHA算法考虑p-1的质数唯一分解.

Pohlig-Hellman Algorithm 从任意阶到素数幂阶

Theorem 1: 令G是一个群，g$\in$G满足ord(g)=$q^e$其中q为某个奇质数，假设我们能在$O(S_{q^e})$步中解决上述DLP问题(粗略地说枚举取$S_{q^e}=q^e$,碰撞取$S_{q^{0.5e}}$)，那么当$$ord(g)=N=q_1^{e_1}{q}_2^{e_2}{q}_3^{e_3}\dots q_t^{e_t}$$时，我们可以解决DLP问题在$$O(S_{q_1^{e_1}}+S_{q_2^{e_2}}+\dots +S_{q_t^{e_t}}+LogN)$$步中.
Proof: 我们第一步令$$g_i=g^{N/q_i^{e_i}},h_i=h^{N/q}$$