Struct Poseidon1InternalLayerTextbook 

pub struct Poseidon1InternalLayerTextbook<F, Mds, const WIDTH: usize> { /* private fields */ }

Textbook internal (partial round) layer for the Poseidon1 permutation.

Uses the MDS permutation per round with forward-substituted scalar constants. Each partial round adds a single scalar to state[0], applies the S-box, and multiplies by the MDS. After all rounds, a residual vector is added.

Use this instead of Poseidon1InternalLayerGeneric when the MDS permutation is very fast (e.g., Karatsuba convolution for power-of-2 circulant matrices).

Trait Implementations

impl<F: Clone, Mds: Clone, const WIDTH: usize> Clone for Poseidon1InternalLayerTextbook<F, Mds, WIDTH>

fn clone(&self) -> Poseidon1InternalLayerTextbook<F, Mds, WIDTH>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, Mds: Debug, const WIDTH: usize> Debug for Poseidon1InternalLayerTextbook<F, Mds, WIDTH>

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

Formats the value using the given formatter.

impl<F, A, Mds, const WIDTH: usize, const D: u64> PartialRoundLayer<A, WIDTH, D> for Poseidon1InternalLayerTextbook<F, Mds, WIDTH>

where F: Field + InjectiveMonomial<D>, A: Algebra<F> + InjectiveMonomial<D>, Mds: Permutation<[A; WIDTH]> + Default + Sync + Clone,

fn permute_state(&self, state: &mut [A; WIDTH])

Apply all RP partial rounds to the state.

impl<F: Field, Mds, const WIDTH: usize> PartialRoundLayerConstructor<F, WIDTH> for Poseidon1InternalLayerTextbook<F, Mds, WIDTH>

fn new_from_constants(constants: PartialRoundConstants<F, WIDTH>) -> Self

Build the layer from the sparse-form optimized constants.