Struct r1cs::MdsMatrix

pub struct MdsMatrix<F: Field> { /* fields omitted */ }

A Maximum Distance Separable matrix.

Methods

impl<F: Field> MdsMatrix<F>

pub fn new(rows: Vec<Vec<Element<F>>>) -> Self

pub fn inverse(&self) -> Self

Trait Implementations

impl<F: Field> Clone for MdsMatrix<F>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'_, '_, F: Field> Mul<&'_ [Element<F>]> for &'_ MdsMatrix<F>

type Output = Vec<Element<F>>

The resulting type after applying the * operator.

fn mul(self, rhs: &[Element<F>]) -> Self::Output

Performs the * operation.

impl<'_, '_, F: Field> Mul<&'_ [Expression<F>]> for &'_ MdsMatrix<F>

type Output = Vec<Expression<F>>

The resulting type after applying the * operator.

fn mul(self, rhs: &[Expression<F>]) -> Self::Output

Performs the * operation.

impl<'_, F: Field> Mul<&'_ [Element<F>]> for MdsMatrix<F>

type Output = Vec<Element<F>>

The resulting type after applying the * operator.

fn mul(self, rhs: &[Element<F>]) -> Self::Output

Performs the * operation.

impl<'_, F: Field> Mul<&'_ [Expression<F>]> for MdsMatrix<F>

type Output = Vec<Expression<F>>

The resulting type after applying the * operator.

fn mul(self, rhs: &[Expression<F>]) -> Self::Output

Performs the * operation.