We consider the question of constructing cryptographic pseudorandom generators (PRGs) in NC
, namely ones in which each bit of the output depends on just a constant number of input bits. Previous constructions of such PRGs were limited to stretching a seed of
) bits. This leaves open the existence of a PRG with a linear (let alone superlinear) stretch in NC
. In this work we study this question and obtain the following main results:
1. We show that the existence of a linear-stretch PRG in NC
implies non-trivial hardness of approximation results
without relying on PCP machinery
. In particular, that Max 3SAT is hard to approximate to within some constant.
2. We construct a linear-stretch PRG in NC
under a specific intractability assumption related to the hardness of decoding “sparsely generated” linear codes. Such an assumption was previously conjectured by Alekhnovich .
We note that Alekhnovich directly obtains hardness of approximation results from the latter assumption. Thus, we do not prove hardness of approximation under new
assumptions. However, our first result is motivated by the hope to prove hardness of approximation under more general or standard cryptographic assumptions, and the second result is independently motivated by cryptographic applications.