Skip to main content

Prover Verifier Model

Definition

The Prover Verifier Model describes a fundamental interaction in cryptography where one party, the prover, attempts to convince another party, the verifier, that a statement is true. The prover generates a proof, and the verifier checks its correctness, typically without needing to re-execute the entire computation. This model is essential for zero-knowledge proofs and other verification systems. It allows for efficient and secure validation of complex claims.