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.