miden_air/trace/range.rs
1use super::{RANGE_CHECK_AUX_TRACE_OFFSET, RANGE_CHECK_TRACE_OFFSET};
2
3// CONSTANTS
4// ================================================================================================
5
6// --- Column accessors in the main trace ---------------------------------------------------------
7
8/// A column to hold the multiplicity of how many times the value is being range-checked.
9pub const M_COL_IDX: usize = RANGE_CHECK_TRACE_OFFSET;
10/// A column to hold the values being range-checked.
11pub const V_COL_IDX: usize = RANGE_CHECK_TRACE_OFFSET + 1;
12
13// --- Column accessors in the auxiliary columns --------------------------------------------------
14
15/// The running product column used for verifying that the range check lookups performed in the
16/// Stack and the Memory chiplet match the values checked in the Range Checker.
17pub const B_RANGE_COL_IDX: usize = RANGE_CHECK_AUX_TRACE_OFFSET;