Trapdoor function

The idea of trapdoor function. A trapdoor function f with its trapdoor t can be generated by an algorithm Gen. f can be efficiently computed, i.e., in probabilistic polynomial time. However, the computation of the inverse of f is generally hard, unless the trapdoor t is given.[1]

A trapdoor function is a function that is easy to compute in one direction, yet difficult to compute in the opposite direction (finding its inverse) without special information, called the "trapdoor". Trapdoor functions are widely used in cryptography.

In mathematical terms, if f is a trapdoor function, then there exists some secret information y, such that given f(x) and y, it is easy to compute x. Consider a padlock and its key. It is trivial to change the padlock from open to closed without using the key, by pushing the shackle into the lock mechanism. Opening the padlock easily, however, requires the key to be used. Here the key is the trapdoor and the padlock is the trapdoor function.

An example of a simple mathematical trapdoor is "6895601 is the product of two prime numbers. What are those numbers?" A typical solution would be to try dividing 6895601 by several prime numbers until finding the answer. However, if one is told that 1931 is one of the numbers, one can find the answer by entering "6895601 ÷ 1931" into any calculator. This example is not a sturdy trapdoor function – modern computers can guess all of the possible answers within a second – but this sample problem could be improved by using the product of two much larger primes.

Trapdoor functions came to prominence in cryptography in the mid-1970s with the publication of asymmetric (or public-key) encryption techniques by Diffie, Hellman, and Merkle. Indeed, Diffie & Hellman (1976) coined the term. Several function classes have been proposed, and it soon became obvious that trapdoor functions are harder to find than was initially thought. For example, an early suggestion was to use schemes based on the subset sum problem. This turned out – rather quickly – to be unsuitable.

As of 2004, the best known trapdoor function (family) candidates are the RSA and Rabin families of functions. Both are written as exponentiation modulo a composite number, and both are related to the problem of prime factorization.

Functions related to the hardness of the discrete logarithm problem (either modulo a prime or in a group defined over an elliptic curve) are not known to be trapdoor functions, because there is no known "trapdoor" information about the group that enables the efficient computation of discrete logarithms.

A trapdoor in cryptography has the very specific aforementioned meaning and is not to be confused with a backdoor (these are frequently used interchangeably, which is incorrect). A backdoor is a deliberate mechanism that is added to a cryptographic algorithm (e.g., a key pair generation algorithm, digital signing algorithm, etc.) or operating system, for example, that permits one or more unauthorized parties to bypass or subvert the security of the system in some fashion.

Definition

A trapdoor function is a collection of one-way functions { fk : DkRk } (kK), in which all of K, Dk, Rk are subsets of binary strings {0, 1}*, satisfying the following conditions:

If each function in the collection above is a one-way permutation, then the collection is also called a trapdoor permutation.[5]

Examples

In the following two examples, we always assume it is difficult to factorize a large composite number (see Integer factorization).

RSA Assumption

In this example, having the inverse of e modulo φ(n), the Euler's totient function of n, is the trapdoor:

If the factorization is known, φ(n) can be computed, so then the inverse d of e can be computed d = e−1 mod φ(n), and then given y = f(x) we can find x = yd mod n = xed mod n = x mod n. Its hardness follows from RSA assumption.[6]

Rabin's Quadratic Residue Assumption

Let n be a large composite number such that n = pq, where p and q are large primes such that p ≡ 3 mod 4, q ≡ 3 mod 4, and kept confidential to adversarial. The problem is to compute z given a such that az2 mod n. The trapdoor is the factorization of n. With trapdoor, the solutions of z can be given as cx + dy, cx - dy, - cx + dy, - cx - dy, where ax2 mod p, ay2 mod q, c ≡ 1 mod p, c ≡ 0 mod q, d ≡ 0 mod p, d ≡ 1 mod q. See Chinese remainder theorem for more details. Note that given primes p and q, we can find xa(p+1)/4 mod p and ya(q+1)/4 mod q. Here the conditions p ≡ 3 mod 4 and q ≡ 3 mod 4 guarantee that the solutions x and y can be well defined.[7]

See also

Notes

  1. Ostrovsky, pp. 6-9
  2. Pass's Notes, def. 56.1
  3. Goldwasser's lecture notes, def. 2.16
  4. Ostrovsky, pp. 6-10, def. 11
  5. Pass's notes, def 56.1; Dodis's def 7, lecture 1.
  6. Goldwasser's lecture notes, 2.3.2; Lindell's notes, pp. 17, Ex. 1.
  7. Goldwasser's lecture notes, 2.3.4

References

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.