Paper 2020/629
Dual-Mode NIZKs: Possibility and Impossibility Results for Property Transfer
Vivek Arte and Mihir Bellare
Abstract
This paper formulates, and studies, the problem of property transference in dual-mode NIZKs. We say that a property P (such as soundness, ZK or WI) transfers, if, one of the modes having P allows us to prove that the other mode has the computational analogue of P, as a consequence of nothing but the indistinguishability of the CRSs in the two modes. Our most interesting finding is negative; we show by counter-example that the form of soundness that seems most important for applications fails to transfer. On the positive side, we develop a general framework that allows us to show that zero knowledge, witness indistinguishability, extractability and weaker forms of soundness do transfer. Our treatment covers conventional, designated-verifier and designated-prover NIZKs (single and dual-mode) in a unified way.
Metadata
- Available format(s)
- Publication info
- Preprint. MINOR revision.
- Keywords
- non-interactive zero knowledgedual-mode proof systems
- Contact author(s)
- varte @ ucsd edu,mihir @ eng ucsd edu
- History
- 2021-02-26: last of 2 revisions
- 2020-06-03: received
- See all versions
- Short URL
- https://ia.cr/2020/629
- License
-
CC BY