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