List of all items

Structs

• gr1cs::Assignments
• gr1cs::ConstraintSystem
• gr1cs::Namespace
• gr1cs::instance_outliner::InstanceOutliner
• gr1cs::predicate::PredicateConstraintSystem
• gr1cs::predicate::polynomial_constraint::PolynomialPredicate
• sr1cs::Sr1csAdapter
• utils::linear_combination::LinearCombination
• utils::variable::Variable

Enums

• gr1cs::ConstraintSystemRef
• gr1cs::OptimizationGoal
• gr1cs::SynthesisMode
• gr1cs::predicate::Predicate
• utils::error::SynthesisError
• utils::variable::VarKind

Traits

• gr1cs::ConstraintSynthesizer
• gr1cs::Field
• gr1cs::ToConstraintField

Macros

• gr1cs::info_span
• gr1cs::lc
• lc
• lc_diff
• ns

Functions

• gr1cs::instance_outliner::outline_r1cs
• gr1cs::instance_outliner::outline_sr1cs
• utils::matrix::mat_vec_mul
• utils::matrix::transpose

Type Aliases

• gr1cs::Constraint
• gr1cs::Label
• utils::HashBuilder
• utils::IndexMap
• utils::Result
• utils::matrix::Matrix

Constants

• gr1cs::predicate::polynomial_constraint::R1CS_PREDICATE_LABEL
• gr1cs::predicate::polynomial_constraint::SR1CS_PREDICATE_LABEL