Properties and Features of ZKP

Which of the following are properties that a zero-knowledge proof must have?

What does completeness mean?

Verifier is able to detect and reject an invalid statement

Verifier learns nothing about a statement beyond its validity or falsity.

Verifier accepts the proof if the input is valid and the protocol followed by the prover and verifier is correct

What does soundness mean?

Verifier is able to detect and reject an invalid statement

Verifier accepts the proof if the input is valid and the protocol followed by the prover and verifier is correct

Verifier learns nothing about a statement beyond its validity or falsity.

What does zero knowledge mean?

Verifier is able to detect and reject an invalid statement

Verifier accepts the proof if the input is valid and the protocol followed by the prover and verifier is correct

Verifier learns nothing about a statement beyond its validity or falsity.

Which feature of ZKP do we need when we want it to be verifiable by n verifiers?

Interactivity

Succinctness

Non-interactivity

Zero-knowledge

Which feature of a ZKP is required if the storage medium for proofs is expensive and fast verification times are required?

Non-succinctness

Succinctness

Non-interactivity

Interactivity

Which of the following properties must a proof of knowledge satisfy?

Completeness

Soundness

Zero-knowledge

More Quizzes