Struct PredicateConstraintSystem 

pub struct PredicateConstraintSystem<F: Field> { /* private fields */ }

A constraint system that enforces a predicate

Implementations

impl<F: Field> PredicateConstraintSystem<F>

pub fn new_polynomial_predicate_cs( arity: usize, terms: Vec<(F, Vec<(usize, usize)>)>, ) -> Self

Create new polynomial predicate constraint system

pub fn new_r1cs() -> Result<Self>

creates an R1CS predicate which is a special kind of polynomial predicate

pub fn new_sr1cs_predicate() -> Result<Self>

Creates a SquareR1CS predicate.

pub fn get_arity(&self) -> usize

Get the arity of the predicate of this PredicateConstraintSystem.

pub fn num_constraints(&self) -> usize

Get the number of constraints enforced by this predicate.

pub fn get_constraints(&self) -> &Vec<Constraint>

Get a list of constraints enforced in this PredicateConstraintSystem. Each constraint is a list of linear combinations with size equal to the arity.

pub fn get_predicate(&self) -> &Predicate<F>

Get a reference to the predicate in this predicate constraint system

pub fn enforce_constraint( &mut self, constraint: impl IntoIterator<Item = Variable>, ) -> Result<()>

Enforce a constraint in this PredicateConstraintSystem. The constraint is a list of linear combinations with size equal to the arity.

pub fn which_constraint_is_unsatisfied( &self, cs: &ConstraintSystem<F>, ) -> Option<usize>

Check if the constraints enforced by this predicate are satisfied i.e. L(x_1, x_2, ..., x_n) == 0.

pub fn to_matrices(&self, cs: &ConstraintSystem<F>) -> Vec<Matrix<F>>

Create the set of matrices for this PredicateConstraintSystem.

Trait Implementations

impl<F: Clone + Field> Clone for PredicateConstraintSystem<F>

fn clone(&self) -> PredicateConstraintSystem<F>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for PredicateConstraintSystem<F>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.