Paper 2023/1759
Non-Interactive Zero-Knowledge Functional Proofs
Abstract
In this paper, we consider to generalize NIZK by empowering a prover to share a witness in a fine-grained manner with verifiers. Roughly, the prover is able to authorize a verifier to obtain extra information of witness, i.e., besides verifying the truth of the statement, the verifier can additionally obtain certain function of the witness from the accepting proof using a secret functional key provided by the prover. To fulfill these requirements, we introduce a new primitive called \emph{non-interactive zero-knowledge functional proofs (fNIZKs)}, and formalize its security notions. We provide a generic construction of fNIZK for any $\textsf{NP}$ relation $\mathcal{R}$, which enables the prover to share any function of the witness with a verifier. For a widely-used relation about set membership proof (implying range proof), we construct a concrete and efficient fNIZK, through new building blocks (set membership encryption and dual inner-product encryption), which might be of independent interest.
Metadata
- Available format(s)
- Category
- Cryptographic protocols
- Publication info
- A minor revision of an IACR publication in ASIACRYPT 2023
- Keywords
- non-interactive zero knowledge proofset membership proofrange proofinner-product encryption
- Contact author(s)
-
gxzeng @ cs hku hk
laijunzuo @ gmail com
zhahuang sjtu @ gmail com
linru zhang @ ntu edu sg
xiangning wang @ ntu edu sg
kwokyan lam @ ntu edu sg
hxwang @ ntu edu sg
cryptjweng @ gmail com - History
- 2023-11-14: approved
- 2023-11-14: received
- See all versions
- Short URL
- https://ia.cr/2023/1759
- License
-
CC BY
BibTeX
@misc{cryptoeprint:2023/1759, author = {Gongxian Zeng and Junzuo Lai and Zhengan Huang and Linru Zhang and Xiangning Wang and Kwok-Yan Lam and Huaxiong Wang and Jian Weng}, title = {Non-Interactive Zero-Knowledge Functional Proofs}, howpublished = {Cryptology {ePrint} Archive, Paper 2023/1759}, year = {2023}, url = {https://eprint.iacr.org/2023/1759} }