Loading web-font TeX/Caligraphic/Regular
On the Impossibility of NIZKs for Disjunctive Languages From Commit-and-Prove NIZKs | IEEE Journals & Magazine | IEEE Xplore

On the Impossibility of NIZKs for Disjunctive Languages From Commit-and-Prove NIZKs


NIZK.

Abstract:

This paper considers the problem of expanding a language class that can be proven by a non-interactive zero-knowledge proof system (NIZK) in a black-box manner in the com...Show More

Abstract:

This paper considers the problem of expanding a language class that can be proven by a non-interactive zero-knowledge proof system (NIZK) in a black-box manner in the common reference string model. Namely, given NIZKs for two languages, {\mathcal L}_{0} and {\mathcal L}_{1} , can we construct an NIZK for {\mathcal L}_{0} \vee {\mathcal L} _{1} in a black-box manner? NIZKs for disjunctive languages have a large number of applications, such as electronic voting. Therefore, such a black-box construction may enable the efficient constructions of such applications. However, Abe et al. (PKC 2020) showed that this is impossible if the two given NIZKs are simulation-sound. In this paper, we prove that it is also impossible if the two given NIZKs are constructed by the commit-and-prove methodology that is typically used in many cryptographic protocols, including NIZKs. This result suggests that if we want to augment the capability of NIZKs in terms of the languages they can prove, we should rely on certain properties or structures of the underlying NIZKs, such as algebraic structures.
NIZK.
Published in: IEEE Access ( Volume: 9)
Page(s): 51368 - 51379
Date of Publication: 01 February 2021
Electronic ISSN: 2169-3536
Author image of Kyosuke Yamashita
Graduate School of Informatics, Kyoto University, Kyoto, Japan
National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan
Kyosuke Yamashita received the B.E. and M.E. degrees from Kyoto University, in 2013 and 2015, respectively, where he is currently pursuing the Ph.D. degree with the Graduate School of Informatics. He is also a Research Assistant with the National Institute of Advanced Industrial Science and Technology (AIST).
Kyosuke Yamashita received the B.E. and M.E. degrees from Kyoto University, in 2013 and 2015, respectively, where he is currently pursuing the Ph.D. degree with the Graduate School of Informatics. He is also a Research Assistant with the National Institute of Advanced Industrial Science and Technology (AIST).View more
Author image of Mehdi Tibouchi
Graduate School of Informatics, Kyoto University, Kyoto, Japan
Secure Platform Laboratories, NTT Corporation, Tokyo, Japan
Mehdi Tibouchi received the Ph.D. degree in computer science from the University of Paris VII and the University of Luxembourg in 2011. He is currently a Distinguished Researcher at NTT Corporation and a Guest Associate Professor at Kyoto University.
Mehdi Tibouchi received the Ph.D. degree in computer science from the University of Paris VII and the University of Luxembourg in 2011. He is currently a Distinguished Researcher at NTT Corporation and a Guest Associate Professor at Kyoto University.View more
Author image of Masayuki Abe
Graduate School of Informatics, Kyoto University, Kyoto, Japan
Secure Platform Laboratories, NTT Corporation, Tokyo, Japan
Masayuki Abe received the Ph.D. degree from The University of Tokyo, in 2002. He has been working with Nippon Telegraph and Telephone Corporation (NTT), Japan, since 1992. He is currently a Guest Professor with the Graduate School of Informatics, Kyoto University.
Masayuki Abe received the Ph.D. degree from The University of Tokyo, in 2002. He has been working with Nippon Telegraph and Telephone Corporation (NTT), Japan, since 1992. He is currently a Guest Professor with the Graduate School of Informatics, Kyoto University.View more

Author image of Kyosuke Yamashita
Graduate School of Informatics, Kyoto University, Kyoto, Japan
National Institute of Advanced Industrial Science and Technology (AIST), Tokyo, Japan
Kyosuke Yamashita received the B.E. and M.E. degrees from Kyoto University, in 2013 and 2015, respectively, where he is currently pursuing the Ph.D. degree with the Graduate School of Informatics. He is also a Research Assistant with the National Institute of Advanced Industrial Science and Technology (AIST).
Kyosuke Yamashita received the B.E. and M.E. degrees from Kyoto University, in 2013 and 2015, respectively, where he is currently pursuing the Ph.D. degree with the Graduate School of Informatics. He is also a Research Assistant with the National Institute of Advanced Industrial Science and Technology (AIST).View more
Author image of Mehdi Tibouchi
Graduate School of Informatics, Kyoto University, Kyoto, Japan
Secure Platform Laboratories, NTT Corporation, Tokyo, Japan
Mehdi Tibouchi received the Ph.D. degree in computer science from the University of Paris VII and the University of Luxembourg in 2011. He is currently a Distinguished Researcher at NTT Corporation and a Guest Associate Professor at Kyoto University.
Mehdi Tibouchi received the Ph.D. degree in computer science from the University of Paris VII and the University of Luxembourg in 2011. He is currently a Distinguished Researcher at NTT Corporation and a Guest Associate Professor at Kyoto University.View more
Author image of Masayuki Abe
Graduate School of Informatics, Kyoto University, Kyoto, Japan
Secure Platform Laboratories, NTT Corporation, Tokyo, Japan
Masayuki Abe received the Ph.D. degree from The University of Tokyo, in 2002. He has been working with Nippon Telegraph and Telephone Corporation (NTT), Japan, since 1992. He is currently a Guest Professor with the Graduate School of Informatics, Kyoto University.
Masayuki Abe received the Ph.D. degree from The University of Tokyo, in 2002. He has been working with Nippon Telegraph and Telephone Corporation (NTT), Japan, since 1992. He is currently a Guest Professor with the Graduate School of Informatics, Kyoto University.View more

References

References is not available for this document.