Struct snarkvm_circuit_environment::helpers::r1cs::R1CS

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

Implementations

impl<F: PrimeField> R1CS<F>

pub fn is_satisfied(&self) -> bool

Returns true if all constraints in the environment are satisfied.

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_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.