Skip to Main content Skip to Navigation
Conference papers

Non-interactive Zaps of Knowledge

Georg Fuchsbauer 1 Michele Orrù 1
1 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Inria de Paris, CNRS - Centre National de la Recherche Scientifique : UMR 8548, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : While non-interactive zero-knowledge (NIZK) proofs require trusted parameters, Groth, Ostrovsky and Sahai constructed non-interactive witness-indistinguishable (NIWI) proofs without any setup; they called their scheme a non-interactive zap. More recently, Bellare, Fuchsbauer and Scafuro investigated the security of NIZK in the face of parameter subversion and observe that NI zaps provide subversion-resistant soundness and WI. Arguments of knowledge prove that not only the statement is true, but also that the prover knows a witness for it, which is essential for anonymous identification. We present the first NIWI argument of knowledge without parameters, i.e., a NI zap of knowledge. Consequently, our scheme is also the first subversion-resistant knowledge-sound proof system, a notion recently proposed by Fuchsbauer.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01870005
Contributor : Georg Fuchsbauer <>
Submitted on : Friday, September 7, 2018 - 9:59:13 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM

Identifiers

Collections

Citation

Georg Fuchsbauer, Michele Orrù. Non-interactive Zaps of Knowledge. ACNS 2018 - 16th International Conference on Applied Cryptography and Network Security, Jul 2018, Leuven, Belgium. pp.44-62, ⟨10.1007/978-3-319-93387-0_3⟩. ⟨hal-01870005⟩

Share

Metrics

Record views

90