Crate bellman [] [src]

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.

Enums

SynthesisError

This is an error that could occur during circuit synthesis contexts, such as CRS generation, proving or verification.

Traits

ConstraintSystem
PublicConstraintSystem