Unused Fields
Detector Type:
Summary and Usage
The Unused Fields (USF) detector identifies declared fields of a circuit component that are never assigned or constrained. This may indicate that required computations or safety checks have been omitted, potentially allowing malicious actors to exploit the circuit.
Usage
Coming soon.
Example and Explanation
- Zirgen
Coming soon.
Usage Example
- Zirgen
Coming soon.
How to Assess Severity
Findings from the USF detector often indicate severe issues.
Unused fields, if unintentional, may reflect serious computational or constraint-generation errors that could allow malicious actors to create valid proofs for bogus statements. Unused fields may also lead to unconstrained signals if the unused fields are translated into circuit signals.
Manual analysis is required to determine whether a field is intentionally unused. If it is intentional, the field should be removed; otherwise, the underlying bug should be fixed.