Skip to main content

MEMORY_D_INV_COL_IDX

Constant MEMORY_D_INV_COL_IDX 

Source
pub const MEMORY_D_INV_COL_IDX: usize = _; // 67usize
Expand description

The column index within the main trace for the inverse of the delta between two consecutive memory context IDs, addresses, or clock cycles, used to enforce that changes are correctly constrained.