ElGamal密码及其安全性证明

ElGamal 在 DDH下的 IND-CPA 安全性

有关DDH和ElGamal

Diffie-Hellman Protocol

有限循环群 $\mathbb{G}$ $\left(e.gG={\left(Z_p\right)}^{\ast }\right)$，其阶数为$n$

在$G$中取生成元$g$: $<g>=\left\{1,\mathrm{g},{\mathrm{g}}^2,{\mathrm{g}}^3,\dots ,{\mathrm{g}}^{\mathrm{n}-1}\right\}$,那么Diffie-Hellman Protocol如下图所示：

通过图述方式，Alice和Bob可以共享密钥$k_{AB}$。

ElGamal体制

ElGamal是基于Diffie-Hellman Protocal的公钥加密方案。其同样基于有限循环群$\mathbb{G}$和群中一固定的生成元$g$，那么ElGamal可由下图描述：

（个人认为这个图比我在很多地方看到的文字叙述更容易理解。）

其中Enc，Dec是认证加密系统的加密和解密算法（比如对称加密方法），Gen是密钥生成算法。在实际应用时，Gen一般为一个Hashing Function(哈希函数)，即$$k\leftarrow Hash(g^b,g^{ab})$$

Compute Diffie-Hellman Assumption

在上图，pk为我们选择的公钥，而其实你会发现$g^a$.$g^b$都是明文形式给出的。基于$g,g^a，g^b$，得到$g^{ab}$是计算困难的, 这就是Compute Diffie-Hellman Assumption(CDH)。

Decision Diffie-Hellman Assumption

考虑阶数为 q q