Skip to main content

Verifier Complexity

Definition

Verifier complexity refers to the computational resources, such as time and memory, required for a party to check the correctness of a given proof. In cryptographic systems, particularly those involving zero-knowledge proofs, minimizing verifier complexity is crucial for scalability and efficiency. A lower complexity means that verifying the proof is quick and resource-light. This metric is a key design consideration for secure protocols.