NewStringBuilder returns a new StringBuilder.

NewSystem initialize the common structure among constraint system.

ids of the coefficients with simple values in any cs.coeffs slice.

ids of the coefficients with simple values in any cs.coeffs slice.

ids of the coefficients with simple values in any cs.coeffs slice.

ids of the coefficients with simple values in any cs.coeffs slice.

ids of the coefficients with simple values in any cs.coeffs slice.

BlueprintGenericR1C implements Blueprint and BlueprintR1C.

BlueprintGenericSparseR1C implements Blueprint and BlueprintSparseR1C.

BlueprintLookupHint is a blueprint that facilitates the lookup of values in a table.

BlueprintSparseR1CAdd implements Blueprint, BlueprintSolvable and BlueprintSparseR1C.

BlueprintSparseR1CBool implements Blueprint, BlueprintSolvable and BlueprintSparseR1C.

BlueprintSparseR1CMul implements Blueprint, BlueprintSolvable and BlueprintSparseR1C.

HintMapping mark a list of output variables to be computed using provided hint and inputs.

Instruction is the lowest element of a constraint system.

LogEntry is used as a shared data structure between the frontend and the backend to represent string values (in logs or debug info) where a value is not known at compile time (which is the case for variables that need to be resolved in the R1CS).

PackedInstruction is the lowest element of a constraint system.

R1C used to compute the wires.

R1CIterator facilitates iterating through R1C constraints.

SparseR1C represent a PlonK-ish constraint qL⋅xa + qR⋅xb + qO⋅xc + qM⋅(xaxb) + qC -committed?*Bsb22Commitments-commitment?*commitmentValue == 0.

SparseR1CIterator facilitates iterating through SparseR1C constraints.

StringBuilder is a helper to build string from constraints, linear expressions or terms.

System contains core elements for a constraint System.

Term represents a coeff * variable in a constraint system.

Blueprint enable representing heterogeneous constraints or instructions in a constraint system in a memory efficient way.

BlueprintHint indicates that the blueprint and associated calldata encodes a hint.

BlueprintR1C indicates that the blueprint and associated calldata encodes a R1C.

BlueprintSolvable represents a blueprint that knows how to solve itself.

BlueprintSparseR1C indicates that the blueprint and associated calldata encodes a SparseR1C.

BlueprintStateful indicates that the blueprint can be reset to its initial state.

Compressible represent an object that knows how to encode itself as a []uint32.

ConstraintSystem interface that all constraint systems implement.

Field capability to perform arithmetic on Coeff.

Resolver allows pretty printing of constraints.

Solver represents the state of a constraint system solver at runtime.

Element represents a term coefficient data.

A LinearExpression is a linear combination of Term.