Struct KeccakMemoryCols

#[repr(C)]
pub struct KeccakMemoryCols<T> {
    pub register_aux: [MemoryReadAuxCols<T, RV32_REGISTER_NUM_LIMBS>; 3],
    pub absorb_reads: [MemoryReadAuxCols<T, KECCAK_WORD_SIZE>; 34],
    pub digest_writes: [MemoryWriteAuxCols<T, KECCAK_WORD_SIZE>; 8],
    pub partial_block: [T; 3],
}

Fields

register_aux: [MemoryReadAuxCols<T, RV32_REGISTER_NUM_LIMBS>; 3]

absorb_reads: [MemoryReadAuxCols<T, KECCAK_WORD_SIZE>; 34]

digest_writes: [MemoryWriteAuxCols<T, KECCAK_WORD_SIZE>; 8]

partial_block: [T; 3]

The input bytes are batch read in blocks of [KECCAK_WORD_SIZE] bytes. However if the input length is not a multiple of [KECCAK_WORD_SIZE], we read into partial_block more bytes than we need. On the other hand block_bytes expects only the partial block of bytes and then the correctly padded bytes. We will select between partial_block and block_bytes for what to read from memory. We never read a full padding block, so the first byte is always ok.

Implementations

impl<T> KeccakMemoryCols<T>

pub const fn width() -> usize

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for KeccakMemoryCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for KeccakMemoryCols<T>

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

Formats the value using the given formatter.