Struct HydratedSparseMatrix 

pub struct HydratedSparseMatrix<'a> {
    pub matrix: &'a SparseMatrix,
    /* private fields */
}

A hydrated sparse matrix with uninterned field elements

Fields

matrix: &'a SparseMatrix

Implementations

impl HydratedSparseMatrix<'_>

pub fn iter_row( &self, row: usize, ) -> impl Iterator<Item = (usize, FieldElement)> + use<'_>

Iterate over the non-default entries of a row of the matrix.

pub fn iter( &self, ) -> impl Iterator<Item = ((usize, usize), FieldElement)> + use<'_>

Iterate over the non-default entries of the matrix.

Trait Implementations

impl<'a> Clone for HydratedSparseMatrix<'a>

fn clone(&self) -> HydratedSparseMatrix<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for HydratedSparseMatrix<'a>

impl<'a> Debug for HydratedSparseMatrix<'a>

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

Formats the value using the given formatter.

impl<'a> Eq for HydratedSparseMatrix<'a>

impl Mul<&[Fp<MontBackend<FrConfig, 4>, 4>]> for HydratedSparseMatrix<'_>

Right multiplication by vector (parallel over rows).

type Output = Vec<Fp<MontBackend<FrConfig, 4>, 4>>

The resulting type after applying the * operator.

fn mul(self, rhs: &[FieldElement]) -> Self::Output

Performs the * operation.

impl Mul<HydratedSparseMatrix<'_>> for &[FieldElement]

Left multiplication by vector (sequential scatter pattern).

The primary call site (calculate_external_row_of_r1cs_matrices) now uses transpose + parallel right-multiply instead.

type Output = Vec<Fp<MontBackend<FrConfig, 4>, 4>>

The resulting type after applying the * operator.

fn mul(self, rhs: HydratedSparseMatrix<'_>) -> Self::Output

Performs the * operation.

impl<'a> PartialEq for HydratedSparseMatrix<'a>

fn eq(&self, other: &HydratedSparseMatrix<'a>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<'a> StructuralPartialEq for HydratedSparseMatrix<'a>