Module r1cs

Re-exports

• pub use errors::*;

Modules

• errors

Structs

• ConstraintCounter
  Constraint counter for testing purposes.
• LinearCombination
  This represents a linear combination of some variables, with coefficients in the field F. The (coeff, var) pairs in a LinearCombination are kept sorted according to the index of the variable in its constraint system.
• 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 a constraint system.

Enums

• 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 generate_constraints method is called to generate constraints for both CRS generation and for proving.
• ConstraintSystem
  Represents a constraint system which can have new variables allocated and constraints between them formed.