Trait sp1_recursion_core::poseidon2_wide::columns::permutation::Permutation

pub trait Permutation<T: Copy> {
    // Required methods
    fn external_rounds_state(&self) -> &[[T; 16]];
    fn internal_rounds_state(&self) -> &[T; 16];
    fn internal_rounds_s0(&self) -> &[T; 12];
    fn external_rounds_sbox(&self) -> Option<&[[T; 16]; 8]>;
    fn internal_rounds_sbox(&self) -> Option<&[T; 13]>;
    fn perm_output(&self) -> &[T; 16];
}

Trait that describes getter functions for the permutation columns.

Required Methods

fn external_rounds_state(&self) -> &[[T; 16]]

fn internal_rounds_state(&self) -> &[T; 16]

fn internal_rounds_s0(&self) -> &[T; 12]

fn external_rounds_sbox(&self) -> Option<&[[T; 16]; 8]>

fn internal_rounds_sbox(&self) -> Option<&[T; 13]>

fn perm_output(&self) -> &[T; 16]

Implementors

impl<T: Copy> Permutation<T> for PermutationNoSbox<T>

impl<T: Copy> Permutation<T> for PermutationNoSboxHalfExternal<T>

impl<T: Copy> Permutation<T> for PermutationSBox<T>