Module sp1_recursion_core::memory

Structs

• MemoryAccessCols
• MemoryGlobalChip
• MemoryInitCols
• MemoryReadCols
  NOTE: These are very similar to core/src/memory/columns.rs The reason we cannot use those structs directly is that they use “shard”. In our recursive VM, we don’t have shards, we only have clk (i.e. timestamp). Memory read access.
• MemoryReadSingleCols
  Memory read access of a single field element.
• MemoryReadWriteCols
  Memory read-write access.
• MemoryReadWriteSingleCols
  Memory read-write access of a single field element.
• MemoryRecord

Traits

• MemoryAccessTimestampCols
• MemoryCols
  The common columns for all memory access types.

Functions

• compute_addr_diff
  Computes the difference between the addr and prev_addr and returns the 16-bit limb and 12-bit limbs of the difference.