Struct PoseidonParameters

pub struct PoseidonParameters<F: PrimeField, const RATE: usize, const CAPACITY: usize> {
    pub full_rounds: usize,
    pub partial_rounds: usize,
    pub alpha: u64,
    pub ark: Vec<Vec<F>>,
    pub mds: Vec<Vec<F>>,
}

Parameters and RNG used

Fields

full_rounds: usize

number of rounds in a full-round operation

partial_rounds: usize

number of rounds in a partial-round operation

alpha: u64

Exponent used in S-boxes

ark: Vec<Vec<F>>

Additive Round keys. These are added before each MDS matrix application to make it an affine shift. They are indexed by ark[round_num][state_element_index]

mds: Vec<Vec<F>>

Maximally Distance Separating Matrix.

Trait Implementations

impl<F: Clone + PrimeField, const RATE: usize, const CAPACITY: usize> Clone for PoseidonParameters<F, RATE, CAPACITY>

fn clone(&self) -> PoseidonParameters<F, RATE, CAPACITY>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField, const RATE: usize, const CAPACITY: usize> Debug for PoseidonParameters<F, RATE, CAPACITY>

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

Formats the value using the given formatter.

impl<F: PartialEq + PrimeField, const RATE: usize, const CAPACITY: usize> PartialEq for PoseidonParameters<F, RATE, CAPACITY>

fn eq(&self, other: &PoseidonParameters<F, RATE, CAPACITY>) -> 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<F: Eq + PrimeField, const RATE: usize, const CAPACITY: usize> Eq for PoseidonParameters<F, RATE, CAPACITY>

impl<F: PrimeField, const RATE: usize, const CAPACITY: usize> StructuralPartialEq for PoseidonParameters<F, RATE, CAPACITY>