Struct ark_relations::r1cs::ConstraintMatrices

pub struct ConstraintMatrices<F: Field> {
    pub num_instance_variables: usize,
    pub num_witness_variables: usize,
    pub num_constraints: usize,
    pub a_num_non_zero: usize,
    pub b_num_non_zero: usize,
    pub c_num_non_zero: usize,
    pub a: Matrix<F>,
    pub b: Matrix<F>,
    pub c: Matrix<F>,
}

The A, B and C matrices of a Rank-One ConstraintSystem. Also contains metadata on the structure of the constraint system and the matrices.

Fields

num_instance_variables: usize

The number of variables that are “public instances” to the constraint system.

num_witness_variables: usize

The number of variables that are “private witnesses” to the constraint system.

num_constraints: usize

The number of constraints in the constraint system.

a_num_non_zero: usize

The number of non_zero entries in the A matrix.

b_num_non_zero: usize

The number of non_zero entries in the B matrix.

c_num_non_zero: usize

The number of non_zero entries in the C matrix.

a: Matrix<F>

The A constraint matrix. This is empty when self.mode == SynthesisMode::Prove { construct_matrices = false }.

b: Matrix<F>

The B constraint matrix. This is empty when self.mode == SynthesisMode::Prove { construct_matrices = false }.

c: Matrix<F>

The C constraint matrix. This is empty when self.mode == SynthesisMode::Prove { construct_matrices = false }.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

impl<F: PartialEq + Field> PartialEq<ConstraintMatrices<F>> for ConstraintMatrices<F>

fn eq(&self, other: &ConstraintMatrices<F>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<F: Eq + Field> Eq for ConstraintMatrices<F>

impl<F: Field> StructuralEq for ConstraintMatrices<F>

impl<F: Field> StructuralPartialEq for ConstraintMatrices<F>