pub fn bit_constrain( value: FqVar, n: usize, ) -> Result<Vec<Boolean<Fq>>, SynthesisError>
Bit constrain for FqVar and return number of bits