本篇内容
- Dlog
- CDH
- Dlog 和 CDH 的安全性
- Diffie-Hellman 密钥交换
Dlog
1. 概念
Dlog是离散对数(discrete logarithm)的简称,它定义为:对于给定的群 和 ,以及 ,找到满足 的 值。这个问题是一个重要的密码学问题,因为它是目前广泛使用的公钥加密系统和数字签名算法的基础。
具体来说,当 是一个生成元, 是循环群 的阶数, 时,若存在一个整数 ,使得 ,则整数 被称为 相对于基元 的离散对数,用数学符号表示为:
2. 离散对数问题
在离散对数问题(Discrete Logarithm Problem,DLOG Problem)中,给定一个生成元 和一个循环群 的阶 ,以及 中的一个元素 ,其中 是一个整数,但 的值未知。问题是要求解 的值,即计算 相对于基元 的离散对数。
Input: and for
Output:
CDH
CDH是“计算Diffie-Hellman”(Computational Diffie-Hellman)的缩写,它是一种基于离散对数问题的密钥交换协议。CDH问题指的是在给定生成元 、、 的情况下,计算 的难题。
Input: of order and , for
Output:
CDH问题是 Diffie-Hellman 密钥交换协议的基础,该协议可以让两个人在没有事先共享密钥的情况下建立起一个共享密钥,从而保证通信的机密性。具体来说,设 Alice 和 Bob 分别选择一个私钥 和 ,然后通过公共信道交换计算 和 ,最终他们可以利用这两个值计算出共享密钥 。由于 CDH 问题的难解性,即使攻击者拥有 、、 这三个值,也无法在多项式时间内计算出 ,因此 Diffie-Hellman 密钥交换协议是安全的。
Dlog 和 CDH 的安全性
1. Dlog
Dlog问题的困难性体现在它的计算复杂度上,具体来说,解决Dlog问题需要的时间随着循环群 的阶 的增长而指数级增加,即该问题是指数级时间复杂度的问题。
具体来说,如果攻击者想要暴力破解离散对数,需要遍历整个循环群 ,尝试每一个可能的 值,直到找到满足 的 值。但由于循环群 的阶 通常非常大,因此暴力破解的时间复杂度为 ,这在实际中是不可行的。
目前,最好的已知算法是基于数学上的数论方法,例如 Pohlig-Hellman算法、Pollard rho算法、Index Calculus算法等,目前最强的算法的时间复杂度 为 但对于大型的循环群,仍然需要相当长的时间才能解决Dlog问题。
因此,Dlog问题的困难性是公钥密码学中基于离散对数问题的安全性的基础,许多现代加密算法,例如 Diffie-Hellman密钥交换、ElGamal加密等都依赖于该问题的困难性。
2. CDH
CDH问题的困难性基于离散对数问题的困难性。具体来说,CDH问题是指在给定生成元 、、 的情况下,计算 的难题。
假设存在一个算法 ,可以在多项式时间内解决CDH问题,即对于任意给定的 、、,算法 可以在多项式时间内计算出 。那么我们可以利用算法 解决离散对数问题,即对于任意给定的 和 ,算法 可以在多项式时间内计算出 。这是因为我们可以把 表示为 ,然后利用算法 计算 的值,最终再计算出 的值。由于离散对数问题被认为是困难的,因此如果存在多项式时间算法解决CDH问题,那么离散对数问题也将被多项式时间内解决,这与离散对数问题的困难性相悖,因此CDH问题被认为是困难的。
需要注意的是,CDH问题的困难性是基于离散对数问题的困难性,但它们并不完全等价。对于某些具体的离散对数问题和CDH问题,可能存在不同的求解算法和复杂度分析方法。
Diffie-Hellman 密钥交换
当一人和另一人要进行加密通信时,他们需要一个共享密钥[1],以便在传输过程中对消息进行加密和解密。Diffie-Hellman密钥交换协议是一种常用的方法,用于在公共信道上安全地交换密钥。
过程
设 是一个阶为素数 的循环群。
Alice: , ; send to BobBob: , ; send to Alice; output
Alice: output
讲解
Alice 和 Bob 首先公开协商两个公共参数:一个质数 和一个生成元 ,这两个参数可以公开传输。
Alice 随机选择一个私有数 ,并计算出 ,然后将 传输给 Bob。
Bob 随机选择一个私有数 ,并计算出 ,然后将 传输给 Alice。
Alice 和 Bob 使用对方传输的公共值计算出共享密钥,即 Bob 计算 ,而 Alice 计算 。这样,Alice 和 Bob 都得到了相同的共享密钥 K,而其他人无法在没有私有数 和 的情况下计算出它。
因此,Diffie-Hellman协议可以实现在公共信道上安全地交换密钥,因为即使一个攻击者能够截获Alice和Bob之间传输的信息,他们也无法计算出密钥 ,除非他们知道私有数 和 。
- 1.相当于不分公钥和私钥的 RSA 加密 ↩