pub fn u64_into_boolean_vec_le<Scalar, CS>(
    cs: CS,
    value: Option<u64>
) -> Result<Vec<Boolean, Global>, SynthesisError>where
    Scalar: PrimeField,
    CS: ConstraintSystem<Scalar>,