{
  "slug": "witness-generation-vs-constraints",
  "term": "Witness generation vs constraints",
  "definition": "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."
  ],
  "page": "https://sorryfree.com/glossary/witness-generation-vs-constraints/",
  "updated": "2026-09-13"
}