Crate bellman [−] [src]
Modules
domain |
This module contains an |
groth16 | |
multicore |
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. |
Structs
LinearCombination |
This represents a linear combination of some variables, with coefficients in the scalar field of a pairing-friendly elliptic curve group. |
Namespace |
This is a "namespaced" constraint system which borrows a constraint system (pushing a namespace context) and, when dropped, pops out of the namespace context. |
Variable |
Represents a variable in our constraint system. |
Enums
Index |
Represents the index of either an input variable or auxillary variable. |
SynthesisError |
This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification. |
Traits
Circuit |
Computations are expressed in terms of arithmetic circuits, in particular
rank-1 quadratic constraint systems. The |
ConstraintSystem |
Represents a constraint system which can have new variables allocated and constrains between them formed. |