penumbra_num::fixpoint

Function bit_constrain

Source
pub fn bit_constrain(
    value: FqVar,
    n: usize,
) -> Result<Vec<Boolean<Fq>>, SynthesisError>
Expand description

Bit constrain for FqVar and return number of bits