pub fn dummy_ipa_step_sg() -> (Fq, Fq)
Value of Dummy.Ipa.Step.sg TODO: Compute it instead of hardcoded values
Dummy.Ipa.Step.sg