{
  "slug": "overconstrained-circuit",
  "term": "Overconstrained circuit",
  "definition": "A circuit that rejects inputs the specification allows, so honest provers fail. It is the failure of completeness.",
  "detail": [
    "Overconstraint often appears after a security fix adds a constraint that is stricter than intended, or when a gadget assumes a range the caller does not guarantee. Completeness proofs and honest-path test vectors catch it."
  ],
  "page": "https://sorryfree.com/glossary/overconstrained-circuit/",
  "updated": "2026-09-13"
}