Function make_lagrange 

fn make_lagrange<F: FieldWitness>(
    srs: &mut SRS<F::OtherCurve>,
    domain_log2: u32,
) -> Vec<PolyComm<F::OtherCurve>>