Non-interactive zero-knowledge functional proofs

• المؤلفون الرئيسيون: 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

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