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.

Type Definitions