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