zero-knowledge proof
providing validity without revealing any other data
Witness-indistinguishable proof
variant of a zero-knowledge proof for languages in NP
Non-interactive zero-knowledge proof
common random string shared between the prover and the verifier is enough to achieve computational zero-knowledge without requiring interaction