In this paper we show how to construct noninteractive zero knowledge proofs
for any NP statement under general (rather than number theoretic) assumpti
ons, and how to enable polynomially many provers to give polynomially many
such proofs based on a single random string. Our constructions can be used
in cryptographic applications in which the prover is restricted to polynomi
al time.