Struct sp1_core::memory::MemoryAccessCols

#[repr(C)]
pub struct MemoryAccessCols<T> {
    pub value: Word<T>,
    pub prev_shard: T,
    pub prev_clk: T,
    pub compare_clk: T,
    pub diff_16bit_limb: T,
    pub diff_8bit_limb: T,
}

Fields

value: Word<T>

The value of the memory access.

prev_shard: T

The previous shard and timestamp that this memory access is being read from.

prev_clk: T

compare_clk: T

This will be true if the current shard == prev_access’s shard, else false.

diff_16bit_limb: T

The following columns are decomposed limbs for the difference between the current access’s timestamp and the previous access’s timestamp. Note the actual value of the timestamp is either the accesses’ shard or clk depending on the value of compare_clk. This column is the least significant 16 bit limb of current access timestamp - prev access timestamp.

diff_8bit_limb: T

This column is the most signficant 8 bit limb of current access timestamp - prev access timestamp.

Trait Implementations

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

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

Immutably borrows from an owned value.

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

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for MemoryAccessCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for MemoryAccessCols<T>

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

Formats the value using the given formatter.

impl<T: Default> Default for MemoryAccessCols<T>

fn default() -> MemoryAccessCols<T>

Returns the “default value” for a type.

impl<T: Copy> Copy for MemoryAccessCols<T>