pub fn scale_non_constant<F: FieldWitness, const N: usize>(
g: GroupAffine<F>,
bits: &[bool; N],
init: &InnerCurve<F>,
w: &mut Witness<F>,
) -> GroupAffine<F>
pub fn scale_non_constant<F: FieldWitness, const N: usize>(
g: GroupAffine<F>,
bits: &[bool; N],
init: &InnerCurve<F>,
w: &mut Witness<F>,
) -> GroupAffine<F>