What is Witness generation vs constraints? Definition and why it matters
========================================================================

Witness generation is the program that computes a satisfying assignment for honest inputs; constraints are what the verifier actually checks. Bugs arise when the two disagree.

Detail: Most underconstraint bugs are exactly a disagreement: witness generation computes the intended value, constraints fail to enforce it. zkFuzz targets this gap directly; soundness proofs make the constraints authoritative.

Source page: https://sorryfree.com/glossary/witness-generation-vs-constraints/
Compiled by: sorryfree editors (https://sorryfree.com/about/)
Last reviewed: 2026-09-13