求离散对数问题——指数演算法

最新推荐文章于 2024-11-30 16:18:44 发布

国科大网安二班

最新推荐文章于 2024-11-30 16:18:44 发布

阅读量1.9k

点赞数 6

分类专栏：密码学算法文章标签： dlp 密码学

本文链接：https://blog.csdn.net/weixin_46395886/article/details/114802389

版权

密码学同时被 2 个专栏收录

26 篇文章

订阅专栏

算法

19 篇文章

订阅专栏

求离散对数问题——指数演算法

离散对数(DLP)问题：设有群 $(G,\cdot)$ ， $\alpha \in G$ 是一个 $n$ 阶元素。给定 $\beta \in \left< \alpha \right>$ ，找到指数 $a，0\le a\le n-1$ ，满足
$\alpha ^{a} =\beta$
这时 $a$ 也表达成： $a=\log_{\alpha}\beta$ .

前面介绍的求离散对数问题的算法（小步大步算法(BSGS)求解离散对数问题、Pohlig-Hellman算法求解离散对数问题、Pollard $\rho$ 算法求解离散对数问题、）都可以应用到任何循环群。这篇介绍的指数演算法只能用于计算 $\mathbb{Z}_{p}^*$ 中的离散对数问题(特别的，可以改进到适用 $\mathbb{F}_{2^{n}}^*$ 上的离散对数问题)。所以以下讨论是在群 $\mathbb{Z}_{p}^*$ 中展开的。

1、算法原理

指数演算分为两步：第一步预计算，第二步求解离散对数。

1.1预计算

假设我们事先取好一组由“小”素数组成的因子基 $B=\lbrace p_{1},p_{2},\cdots,p_{B}\rbrace$ ，其中 $p_{i}$ 都是小素数。不仅如此，我们还找到了 $C$ 个模 $p$ 的同余方程：
$\alpha ^{x_{j}}\equiv p_{1}^{a_{1j}} p_{2}^{a_{2j}}\cdots p_{B}^{a_{Bj}}\pmod{p},1\le j\le C$
这些式子等价于
$x_{j}\equiv a_{1j}\log_{\alpha}p_{1}+a_{2j}\log_{\alpha}p_{2}+\cdots+a_{Bj}\log_{\alpha}p_{B}\pmod{p-1},1\le j \le C$
因为 $p_{i}$ 都是小素数，我们可以将 $\alpha ^{x_{j}}$ 在因子基上做分解，所以 $a_{ij}（1\le i\le B,1\le j \le C）$ 我们都是可以得到的。这样根据线性同余方程组可以解出 $\log_{\alpha}p_{i}$ （ $1\le i\le B$ ）的值。

1.2 求解 $\log_{\alpha}\beta$

选择一个随机数 $r$ （ $1\le s \le p-2$ ），计算
$\gamma = \beta \alpha^{s}\bmod{p}$
然后在因子基 $B$ 中分解 $\gamma$ 。如果分解成功，得到
$\beta \alpha^{s} \equiv p_{1}^{c_{1}}p_{2}^{c_{2}}\cdots p_{B}^{c_{B}}\pmod{p}$
等价于
$\log_{\alpha}\beta + s \equiv c_{1}\log_{\alpha}p_{1}+c_{2}\log_{\alpha}p_{2}+\cdots+c_{B}\log_{\alpha}p_{B}\pmod{p-1}$
这个式子中，除了 $\log_{\alpha}\beta$ 之外，其余数都已知，很容易求解出结果。