Struct sp1_core::memory::MemoryInitCols

#[repr(C)]
pub struct MemoryInitCols<T> {
    pub shard: T,
    pub timestamp: T,
    pub addr: T,
    pub lt_cols: AssertLtColsBits<T, 32>,
    pub addr_bits: BabyBearBitDecomposition<T>,
    pub value: [T; 32],
    pub is_real: T,
    pub is_next_comp: T,
    pub is_prev_addr_zero: IsZeroOperation<T>,
    pub is_first_comp: T,
    pub is_last_addr: T,
}

Fields

shard: T

The shard number of the memory access.

timestamp: T

The timestamp of the memory access.

addr: T

The address of the memory access.

lt_cols: AssertLtColsBits<T, 32>

Comparison assertions for address to be strictly increasing.

addr_bits: BabyBearBitDecomposition<T>

A bit decomposition of addr.

value: [T; 32]

The value of the memory access.

is_real: T

Whether the memory access is a real access.

is_next_comp: T

Whether or not we are making the assertion addr < addr_next.

is_prev_addr_zero: IsZeroOperation<T>

A witness to assert whether or not we the previous address is zero.

is_first_comp: T

Auxilary column, equal to (1 - is_prev_addr_zero.result) * is_first_row.

is_last_addr: T

A flag to inidicate the last non-padded address. An auxiliary column needed for degree 3.

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for MemoryInitCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MemoryInitCols<T>

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

Formats the value using the given formatter.

impl<T: Copy> Copy for MemoryInitCols<T>