Struct KeccakInstructionCols

#[repr(C)]
pub struct KeccakInstructionCols<T> {

    pub pc: T,
    pub is_enabled: T,
    pub is_enabled_first_round: T,
    pub start_timestamp: T,
    pub dst_ptr: T,
    pub src_ptr: T,
    pub len_ptr: T,
    pub e: T,
    pub dst: [T; 4],
    pub src_limbs: [T; 3],
    pub src: T,
    pub len_limbs: [T; 3],
    pub remaining_len: T,
}

Columns for KECCAK256_RV32 instruction parsing. Includes columns for instruction execution and register reads.

Fields

pc: T

Program counter

is_enabled: T

True for all rows that are part of opcode execution. False on dummy rows only used to pad the height.

is_enabled_first_round: T

Is enabled and first round of block. Used to lower constraint degree. is_enabled * inner.step_flags[0]

start_timestamp: T

The starting timestamp to use for memory access in this row. A single row will do multiple memory accesses.

dst_ptr: T

Pointer to address space 1 dst register

src_ptr: T

Pointer to address space 1 src register

len_ptr: T

Pointer to address space 1 len register

e: T

Memory address space

dst: [T; 4]

dst <- [dst_ptr:4]_1

src_limbs: [T; 3]

src <- [src_ptr:4]_1 We store src_limbs[i] = [src_ptr + i + 1]_1 and src = u32([src_ptr:4]_1) from which [src_ptr]_1 can be recovered by linear combination. We do this because src needs to be incremented between keccak-f permutations.

src: T

len_limbs: [T; 3]

len <- [len_ptr:4]_1 We store len_limbs[i] = [len_ptr + i + 1]_1 and remaining_len = u32([len_ptr:4]_1) from which [len_ptr]_1 can be recovered by linear combination. We do this because remaining_len needs to be decremented between keccak-f permutations.

remaining_len: T

The remaining length of the unpadded input, in bytes. If is_new_start is true and is_enabled is true, this must be equal to u32(len).

Implementations

impl<T> KeccakInstructionCols<T>

pub const fn width() -> usize

impl<T> KeccakInstructionCols<T>

pub fn new( pc: T, is_enabled: T, is_enabled_first_round: T, start_timestamp: T, dst_ptr: T, src_ptr: T, len_ptr: T, e: T, dst: [T; 4], src_limbs: [T; 3], src: T, len_limbs: [T; 3], remaining_len: T, ) -> Self

Constructs a new KeccakInstructionCols.

impl<T: Copy> KeccakInstructionCols<T>

pub fn assert_eq<AB: AirBuilder>(&self, builder: &mut AB, other: Self)

where T: Into<AB::Expr>,

Trait Implementations

impl<T> Borrow<KeccakInstructionCols<T>> for [T]

fn borrow(&self) -> &KeccakInstructionCols<T>

Immutably borrows from an owned value.

impl<T> BorrowMut<KeccakInstructionCols<T>> for [T]

fn borrow_mut(&mut self) -> &mut KeccakInstructionCols<T>

Mutably borrows from an owned value.

impl<T: Clone> Clone for KeccakInstructionCols<T>

fn clone(&self) -> KeccakInstructionCols<T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Debug> Debug for KeccakInstructionCols<T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<T: Default> Default for KeccakInstructionCols<T>

fn default() -> KeccakInstructionCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for KeccakInstructionCols<T>