Function plonk_gadgets::range::range_check[][src]

pub fn range_check(
    composer: &mut StandardComposer,
    min_range: BlsScalar,
    max_range: BlsScalar,
    witness: AllocatedScalar
) -> Variable
Expand description

Returns a 1 if min_range <= x < max_range and zero otherwise