pub fn new_test_qap() -> QAP {
    let r5: FE = test_qap_r5();
    let r6: FE = test_qap_r6();

    let t: Polynomial<FE> =
        Polynomial::new(&[-&r5, FE::from(1)]) * Polynomial::new(&[-&r6, FE::from(1)]);

    let vs: Vec<Polynomial<FE>> = vec![
        //v0
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        //v1
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(1)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(1)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(1), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
    ];

    let ws: Vec<Polynomial<FE>> = vec![
        //w0
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        //w1
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(1), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(1)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
    ];

    let ys: Vec<Polynomial<FE>> = vec![
        //y0
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        //y1
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(0), FE::from(0)]).unwrap(),
        Polynomial::interpolate(&[r5.clone(), r6.clone()], &[FE::from(1), FE::from(0)]).unwrap(),
        Polynomial::interpolate(
            &[r5.clone(), r6.clone().clone()],
            &[FE::from(0), FE::from(1)],
        )
        .unwrap(),
    ];

    QAP::new(vs, ws, ys, t, 4, 1).unwrap()
}
Test qap based on pinocchios paper example.
examples/pinocchio/src/test_utils.rs