Module miden_air::trace::chiplets

Modules

• bitwise
• hasher
  TODO: add docs
• kernel_rom
• memory

Constants

• BITWISE_A_COL_IDX
  The index within the main trace of the bitwise column holding the aggregated value of input a.
• BITWISE_A_COL_RANGE
  The index range within the main trace for the bit decomposition of a for bitwise operations.
• BITWISE_B_COL_IDX
  The index within the main trace of the bitwise column holding the aggregated value of input b.
• BITWISE_B_COL_RANGE
  The index range within the main trace for the bit decomposition of b for bitwise operations.
• BITWISE_OUTPUT_COL_IDX
  The index within the main trace of the bitwise column containing the aggregated output value.
• BITWISE_PREV_OUTPUT_COL_IDX
  The index within the main trace of the bitwise column containing the aggregated output value of the previous row.
• BITWISE_SELECTOR_COL_IDX
  The index within the main trace of the bitwise column containing selector indicating the type of bitwise operation (AND or XOR)
• BITWISE_TRACE_OFFSET
  The first column of the bitwise chiplet.
• BITWISE_TRACE_RANGE
  The column index range for the main trace of the bitwise column
• HASHER_CAPACITY_COL_RANGE
  The range of columns in the execution trace that contains the capacity portion of the hasher state.
• HASHER_NODE_INDEX_COL_IDX
  The index of the hasher’s node index column in the execution trace.
• HASHER_RATE_COL_RANGE
  The range of columns in the execution trace that contains the rate portion of the hasher state.
• HASHER_SELECTOR_COL_RANGE
  The column index range in the execution trace containing the selector columns in the hasher.
• HASHER_STATE_COL_RANGE
  The range of columns in the execution trace that contain the hasher’s state.
• HASHER_TRACE_OFFSET
  The first column of the hash chiplet.
• MEMORY_ADDR_COL_IDX
  The index within the main trace of the column containing the memory address.
• MEMORY_CLK_COL_IDX
  The index within the main trace of the column containing the clock cycle of the memory access.
• MEMORY_CTX_COL_IDX
  The index within the main trace of the column containing the memory context.
• MEMORY_D0_COL_IDX
  The column index within the main trace for the lower 16-bits of the delta between two consecutive memory context IDs, addresses, or clock cycles.
• MEMORY_D1_COL_IDX
  The column index within the main trace for the upper 16-bits of the delta between two consecutive memory context IDs, addresses, or clock cycles.
• MEMORY_D_INV_COL_IDX
  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.
• MEMORY_SELECTORS_COL_IDX
  The index within the main trace of the column containing the first memory selector, which indicates the operation (read or write).
• MEMORY_TRACE_OFFSET
  The first column of the memory chiplet.
• MEMORY_V_COL_RANGE
  The column index range within the main trace which holds the memory value elements.
• NUM_BITWISE_SELECTORS
  The number of columns in the chiplets which are used as selectors for the bitwise chiplet.
• NUM_HASHER_SELECTORS
  The number of columns in the chiplets which are used as selectors for the hasher chiplet.
• NUM_KERNEL_ROM_SELECTORS
  The number of columns in the chiplets which are used as selectors for the kernel ROM chiplet.
• NUM_MEMORY_SELECTORS
  The number of columns in the chiplets which are used as selectors for the memory chiplet.