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
• 其他作者: International Conference on the Theory and Application of Cryptology and Information Security (ASIACRYPT 2023)
• 格式: Conference or Workshop Item
• 語言: English
• 出版: 2023
• 主題: Engineering::Computer science and engineering::Data::Data encryption; Non-Interactive Zero Knowledge Proof; Set Membership Proof; Range Proof; Inner-Product Encryption
• 在線閱讀: https://hdl.handle.net/10356/172708
• 機構: 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...