suggest_constraints
Propose minimal additional constraints to ensure circuit soundness. Returns code snippets tagged with ZK weakness classification IDs.
Instructions
Propose the minimal set of additional constraints (or, in Noir/Halo2, code-level additions) to make the circuit sound. Returns code snippets tagged with ZK Weakness Classification ids.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| source | Yes | The full circuit source code as a string. | |
| lang | No | Source language. If omitted, the auditor auto-detects from the source. |