The Diffie–Hellman problem (DHP) is a mathematical problem first proposed by Whitfield Diffie and Martin Hellman in the context of cryptography. The motivation for this problem is that many security systems use mathematical operations that are fast to compute, but hard to reverse. For example, they enable encrypting a message, but reversing the encryption is difficult. If solving the DHP were easy, these systems would be easily broken.
The Diffie–Hellman problem is stated informally as follows:
- Given an element g and the values of gx and gy, what is the value of gxy?
For example, in the Diffie-Hellman key exchange, an eavesdropper observes gx and gy exchanged as part of the protocol, and the two parties both compute the shared key gxy. A fast means of solving the DHP would allow an eavesdropper to violate the privacy of the Diffie-Hellman key exchange and many of its variants, including ElGamal encryption.
In cryptography, for certain groups, it is assumed that the DHP is hard, and this is often called the Diffie–Hellman assumption. The problem has survived scrutiny for a few decades and no "easy" solution has yet been publicized.
As of 2006, the most efficient means known to solve the DHP is to solve the discrete logarithm problem (DLP), which is to find x given g and gx. In fact, significant progress (by den Boer, Maurer, Wolf, Boneh and Lipton) has been made towards showing that over many groups the DHP is almost as hard as the DLP. There is no proof to date that either the DHP (or the DLP) is a hard problem, except in generic groups (by Nechaev and Shoup).
Many variants of the Diffie–Hellman problem have been considered. The most significant variant is the decisional Diffie–Hellman problem (DDHP), which is to distinguish gxy from a random group element, given g, gx, and gy. Sometimes the DHP is called the computational Diffie–Hellman problem (CDHP) to more clearly distinguish it from the DDHP. Recently groups with pairings have become popular, and in these groups the DDHP is easy, yet the DHP is still assumed to be hard. For less significant variants of the DHP see the references.
- B. den Boer, Diffie–Hellman is as strong as discrete log for certain primes in Advances in Cryptology – CRYPTO 88, Lecture Notes in Computer Science 403, Springer, p. 530, 1988.
- U. M. Maurer and S. Wolf, Diffie–Hellman oracle in Advances in Cryptology – CRYPTO 96, (N. Koblitz, ed.), Lecture Notes in Computer Science 1070, Springer, pp. 268–282, 1996.
- Ueli M. Maurer and Stefan Wolf (March 2000). "The Diffie–Hellman Protocol". Designs, Codes, and Cryptography (Springer-Verlag) 19 (2–3): 141–171. Retrieved 2008-09-28.
- D. Boneh and R. J. Lipton, Algorithms for black-box fields and their application to cryptotography in Advances in Cryptology – CRYPTO 96, (N. Koblitz, ed.), Lecture Notes in Computer Science 1070, Springer, pp. 283–297, 1996.
- A. Muzereau, N. P. Smart and F. Vercauteran, The equivalence between the DHP and DLP for ellipti curves used in practical applications, LMS J. Comput. Math., 7, pp. 50–72, 2004. See [www.lms.ac.uk].
- D. R. L. Brown and R. P. Gallant, The Static Diffie–Hellman Problem, IACR ePrint 2004/306.
- V. I. Nechaev, Complexity of a determinate algorithm for the discrete logarithm, Mathematical Notes, 55 (2), pp. 165–172, 1994.
- V. Shoup, Lower bounds for discrete logarithms and related problems in Advances in Cryptology – EUROCRYPT 97, (W. Fumy, ed.), Lecture Notes in Computer Science 1233, Springer, pp. 256–266, 1997.
- Feng Bao; Deng, Robert; Huafei Zhu (2003). "Variations of Diffie–Hellman problem". ICICS '03 (Springer-Verlag) 2836: 301–312.
- Dan Boneh (1998). "The Decision Diffie–Hellman Problem". ANTS-III: Proceedings of the Third International Symposium on Algorithmic Number Theory (Springer-Verlag): 48–63. doi:10.1007/bfb0054851. Retrieved 2005-11-23.
- Emmanuel Bresson and Olivier Chevassut and David Pointcheval (2003). "The Group Diffie–Hellman Problems". SAC '02: Revised Papers from the 9th Annual International Workshop on Selected Areas in Cryptography (Springer-Verlag): 325–338. doi:10.1007/3-540-36492-7_21. Retrieved 2005-11-23.
- Eli Biham and Dan Boneh and Omer Reingold (1999). "Breaking generalized Diffie–Hellman modulo a composite is no easier than factoring". Information Processing Letters (Elsevier North-Holland) 70 (2): 83–87. doi:10.1016/S0020-0190(99)00047-2. Retrieved 2005-11-23.
- Michael Steiner and Gene Tsudik and Michael Waidner (1996). "Diffie–Hellman Key Distribution Extended to Group Communication". ACM Conference on Computer and Communications Security: 31–37. doi:10.1145/238168.238182. Retrieved 2005-11-23.
- Whitfield Diffie and Martin E. Hellman (November 1976). "New Directions in Cryptography". IEEE Transactions on Information Theory. IT-22 (6): 644–654. Retrieved 2005-11-23.