fn scale_generator( s: &[bool; 255], init: &InnerCurve<Fp>, w: &mut Witness<Fp>, ) -> GroupAffine<Fp>