Unconditional Characterizations of Non-interactive Zero-Knowledge

11 years 5 months ago
Unconditional Characterizations of Non-interactive Zero-Knowledge
Abstract. Non-interactive zero-knowledge (NIZK) proofs have been investigated in two models: the Public Parameter model and the Secret Parameter model. In the former, a public string is “ideally” chosen according to some efficiently samplable distribution and made available to both the Prover and Verifier. In the latter, the parties instead obtain correlated (possibly different) private strings. To add further choice, the definition of zero-knowledge in these settings can either be non-adaptive or adaptive. In this paper, we obtain several unconditional characterizations of computational, statistical and perfect NIZK for all combinations of these settings. Specifically, we show: In the secret parameter model, NIZK = NISZK = NIPZK = AM. In the public parameter model, for the non-adaptive definition, NISZK ⊆ AM ∩ coAM, for the adaptive one, it also holds that NISZK ⊂ BPP/1, for computational NIZK for “hard” languages, one-way functions are both necessary and sufficient...
Rafael Pass, Abhi Shelat
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Authors Rafael Pass, Abhi Shelat
Comments (0)