Struct kimchi::circuits::polynomials::keccak::witness::PiRho

pub struct PiRho { /* private fields */ }

Values involved in PiRho permutation step

Implementations

impl PiRho

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

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

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

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

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

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

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

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