Completeness

From zkstacks
Revision as of 17:43, 1 July 2020 by Srikar (talk | contribs) (Created page with "In the context of ZKP, Completeness refers to the ability of a prover to convince the verifier that a true statement is indeed true. I.e. A prover should be able to generate a...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

In the context of ZKP, Completeness refers to the ability of a prover to convince the verifier that a true statement is indeed true. I.e. A prover should be able to generate a ZKP for any statement that is true.

Retrieved from "http://161.35.113.184/index.php?title=Completeness&oldid=71"