Non-interactive zero-knowledge functional proofs

• Main Authors: Zeng, Gongxian, Lai, Junzuo, Huang, Zhengan, Zhang, Linru, Wang, Xiangning, Lam, Kwok-Yan, Wang, Huaxiong, Weng, Jian
• Other Authors: International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2023)
• Format: Conference or Workshop Item
• Language: English
• Published: 2023
• Subjects: Engineering::Computer science and engineering::Data::Data encryption; Non-Interactive Zero Knowledge Proof; Set Membership Proof; Range Proof; Inner-Product Encryption
• Online Access: https://hdl.handle.net/10356/172708
• Institution: Nanyang Technological University

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 additional...