Struct kimchi::circuits::polynomials::keccak::witness::Theta

pub struct Theta { /* private fields */ }

Values involved in Theta permutation step

Implementations

impl Theta

pub fn create(state_a: &[u64]) -> Self

pub fn shifts_c(&self, i: usize, x: usize, q: usize) -> u64

pub fn dense_c(&self, x: usize, q: usize) -> u64

pub fn quotient_c(&self, x: usize) -> u64

pub fn remainder_c(&self, x: usize, q: usize) -> u64

pub fn dense_rot_c(&self, x: usize, q: usize) -> u64

pub fn expand_rot_c(&self, x: usize, q: usize) -> u64

pub fn state_e(&self) -> Vec<u64>