]> Cryptography - One-Way Functions

Asymptotic Definition

A one-way function F provides the following interface:

  • F.gen(t): +{0,1 } * is a randomized polynomial time algorithm in t such that given a security parameter t, it outputs a function description λ{0,1 } *.

  • F.in(λ) the input space to F λ

  • F.out(λ) the output space of F λ

  • F.eval(λ,X)=F λ(X):F.in(λ)F.out(λ)

Security: For a randomized algorithm A define:

Adv A,F(t)=Pr[F λ(A(F λ(x)))=F λ(X)λF.gen(t),XF.in(λ)]

Defintion: F is a one-way function if Adv A,F(t) is negligible.

A one-way permutation π is a one-way function where for all λ{0,1 } * with π.in(λ)=π.out(λ) and π λ is one-to-one.

Example: π RSA.gen(t): generate two t-bit primes p,q such that p=q=2 (mod3 ), output λ=N=pq.

π RSA.in(λ)=π RSA.out(λ)= N *

π RSA.eval(X)=X 3 modN

Problem: F DES defined by F DES(K)=DES K(0 ) is not an asymptotically one-way function, as it does not depend on security parameters. == Fixed Security Parameter Definition == Definition: f:{0,1 } n{0,1 } n is (t,ε)-one-way if there exists an "efficient" algorithm for evaluating f, and for all probabilistic t-time algorithms A, we have

Pr[F(A(F(X)))=F(X)X{0,1 } n]<ε.

Then F DES(K)=DES K(0 ) is (t,ε)-one-way for some t,ε. Note: One-way functions/permutations are considered "fast" primitives.

Amplification of One-wayness

Suppose f:{0,1 } n{0,1 } m is (t,ε) one-way.

Define: g 1 (x,y)=f(x)f(y),g 2 (x,y)=f(x)f(y).

Theorem: If f(x) is (t,ε)-one-way then g 1 (x,y) is ((ε 2 /4 )t,6 ε 2 )-one-way.

One-wayness of g 2 follows from Yao's XOR lemma.

Applications of One-way functions

Using the Blum-Micali Generator, one-way functions can be used to construct Pseudo Random Number Generators, which enable us to construct Pseudo Random Functions (by using the GGM method for example), which in turn can be used to make Pseudo Random Permutations via the Luby-Rackoff construction.

One-way functions also imply (inefficient) signature schemes.

Nonapplications of One-way functions

It is known that one-way functions are not sufficient for the following.