Function plonk_gadgets::range::max_bound

pub fn max_bound(
    composer: &mut StandardComposer, 
    max_range: BlsScalar, 
    witness: AllocatedScalar
) -> (Variable, u64)

Returns a 0 or a 1, if the witness is greater than the maximum bound x < b which implies that b - x - 1 >= 0 Note that since the maximum bound is public knowledge the num_bits can be computed