International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Kwok-Yan Lam

Publications

Year
Venue
Title
2023
ASIACRYPT
Non-Interactive Zero-Knowledge Functional Proofs
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 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 $\NP$ relation $\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.
2001
JOFC
1999
ASIACRYPT
1999
CRYPTO
1999
PKC
1998
ASIACRYPT

Service

Asiacrypt 2001 Program committee
Asiacrypt 1999 Program chair
Asiacrypt 1998 Program committee