Modules§
Structs§
- Memory
Access Cols - Memory Access Columns
- Memory
Access Cols U8 - Memory Access Columns for u8 limbs
- Memory
Access Timestamp - Memory Access Timestamp
- Memory
Bump Chip - Memory
Bump Cols - Memory
Global Chip - A memory chip that can initialize or finalize values in memory.
- Memory
Init Cols - Memory
Local Chip - Memory
Local Cols - Page
Prot Access Cols - Page Permission Access Columns, when the shard and previous shard are known to be equal
- Page
Prot Chip - Page
Prot Cols - Page
Prot Global Chip - A memory chip that can initialize or finalize values in memory.
- Page
Prot Init Cols - Page
Prot Local Chip - Page
Prot Local Cols - Register
Access Cols - Register Access Columns
- Register
Access Timestamp - Register Access Timestamp. The register accesses use the same argument as the memory accesses,
and shares the same space as the memory. This structure is used for register accesses in RISC-V.
For optimization, we ensure that all register accesses have the high limb of the timestamp and
previous timestamp to be equal. This is done through adding in a “shadow” read, through the
MemoryBumpchip. Therefore, only the columns for low limb comparison is needed here. - Single
Memory Local - Single
Page Prot Cols - Single
Page Prot Local
Enums§
- Memory
Chip Type - The type of global/local memory chip that is being initialized.