fn scale_for_ft_comm(
g: CircuitVar<GroupAffine<Fp>>,
f: <Fq as FieldWitness>::Shifting,
w: &mut Witness<Fp>,
) -> GroupAffine<Fp>
fn scale_for_ft_comm(
g: CircuitVar<GroupAffine<Fp>>,
f: <Fq as FieldWitness>::Shifting,
w: &mut Witness<Fp>,
) -> GroupAffine<Fp>