Skip to main content

Crate p3_mds

Crate p3_mds 

Source
Expand description

Maximum distance separable (MDS) matrix multiplication.

MDS matrices provide optimal diffusion for algebraic hash functions. Any k x k submatrix is invertible, so the associated linear code achieves the Singleton bound.

Three strategies are provided:

  • Reed-Solomon coset evaluation via Bowers butterfly networks.
  • An optimized variant that integrates coset shifts into twiddle factors.
  • Karatsuba-style convolution for circulant matrices.

Modules§

coset_mds
integrated_coset_mds
karatsuba_convolution
Calculate the convolution of two vectors using a Karatsuba-style decomposition and the CRT.
util

Traits§

MdsPermutation
Marker trait for permutations that are MDS.