Open AccessNon-interactive zero-knowledge proof scheme from RLWE-based key exchange
Author(s) -
Shaofen Xie,
Yao Wang,
Faguo Wu,
Zemin Zheng
Publication year - 2021
Publication title -
plos one
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.99
H-Index - 332
ISSN - 1932-6203
DOI - 10.1371/journal.pone.0256372
Subject(s) - zero knowledge proof , soundness , computer science , hash function , key exchange , proof of concept , learning with errors , lattice (music) , completeness (order theory) , theoretical computer science , public key cryptography , cryptography , key (lock) , encryption , mathematics , algorithm , physics , computer network , computer security , acoustics , programming language , operating system , mathematical analysis
Lattice-based non-interactive zero-knowledge proof has been widely used in one-way communication and can be effectively applied to resist quantum attacks. However, lattice-based non-interactive zero-knowledge proof schemes have long faced and paid more attention to some efficiency issues, such as proof size and verification time. In this paper, we propose the non-interactive zero-knowledge proof schemes from RLWE-based key exchange by making use of the Hash function and public-key encryption. We then show how to apply the proposed schemes to achieve the fixed proof size and rapid public verification. Compared with previous approaches, our schemes can realize better effectiveness in proof size and verification time. In addition, the proposed schemes are secure from completeness, soundness, and zero-knowledge.