pub fn new_index_for_test<G: KimchiCurve>(
    gates: Vec<CircuitGate<G::ScalarField>>,
    public: usize
) -> ProverIndex<G, OpeningProof<G>>where
    G::BaseField: PrimeField,
    G::ScalarField: PrimeField + SquareRootField,