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<AF> Permutation<[AF; 4]> for HLMDSMat4

where AF: AbstractField,

fn permute(&self, input: [AF; 4]) -> [AF; 4]

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

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

where AF: AbstractField,

fn permute(&self, input: [AF; 4]) -> [AF; 4]

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

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

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

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

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

where AF: AbstractField, <AF as AbstractField>::F: PrimeField, Mds: MdsPermutation<AF, WIDTH>,

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

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

where AF: AbstractField, <AF as AbstractField>::F: TwoAdicField,

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

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

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

where AF: AbstractField,

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

fn permute_mut(&self, values: &mut [AF; 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