Struct poseidon_parameters::OptimizedArcMatrix

pub struct OptimizedArcMatrix<F: PrimeField>(pub ArcMatrix<F>);

Represents an optimized matrix of round constants.

This modifies the partial rounds in the middle of the permutation, wherein you add constants first before iterating through the partial rounds.

This method follows calc_equivalent_constants from Appendix B’s poseidonperm_x3_64_24_optimized.sage.

Tuple Fields

0: ArcMatrix<F>

Trait Implementations

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

fn clone(&self) -> OptimizedArcMatrix<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 OptimizedArcMatrix<F>

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

Formats the value using the given formatter.

impl<F: PrimeField> MatrixOperations<F> for OptimizedArcMatrix<F>

fn new(n_rows: usize, n_cols: usize, elements: Vec<F>) -> Self

Create a OptimizedArcMatrix from its elements.

fn elements(&self) -> &Vec<F>

Access elements as a vector

fn get_element(&self, i: usize, j: usize) -> F

Get element[i,j]

fn set_element(&mut self, i: usize, j: usize, val: F)

Set element[i,j]

fn rows(&self) -> Vec<&[F]>

Get rows

fn n_rows(&self) -> usize

Number of rows

fn n_cols(&self) -> usize

Number of columns

fn transpose(&self) -> Self

Take transpose of the matrix

fn hadamard_product(&self, rhs: &Self) -> Result<Self>where Self: Sized,

Compute Hadamard (element-wise) product

fn iter_rows(&self) -> Chunks<'_, F>

Get rows in chunks

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

fn eq(&self, other: &OptimizedArcMatrix<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 OptimizedArcMatrix<F>

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

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