Struct R1CS

pub struct R1CS<F: PrimeField> { /* private fields */ }

Implementations

impl<F: PrimeField> R1CS<F>

pub fn is_satisfied(&self) -> bool

Returns true if all of the constraints are satisfied.

In addition, when in debug mode, this function also checks that all constraints use variables corresponding to the declared variables.

pub fn num_constants(&self) -> u64

Returns the number of constants in the constraint system.

pub fn num_public(&self) -> u64

Returns the number of public variables in the constraint system.

pub fn num_private(&self) -> u64

Returns the number of private variables in the constraint system.

pub fn num_variables(&self) -> u64

Returns the number of constant, public, and private variables in the constraint system.

pub fn num_constraints(&self) -> u64

Returns the number of constraints in the constraint system.

pub fn num_nonzeros(&self) -> (u64, u64, u64)

Returns the number of nonzeros in the constraint system.

pub fn to_public_variables(&self) -> &Vec<Variable<F>>

Returns the public variables in the constraint system.

pub fn to_private_variables(&self) -> &Vec<Variable<F>>

Returns the private variables in the constraint system.

pub fn to_constraints(&self) -> &Vec<Rc<Constraint<F>>>

Returns the constraints in the constraint system.

Trait Implementations

impl<F: Debug + PrimeField> Debug for R1CS<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> Display for R1CS<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> From<R1CS<F>> for Assignment<F>

fn from(r1cs: R1CS<F>) -> Self

Converts an R1CS to an assignment.