Chapter Two

A Survey on Zero-Knowledge Proofs

LiFeng; Bruce McMillin    Deparment of Computer Science, Missouri University of Science and Technology Rolla Missouri USA

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

Get Advances in Computers now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.