Skip to main content

Unused Fields

Detector Type:Compute and Constrain

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

info

Coming soon.

Example and Explanation

info

Coming soon.

Usage Example

info

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.