In cryptography, the ElGamal encryption system is an asymmetric key encryption algorithm for publickey cryptography which is based on the Diffie–Hellman key exchange. It was described by Taher Elgamal in 1984.^{[1]} ElGamal encryption is used in the free GNU Privacy Guard software, recent versions of PGP, and other cryptosystems. The Digital Signature Algorithm is a variant of the ElGamal signature scheme, which should not be confused with ElGamal encryption.
ElGamal encryption can be defined over any cyclic group $ G $. Its security depends upon the difficulty of a certain problem in $ G $ related to computing discrete logarithms (see below).
The algorithm Edit
ElGamal encryption consists of three components: the key generator, the encryption algorithm, and the decryption algorithm.
Key generation Edit
The key generator works as follows:
 Alice generates an efficient description of a multiplicative cyclic group $ G\, $ of order $ q\, $ with generator $ g\, $. See below for a discussion on the required properties of this group.
 Alice chooses a random $ x\, $ from $ \{0, \ldots, q1\} $.
 Alice computes $ h = g^x\, $.
 Alice publishes $ h\, $, along with the description of $ G, q, g\, $, as her public key. Alice retains $ x\, $ as her private key which must be kept secret.
Encryption Edit
The encryption algorithm works as follows: to encrypt a message $ m\, $ to Alice under her public key $ (G,q,g,h)\, $,
 Bob chooses a random $ y\, $ from $ \{0, \ldots, q1\} $, then calculates $ c_1=g^y\, $.
 Bob calculates the shared secret $ s=h^y\, $. Since a new $ s\, $ is computed for every message $ s\, $ is also called an ephemeral key.
The steps above can be computed ahead of time.
 Bob converts his secret message $ m\, $ into an element $ m'\, $ of $ G\, $.
 Bob calculates $ c_2=m'\cdot s $.
 Bob sends the ciphertext $ (c_1,c_2)=(g^y, m'\cdot h^y)=(g^y, m'\cdot(g^x)^y)\, $ to Alice.
Decryption Edit
The decryption algorithm works as follows: to decrypt a ciphertext $ (c_1,c_2)\, $ with her private key $ x\, $,
 Alice calculates the shared secret $ s=c_1^x\, $
 and then computes $ m'=c_2 \cdot s^{1}\, $ which she then converts back into the plaintext message $ m\, $.
The decryption algorithm produces the intended message, since
 $ c_2 \cdot s^{1} = m'\cdot h^y \cdot (g^{xy})^{1} = m'\cdot g^{xy} \cdot g^{xy} = m'. $
The ElGamal cryptosystem is usually used in a hybrid cryptosystem. I.e., the message itself is encrypted using a symmetric cryptosystem and ElGamal is then used to encrypt the key used for the symmetric cryptosystem. This allows encryption of messages that are longer than the size of the group $ G $.
Security Edit
The security of the ElGamal scheme depends on the properties of the underlying group $ G $ as well as any padding scheme used on the messages.
If the computational Diffie–Hellman assumption holds in the underlying cyclic group $ G $, then the encryption function is oneway^{[2]}.
If the decisional Diffie–Hellman assumption (DDH) holds in $ G $, then ElGamal achieves semantic security.^{[2]} Semantic security is not implied by the computational Diffie–Hellman assumption alone^{[3]}. See decisional Diffie–Hellman assumption for a discussion of groups where the assumption is believed to hold.
ElGamal encryption is unconditionally malleable, and therefore is not secure under chosen ciphertext attack. For example, given an encryption $ (c_1, c_2) $ of some (possibly unknown) message $ m $, one can easily construct a valid encryption $ (c_1, 2 c_2) $ of the message $ 2m $.
To achieve chosenciphertext security, the scheme must be further modified, or an appropriate padding scheme must be used. Depending on the modification, the DDH assumption may or may not be necessary.
Other schemes related to ElGamal which achieve security against chosen ciphertext attacks have also been proposed. The Cramer–Shoup cryptosystem is secure under chosen ciphertext attack assuming DDH holds for $ G $. Its proof does not use the random oracle model. Another proposed scheme is DHAES^{[3]}, whose proof requires an assumption that is weaker than the DDH assumption.
Efficiency Edit
ElGamal encryption is probabilistic, meaning that a single plaintext can be encrypted to many possible ciphertexts, with the consequence that a general ElGamal encryption produces a 2:1 expansion in size from plaintext to ciphertext.
Encryption under ElGamal requires two exponentiations; however, these exponentiations are independent of the message and can be computed ahead of time if need be. Decryption only requires one exponentiation:
Decryption Edit
The division by $ s\, $ can be avoided by using an alternative method for decryption. To decrypt a ciphertext $ (c_1,c_2)\, $ with Alice's private key $ x\, $,
 Alice calculates $ s'=c_1^{{qx}} $.
$ s'\, $ is the inverse of $ s\, $. This is a consequence of Lagrange's theorem, because
 $ s\cdot s' = g^x\cdot g^{qx} = g^q = 1 $.
 Alice then computes $ m'= c_2 \cdot s' $, which she then converts back into the plaintext message $ m\, $.
The decryption algorithm produces the intended message, since
 $ c_2 \cdot s' = c_2 \cdot s^{1} = m' $.
See alsoEdit
ReferencesEdit
 ↑ Template:Cite journal (conference version appeared in CRYPTO'84, pp. 10–18)
 ↑ ^{2.0} ^{2.1} CRYPTUTOR, "Elgamal encryption scheme"
 ↑ ^{3.0} ^{3.1} M. Abdalla, M. Bellare, P. Rogaway, "DHAES, An encryption scheme based on the Diffie–Hellman Problem" (Appendix A)

cs:ElGamal de:ElgamalKryptosystem es:Cifrado ElGamal fr:Cryptosystème de ElGamal it:ElGamal he:צופן אלגמאל lt:ElGamal kriptosistema nl:Elgamalencryptiesysteem ja:ElGamal暗号 pl:ElGamal pt:El Gamal ru:Схема ЭльГамаля fi:ElGamal sv:ElGamalkryptering tr:ElGamal