GGH encryption scheme

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

Template:Short description The Goldreich–Goldwasser–Halevi (GGH) lattice-based cryptosystem is a broken asymmetric cryptosystem based on lattices. There is also a GGH signature scheme which hasn't been broken as of 2024.

The Goldreich–Goldwasser–Halevi (GGH) cryptosystem makes use of the fact that the closest vector problem can be a hard problem. This system was published in 1997 by Oded Goldreich, Shafi Goldwasser, and Shai Halevi, and uses a trapdoor one-way function which relies on the difficulty of lattice reduction. The idea included in this trapdoor function is that, given any basis for a lattice, it is easy to generate a vector which is close to a lattice point, for example taking a lattice point and adding a small error vector. But to return from this erroneous vector to the original lattice point a special basis is needed.

The GGH encryption scheme was cryptanalyzed (broken) in 1999 by Template:Ill. Nguyen and Oded Regev had cryptanalyzed the related GGH signature scheme in 2006.

Operation

GGH involves a private key and a public key.

The private key is a basis B of a lattice L with good properties (such as short nearly orthogonal vectors) and a unimodular matrix U.

The public key is another basis of the lattice L of the form B′=UB.

For some chosen M, the message space consists of the vector (m1,...,mn) in the range −M<mi<M.

Encryption

Given a message m=(m1,...,mn), error e, and a public key B′ compute

v=∑mibi′

In matrix notation this is

v=m⋅B′.

Remember m consists of integer values, and b′ is a lattice point, so v is also a lattice point. The ciphertext is then

c=v+e=m⋅B′+e

Decryption

To decrypt the ciphertext one computes

c⋅B−1=(m⋅B′+e)B−1=m⋅U⋅B⋅B−1+e⋅B−1=m⋅U+e⋅B−1

The Babai rounding technique will be used to remove the term e⋅B−1 as long as it is small enough. Finally compute

m=m⋅U⋅U−1

to get the message.

Example

Let L⊂ℝ2 be a lattice with the basis B and its inverse B−1

B=(7003) and B−1=(170013)

With

U=(2335) and
U−1=(5−3−32)

this gives

B′=UB=(1492115)

Let the message be m=(3,−7) and the error vector e=(1,−1). Then the ciphertext is

c=mB′+e=(−104,−79).

To decrypt one must compute

cB−1=(−1047,−793).

This is rounded to (−15,−26) and the message is recovered with

m=(−15,−26)U−1=(3,−7).

Security of the scheme

In 1999, Nguyen [1] showed that the GGH encryption scheme has a flaw in the design. He showed that every ciphertext reveals information about the plaintext and that the problem of decryption could be turned into a special closest vector problem much easier to solve than the general CVP.

Implementations

  • TheGaBr0/GGH – A Python implementation of the GGH cryptosystem and its optimized variant GGH-HNF.[2] The library includes key generation, encryption, decryption, basic lattice reduction techniques, and demonstrations of known attacks. It is intended for educational and research purposes and is available via PyPI.


References

<templatestyles src="Reflist/styles.css" />

  1. ↑ Phong Nguyen. Cryptanalysis of the Goldreich-Goldwasser-Halevi Cryptosystem from Crypto '97. CRYPTO, 1999
  2. ↑ Micciancio, Daniele. (2001). Improving Lattice Based Cryptosystems Using the Hermite Normal Form. LNCS. 2146. 10.1007/3-540-44670-2_11.

Script error: No such module "Check for unknown parameters".

Bibliography

  • Script error: No such module "citation/CS1".
  • Script error: No such module "citation/CS1".
  • Script error: No such module "Citation/CS1".Preliminary version in EUROCRYPT 2006.
  • Script error: No such module "citation/CS1".