This module contains an
This is an interface for dealing with the kinds of parallel computations involved in bellman. It's currently just a thin wrapper around CpuPool and crossbeam but may be extended in the future to allow for various parallelism strategies.
This represents a linear combination of some variables, with coefficients in the scalar field of a pairing-friendly elliptic curve group.
This is a "namespaced" constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context.
Represents a variable in our constraint system.
Represents the index of either an input variable or auxillary variable.
This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.
Computations are expressed in terms of arithmetic circuits, in particular
rank-1 quadratic constraint systems. The
Represents a constraint system which can have new variables allocated and constrains between them formed.