Zero-Knowledge Proof
Properties
- completeness: if the proof is true, honest prover convince verifier with overwhelming probability.
- soundness: if the proof is false, no the honest verifier will be convinced by the cheating prover, except with some negligible probability.
- zero knowledge: no secret leaked from proof.
Abstract example
