fn scale_fast22<F: FieldWitness>(
g: CircuitVar<GroupAffine<F>>,
(s_div_2, s_odd): (F, Boolean),
num_bits: usize,
w: &mut Witness<F>,
) -> GroupAffine<F>
fn scale_fast22<F: FieldWitness>(
g: CircuitVar<GroupAffine<F>>,
(s_div_2, s_odd): (F, Boolean),
num_bits: usize,
w: &mut Witness<F>,
) -> GroupAffine<F>