Function darkfi::zk::gadget::small_range_check::range_check
source · pub fn range_check<F: WithSmallOrderMulGroup<3> + Ord>(
word: Expression<F>,
range: u8,
) -> Expression<F>
Expand description
Checks that an expression is in the small range [0..range), i.e. 0 ≤ word < range.