Detect an under constrained Halo2 circuit #2801
Description
Why
It is easy to create an under-constrained Halo2 circuit: in that case the circuit would not prove correctly (or at all) the arguments it is supposed to support. This problem can be introduced at any stage of the implementation (in particular when the circuit is updated).
How can we test properly that the circuit is not under-constrained?
What
Identify how we can detect under-constrained Halo2 circuit in a consistent way.
How
- Assess all the possibilities for detecting an under-constrained Halo2 circuit
- Design a strategy to support the detection of under-constrained Halo2 circuit
One of the possibilities is using property based testing