Struct R1CS 

pub struct R1CS {
    pub num_public_inputs: usize,
    pub interner: Interner,
    pub a: SparseMatrix,
    pub b: SparseMatrix,
    pub c: SparseMatrix,
}

Represents a R1CS constraint system.

Fields

num_public_inputs: usize

interner: Interner

a: SparseMatrix

b: SparseMatrix

c: SparseMatrix

Implementations

impl R1CS

pub fn new() -> Self

pub const fn a(&self) -> HydratedSparseMatrix<'_>

pub const fn b(&self) -> HydratedSparseMatrix<'_>

pub const fn c(&self) -> HydratedSparseMatrix<'_>

pub const fn num_constraints(&self) -> usize

The number of constraints in the R1CS instance.

pub const fn num_witnesses(&self) -> usize

The number of witnesses in the R1CS instance (including the constant one witness).

pub fn hash(&self) -> [u8; 32]

Hash of the R1CS

pub fn grow_matrices(&mut self, num_rows: usize, num_cols: usize)

pub fn add_witnesses(&mut self, count: usize)

Add a new witnesses to the R1CS instance.

pub fn add_constraint( &mut self, a: &[(FieldElement, usize)], b: &[(FieldElement, usize)], c: &[(FieldElement, usize)], )

Add an R1CS constraint. Duplicate witness indices within each linear combination are merged (coefficients summed) and zeros are dropped.

Trait Implementations

impl Clone for R1CS

fn clone(&self) -> R1CS

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for R1CS

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

Formats the value using the given formatter.

impl Default for R1CS

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for R1CS

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for R1CS

fn eq(&self, other: &R1CS) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serialize for R1CS

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for R1CS

impl StructuralPartialEq for R1CS