Non-interactive zero-knowledge proof (source code)

= Non-interactive zero-knowledge proof
{wiki=Non-interactive_zero-knowledge_proof}

A Non-Interactive Zero-Knowledge Proof (NIZK) is a cryptographic method by which one party (the prover) can convince another party (the verifier) that a given statement is true, without revealing any additional information about the statement itself, and without the need for interaction between the two parties after the initial setup phase.