fn scale_fast2_prime<F: FieldWitness>(
g: CircuitVar<InnerCurve<F>>,
s: F,
num_bits: usize,
w: &mut Witness<F>,
) -> GroupAffine<F>
fn scale_fast2_prime<F: FieldWitness>(
g: CircuitVar<InnerCurve<F>>,
s: F,
num_bits: usize,
w: &mut Witness<F>,
) -> GroupAffine<F>