A Survey on Zero-knowledge Proofs

Author

Feng Li
Bruce McMillin, Missouri University of Science and TechnologyFollow

Abstract

Zero-knowledge proofs (ZKPs) are interactive protocols in which one party, named the prover, can convince the other party, named the verifier, that some assertion is true without revealing anything other than the fact that the assertion being proven is true. This chapter is a survey on ZKPs including their background, important concepts, applications for NP problems, and composition operations of ZKPs. The remarkable property of being both convincing and yielding nothing except that the assertion is indeed valid makes ZKPs very powerful tools for the design of secure cryptographic protocols. In this chapter, ZKPs are constructed for the exact cover and 0-1 simple knapsack problem. © 2014 Elsevier Inc.

Recommended Citation

F. Li and B. McMillin, "A Survey on Zero-knowledge Proofs," Advances in Computers, vol. 94, pp. 25 - 69, Elsevier, Jan 2014.

The definitive version is available at https://doi.org/10.1016/B978-0-12-800161-5.00002-5

Department(s)

Computer Science

International Standard Serial Number (ISSN)

0065-2458

Document Type

Article - Journal

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2024 Elsevier, All rights reserved.

Publication Date

01 Jan 2014