Crate snarkvm_r1cs[−][src]
Re-exports
pub use errors::*; |
Modules
errors |
Structs
ConstraintCounter | Constraint counter for testing purposes. |
FrParameters | |
LinearCombination | This represents a linear combination of some variables, with coefficients
in the field |
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. |
OptionalVec | |
TestConstraintSystem | Constraint system for testing purposes. |
Variable | Represents a variable in a constraint system. |
Enums
ConstraintVariable | Either a |
Index | Represents the index of either a public variable (input) or a private variable (auxiliary). |
Traits
Assignment | |
ConstraintSynthesizer | Computations are expressed in terms of rank-1 constraint systems (R1CS).
The |
ConstraintSystem | Represents a constraint system which can have new variables allocated and constrains between them formed. |
ToConstraintField | Types that can be converted to a vector of |
Type Definitions
Fr | This field is the scalar field (Fr) of BLS12-377. |