Module persistent 

Structs

FinalTouchedLabel

PersistentBoundaryAir

Imposes the following constraints:

PersistentBoundaryChip

PersistentBoundaryCols

The values describe aligned chunk of memory of size CHUNK—the data together with the last accessed timestamp—in either the initial or final memory state.

Constants

BLOCKS_PER_CHUNK

Number of DEFAULT_BLOCK_SIZE blocks per CHUNK (e.g., 2 for 8/4). Blocks are on the same row only for Merkle tree hashing (8 bytes at a time). Memory bus interactions use per-block timestamps.