Constant kimchi::circuits::lookup::tables::range_check::RANGE_CHECK_UPPERBOUND

source · 
pub const RANGE_CHECK_UPPERBOUND: u32 = _; // 4_096u32
Expand description

The range check will be performed on 12-bit values, i.e. those in [0, 2^12)