What is Overconstrained circuit? Definition and why it matters
==============================================================

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.

Source page: https://sorryfree.com/glossary/overconstrained-circuit/
Compiled by: sorryfree editors (https://sorryfree.com/about/)
Last reviewed: 2026-09-13