Function gadgets::range_check
source · pub fn range_check<F: Field>(word: Expression<F>, range: usize) -> Expression<F>Expand description
Restrict an expression such that 0 <= word < range.
pub fn range_check<F: Field>(word: Expression<F>, range: usize) -> Expression<F>Restrict an expression such that 0 <= word < range.