Constantsยง
- B_
RANGE_ COL_ IDX - The running product column used for verifying that the range check lookups performed in the Stack and the Memory chiplet match the values checked in the Range Checker.
- M_
COL_ IDX - A column to hold the multiplicity of how many times the value is being range-checked.
- V_
COL_ IDX - A column to hold the values being range-checked.