Struct FullRoundConstants 

pub struct FullRoundConstants<F, const WIDTH: usize> {
    pub initial: Vec<[F; WIDTH]>,
    pub terminal: Vec<[F; WIDTH]>,
    pub dense_mds: [[F; WIDTH]; WIDTH],
}

Pre-computed constants for the full (external) rounds.

The full rounds are split equally: half before the partial rounds (initial), and half after (terminal).

The MDS matrix is not stored here. It is dispatched through a permutation trait at the call site. This allows concrete fields to use optimized implementations (e.g., Karatsuba convolution) while generic algebra types fall back to dense O(t^2) multiplication.

Fields

initial: Vec<[F; WIDTH]>

Round constants for the initial full rounds.

terminal: Vec<[F; WIDTH]>

Round constants for the terminal full rounds.

dense_mds: [[F; WIDTH]; WIDTH]

Dense N x N MDS matrix expanded from the circulant first column.

The scalar MDS path uses a Karatsuba convolution with i64 intermediates. That approach relies on bit-shifts for halving.

Packed SIMD types cannot perform bit-shifts. They only support field arithmetic.

Storing the fully expanded matrix lets SIMD implementations either:

• Fall back to dense O(t^2) multiplication over Algebra<F>.
• Extract the first column for a field-level Karatsuba that uses halve() instead of bit-shifts.

Trait Implementations

impl<F: Clone, const WIDTH: usize> Clone for FullRoundConstants<F, WIDTH>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug, const WIDTH: usize> Debug for FullRoundConstants<F, WIDTH>

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

Formats the value using the given formatter.