Sciweavers

Share
ASIACRYPT
2004
Springer

Improved Setup Assumptions for 3-Round Resettable Zero Knowledge

12 years 5 months ago
Improved Setup Assumptions for 3-Round Resettable Zero Knowledge
In the bare public-key model, introduced by Canetti et al. [STOC 2000], it is only assumed that each verifier deposits during a setup phase a public key in a file accessible by all users at all times. As pointed out by Micali and Reyzin [Crypto 2001], the notion of soundness in this model is more subtle and complex than in the classical model. Indeed Micali and Reyzin have introduced four different notions which are called (from weaker to stronger): one-time, sequential, concurrent and resettable soundness. In this paper we introduce the counter public-key model (the cPK model for short), an augmentation of the bare public-key model in which each verifier is equipped with a counter and, like in the original bare public-key model, the key of the verifier can be used for any polynomial number of interactions with provers. In the cPK model, we give a three-round concurrently-sound resettable zero-knowledge argument of membership for NP. Previously similar results were obtained by Mic...
Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Vis
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where ASIACRYPT
Authors Giovanni Di Crescenzo, Giuseppe Persiano, Ivan Visconti
Comments (0)
books