Module snarkvm_circuit::helpers
source · Modules
Structs
A struct for tracking the mapping of variables from the virtual machine (first) to the gadget constraint system (second).
A helper struct for tracking the number of constants, public inputs, private inputs, and constraints.
Enums
Helper enum used in the case where a circuit’s output mode or counts are determined by
its mode and the actual value of the circuit.
A
Measurement
is a quantity that can be measured.
The variants of the Measurement
defines a condition associated with the measurable quantity.