ON THE RELATIONSHIP BETWEEN STATISTICAL ZERO-KNOWLEDGE AND STATISTICAL RANDOMIZED ENCODINGS

摘要

Statistical Zero-knowledge proofs (Goldwasser et al. in SIAM J Comput, 1989) allow a computationally unbounded server to convince a computationally limited client that an input x is in a language. without revealing any additional information about x that the client cannot compute by herself. Randomized encoding (RE) of functions (Ishai & Kushilevitz in FOCS 2000) allows a computationally limited client to publish a single (randomized) message, Enc(x), from which the server learns whether x is in. and nothing else. It is known that SRE, the class of problems that admit statistically private randomized encoding with polynomial-time client and computationally unbounded server, is contained in the class SZK of problems that have statistical zero-knowledge proof. However, the exact relation between these two classes, and, in particular, the possibility of equivalence was left as an open problem. In this paper, we explore the relationship between SRE and SZK, and derive the following results:. In a non-uniform setting, statistical randomized encoding with one-side privacy (1RE) is equivalent to non-interactive statistical zero-knowledge (NISZK). These variants were studied in the past as natural relaxation/strengthening of the original notions. Our theorem shows that proving SRE = SZK is equivalent to showing that 1RE = SRE and SZK = NISZK. The latter is a well-known open problem (Goldreich et al. in CCC 1999). If SRE is non-trivial (not in BPP), then infinitely often oneway functions exist. The analog hypothesis for SZK yields only auxiliary-input one-way functions (Ostrovsky in Sixth Annual Structure in Complexity Theory Conference 1991), which is believed to be a significantly weaker notion.. If there exists an average-case hard language with perfect randomized encoding, then collision-resistance hash functions (CRH) exist. Again, a similar assumption for SZK implies only constantround statistically hiding commitments, a primitive which seems weaker than CRH. We believe that our results sharpen the relationship between SRE and SZK and illuminates the core differences between these two classes.