Struct poseidon_parameters::OptimizedMdsMatrices

pub struct OptimizedMdsMatrices<F: PrimeField> {
    pub M_hat: SquareMatrix<F>,
    pub v: Matrix<F>,
    pub w: Matrix<F>,
    pub M_prime: SquareMatrix<F>,
    pub M_doubleprime: SquareMatrix<F>,
    pub M_inverse: SquareMatrix<F>,
    pub M_hat_inverse: SquareMatrix<F>,
    pub M_00: F,
    pub M_i: Matrix<F>,
    pub v_collection: Vec<Matrix<F>>,
    pub w_hat_collection: Vec<Matrix<F>>,
}

Represents an optimized MDS (maximum distance separable) matrix.

Fields

M_hat: SquareMatrix<F>

A (t - 1) x (t - 1) MDS submatrix derived from the MDS matrix.

v: Matrix<F>

A 1 x (t - 1) (row) vector derived from the MDS matrix.

w: Matrix<F>

A (t - 1) x 1 (column) vector derived from the MDS matrix.

M_prime: SquareMatrix<F>

A matrix formed from Mhat (an MDS submatrix of the MDS matrix).

M_doubleprime: SquareMatrix<F>

A sparse matrix formed from M,

M_inverse: SquareMatrix<F>

The inverse of the t x t MDS matrix (needed to compute round constants).

M_hat_inverse: SquareMatrix<F>

The inverse of the (t - 1) x (t - 1) Mhat matrix.

M_00: F

Element at M00

M_i: Matrix<F>

M_i

v_collection: Vec<Matrix<F>>

v_collection: one per round.

w_hat_collection: Vec<Matrix<F>>

w_hat_collection: one per round

Trait Implementations

impl<F: Clone + PrimeField> Clone for OptimizedMdsMatrices<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for OptimizedMdsMatrices<F>

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

Formats the value using the given formatter.

impl<F: PartialEq + PrimeField> PartialEq<OptimizedMdsMatrices<F>> for OptimizedMdsMatrices<F>

fn eq(&self, other: &OptimizedMdsMatrices<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 + PrimeField> Eq for OptimizedMdsMatrices<F>

impl<F: PrimeField> StructuralEq for OptimizedMdsMatrices<F>

impl<F: PrimeField> StructuralPartialEq for OptimizedMdsMatrices<F>