Module sp1_recursion_core::range_check::columns

Structs

• RangeCheckMultCols
  For each byte operation in the preprocessed table, a corresponding RangeCheckMultCols row tracks the number of times the operation is used.
• RangeCheckPreprocessedCols

Constants

• NUM_RANGE_CHECK_MULT_COLS
  The number of multiplicity columns for RangeCheckChip.
• NUM_RANGE_CHECK_PREPROCESSED_COLS
  The number of main trace columns for RangeCheckChip.