Trait Permutation

pub trait Permutation<T>: Clone + Sync
where
    T: Clone,
{
    // Required method
    fn permute_mut(&self, input: &mut T);

    // Provided method
    fn permute(&self, input: T) -> T { ... }
}

A permutation in the mathematical sense.

Required Methods

fn permute_mut(&self, input: &mut T)

Provided Methods

fn permute(&self, input: T) -> T

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl Permutation<[u8; 200]> for KeccakF

fn permute(&self, input_u8s: [u8; 200]) -> [u8; 200]

fn permute_mut(&self, input: &mut [u8; 200])

impl Permutation<[u64; 25]> for KeccakF

fn permute_mut(&self, input: &mut [u64; 25])

impl Permutation<[Goldilocks; 8]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 8]) -> [Goldilocks; 8]

fn permute_mut(&self, input: &mut [Goldilocks; 8])

impl Permutation<[Goldilocks; 12]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 12]) -> [Goldilocks; 12]

fn permute_mut(&self, input: &mut [Goldilocks; 12])

impl Permutation<[Goldilocks; 16]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 16]) -> [Goldilocks; 16]

fn permute_mut(&self, input: &mut [Goldilocks; 16])

impl Permutation<[Goldilocks; 24]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 24]) -> [Goldilocks; 24]

fn permute_mut(&self, input: &mut [Goldilocks; 24])

impl Permutation<[Goldilocks; 32]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 32]) -> [Goldilocks; 32]

fn permute_mut(&self, input: &mut [Goldilocks; 32])

impl Permutation<[Goldilocks; 64]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 64]) -> [Goldilocks; 64]

fn permute_mut(&self, input: &mut [Goldilocks; 64])

impl Permutation<[Goldilocks; 68]> for MdsMatrixGoldilocks

fn permute(&self, input: [Goldilocks; 68]) -> [Goldilocks; 68]

fn permute_mut(&self, input: &mut [Goldilocks; 68])

impl Permutation<[[u64; 1]; 25]> for KeccakF

fn permute_mut(&self, input: &mut [[u64; 1]; 25])

impl<FA> Permutation<[FA; 4]> for HLMDSMat4

where FA: FieldAlgebra,

fn permute_mut(&self, input: &mut [FA; 4])

impl<FA> Permutation<[FA; 4]> for MDSMat4

where FA: FieldAlgebra,

fn permute_mut(&self, input: &mut [FA; 4])

impl<FA, ExternalPerm, InternalPerm, const WIDTH: usize, const D: u64> Permutation<[FA; WIDTH]> for Poseidon2<<<FA as FieldAlgebra>::F as Field>::Packing, ExternalPerm, InternalPerm, WIDTH, D>

where FA: FieldAlgebra + Sync, <FA as FieldAlgebra>::F: PrimeField, ExternalPerm: ExternalLayer<FA, WIDTH, D>, InternalPerm: InternalLayer<FA, WIDTH, D>,

fn permute_mut(&self, state: &mut [FA; WIDTH])

impl<FA, Mds, const WIDTH: usize, const ALPHA: u64> Permutation<[FA; WIDTH]> for Poseidon<<FA as FieldAlgebra>::F, Mds, WIDTH, ALPHA>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: PrimeField, Mds: MdsPermutation<FA, WIDTH>,

fn permute_mut(&self, state: &mut [FA; WIDTH])

impl<FA, const N: usize> Permutation<[FA; N]> for CosetMds<<FA as FieldAlgebra>::F, N>

where FA: FieldAlgebra, <FA as FieldAlgebra>::F: TwoAdicField,

fn permute(&self, input: [FA; N]) -> [FA; N]

fn permute_mut(&self, values: &mut [FA; N])

impl<FA, const N: usize> Permutation<[FA; N]> for IntegratedCosetMds<<FA as FieldAlgebra>::F, N>

where FA: FieldAlgebra,

fn permute(&self, input: [FA; N]) -> [FA; N]

fn permute_mut(&self, values: &mut [FA; N])

impl<FP, MU> Permutation<[MontyField31<FP>; 8]> for MdsMatrixMontyField31<MU>

where FP: MontyParameters, MU: MDSUtils,

fn permute(&self, input: [MontyField31<FP>; 8]) -> [MontyField31<FP>; 8]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 8])

impl<FP, MU> Permutation<[MontyField31<FP>; 12]> for MdsMatrixMontyField31<MU>

where FP: MontyParameters, MU: MDSUtils,

fn permute(&self, input: [MontyField31<FP>; 12]) -> [MontyField31<FP>; 12]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 12])

impl<FP, MU> Permutation<[MontyField31<FP>; 16]> for MdsMatrixMontyField31<MU>

where FP: MontyParameters, MU: MDSUtils,

fn permute(&self, input: [MontyField31<FP>; 16]) -> [MontyField31<FP>; 16]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 16])

impl<FP, MU> Permutation<[MontyField31<FP>; 24]> for MdsMatrixMontyField31<MU>

where MU: MDSUtils, FP: BarrettParameters,

fn permute(&self, input: [MontyField31<FP>; 24]) -> [MontyField31<FP>; 24]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 24])

impl<FP, MU> Permutation<[MontyField31<FP>; 32]> for MdsMatrixMontyField31<MU>

where FP: BarrettParameters, MU: MDSUtils,

fn permute(&self, input: [MontyField31<FP>; 32]) -> [MontyField31<FP>; 32]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 32])

impl<FP, MU> Permutation<[MontyField31<FP>; 64]> for MdsMatrixMontyField31<MU>

where FP: BarrettParameters, MU: MDSUtils,

fn permute(&self, input: [MontyField31<FP>; 64]) -> [MontyField31<FP>; 64]

fn permute_mut(&self, input: &mut [MontyField31<FP>; 64])

impl<T, P> Permutation<T> for Instrumented<P>

where T: Clone, P: Permutation<T>,

fn permute_mut(&self, input: &mut T)

fn permute(&self, input: T) -> T

Implementors