Compile will generate a ConstraintSystem from the given circuit 1.

IgnoreUnconstrainedInputs is a compile option which allow compiling input circuits where not all inputs are not constrained.

IsCanonical returns true if the Variable has been normalized in a (internal) LinearExpression by one of the constraint system builders.

NewSchema returns the schema corresponding to the circuit structure.

NewWitness build an ordered vector of field elements from the given assignment (Circuit) if PublicOnly is specified, returns the public part of the witness only else returns [public | secret].

PublicOnly enables to instantiate a witness with the public part only of the assignment.

WithCapacity is a compile option that specifies the estimated capacity needed for internal variables and constraints.

WithCompressThreshold is a compile option which enforces automatic variable compression if the length of the linear expression in the variable exceeds given threshold.

API represents the available functions to circuit developers.

BatchInverter returns a slice of variables containing the inverse of each element in i1 This is a temporary API, do not use it in your circuit.

Builder represents a constraint system builder.

CanonicalVariable represents a variable that's encoded in a constraint system specific way.

Circuit must be implemented by user-defined circuit.

Committer allows to commit to the variables and returns the commitment.

Compiler represents a constraint system compiler.

Rangechecker allows to externally range-check the variables to be of specified width.

Variable represents a variable in the circuit.

CompileOption defines option for altering the behaviour of the Compile method.

WitnessOption sets optional parameter to witness instantiation from an assignment.