login

A hard-core predicate for all one-way functions

Published 1 January 1989
Oded Goldreich, Leonid A. Levin
Citations1,196

TL;DR

This paper proves a conjecture of [Levin 87, sec. 5.6.2] that the scalar product of Boolean vectors p, g, x is a hard-core of every one-way function ƒ, and extends to multiple (up to the logarithm of security) such bits and to any distribution on the x.

Abstract

A central tool in constructing pseudorandom generators, secure encryption functions, and in other areas are "hard-core" predicates b of functions (permutations) ƒ, discovered in [Blum Micali 82]. Such b(x) cannot be efficiently guessed (substantially better than 50-50) given only ƒ(x). Both b, ƒ are computable in polynomial time.

Keywords

Computer Science