Merkle–Hellman knapsack cryptosystem

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

The Merkle–Hellman knapsack cryptosystem was one of the earliest public key cryptosystems. It was published by Ralph Merkle and Martin Hellman in 1978. A polynomial time attack was published by Adi Shamir in 1984. As a result, the cryptosystem is now considered insecure.[1]:465 [2]:190


The concept of public key cryptography was introduced by Whitfield Diffie and Martin Hellman in 1976[3]. At that time they proposed only the general concept of a "trapdoor function", a function that is computationally infeasible to calculate without some secret "trapdoor" information, but they had not yet found a practical example of such a function. Several specific public-key cryptosystems were then proposed by other researchers over the next few years, such as RSA in 1977 and Merkle-Hellman in 1978.[4]


Merkle–Hellman is a public key cryptosystem, meaning that two keys are used, a public key for encryption and a private key for decryption. It is based on the subset sum problem (a special case of the knapsack problem).[5] The problem is as follows: given a set of integers and an integer , find a subset of which sums to . In general, this problem is known to be NP-complete. However, if is superincreasing, meaning that each element of the set is greater than the sum of all the numbers in the set lesser than it, the problem is "easy" and solvable in polynomial time with a simple greedy algorithm.

In Merkle–Hellman, decrypting a message requires solving an apparently "hard" knapsack problem. The private key contains a superincreasing list of numbers , and the public key contains a non-superincreasing list of numbers , which is actually a "disguised" version of . The private key also contains some "trapdoor" information that can be used to transform a hard knapsack problem using into an easy knapsack problem using .

Unlike some other public key cryptosystems such as RSA, the two keys in Merkle-Hellman are not interchangeable; the private key cannot be used for encryption. Thus Merkle-Hellman is not directly usable for authentication by cryptographic signing, although Shamir published a variant that can be used for signing.[6]

Key generation[edit]

1. Choose a block size . Integers up to bits in length can be encrypted with this key.

2. Choose a random superincreasing sequence of positive integers

The superincreasing requirement means that , for .

3. Choose a random integer such that

4. Choose a random integer such that (that is, and are coprime).

5. Calculate the sequence

where .

The public key is and the private key is .


Let be an -bit message consisting of bits , with the highest order bit. Select each for which is nonzero, and add them together. Equivalently, calculate


The ciphertext is .


To decrypt a ciphertext , we must find the subset of which sums to . We do this by transforming the problem into one of finding a subset of . That problem can be solved in polynomial time since is superincreasing.

1. Calculate the modular inverse of modulo using the Extended Euclidean algorithm. The inverse will exist since is coprime to .

The computation of is independent of the message, and can be done just once when the private key is generated.

2. Calculate

3. Solve the subset sum problem for using the superincreasing sequence , by the simple greedy algorithm described below. Let be the resulting list of indexes of the elements of which sum to . (That is, .)

4. Construct the message with a 1 in each bit position and a 0 in all other bit positions:

Solving the subset sum problem[edit]

This simple greedy algorithm finds the subset of a superincreasing sequence which sums to , in polynomial time:

1. Initialize to an empty list.
2. Find the largest element in which is less than or equal to , say .
3. Subtract: .
4. Append to the list .
5. If is greater than zero, return to step 2.


Key generation[edit]

Create a key to encrypt 8-bit numbers by creating a random superincreasing sequence of 8 values:

The sum of these is 706, so select a larger value for :


Choose to be coprime to :


Construct the public key by multiplying each element in by modulo :

Hence .


Let the 8-bit message be . We multiply each bit by the corresponding number in and add the results:

  0 * 295
+ 1 * 592
+ 1 * 301
+ 0 * 14
+ 0 * 28
+ 0 * 353
+ 0 * 120
+ 1 * 236
    = 1129

The ciphertext is 1129.


To decrypt 1129, first use the Extended Euclidean Algorithm to find the modular inverse of mod :


Compute .

Use the greedy algorithm to decompose 372 into a sum of values:

Thus , and the list of indexes is . The message can now be computed as



In 1984 Adi Shamir published an attack on the Merkle-Hellman cryptosystem which can decrypt encrypted messages in polynomial time without using the private key. [7] The attack analyzes the public key and searches for a pair of numbers and such that is a superincreasing sequence. The pair found by the attack may not be equal to in the private key, but like that pair it can be used to transform a hard knapsack problem using into an easy problem using a superincreasing sequence. The attack operates solely on the public key; no access to encrypted messages is necessary.


  1. ^ Schneier, Bruce (1996). Applied Cryptography. New York: John Wiley & Sons. ISBN 0-471-12845-7.
  2. ^ Stinson, Douglas R. (1995). Cryptography: Theory and Practice. Boca Raton: CRC Press. ISBN 0-8493-8521-0.
  3. ^ Whitfield Diffie; Martin Hellman (1976). "New directions in cryptography". IEEE Transactions on Information Theory. 22 (6): 644. CiteSeerX doi:10.1109/TIT.1976.1055638.
  4. ^ Merkle, Ralph; Hellman, Martin (1978). "Hiding information and signatures in trapdoor knapsacks". IEEE Transactions on Information Theory. 24 (5): 525–530. doi:10.1109/TIT.1978.1055927.
  5. ^ Cherowitzo, William (2002-03-02). "Merkle-Hellman Knapsack Cryptosystem". Math 5410 - Modern Cryptology. Retrieved 2019-08-18.
  6. ^ Shamir, Adi (July 1978). "A Fast Signature Scheme". MIT Laboratory for Computer Science Technical Memorandum. 79 (MIT/LCS/TM–107): 15240. Bibcode:1978STIN...7915240S.
  7. ^ Shamir, Adi (1984). "A polynomial-time algorithm for breaking the basic Merkle - Hellman cryptosystem". IEEE Transactions on Information Theory. 30 (5): 699–704. doi:10.1109/SFCS.1982.5.