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