pub fn new_index_for_test<const FULL_ROUNDS: usize, G: KimchiCurve<FULL_ROUNDS>>(
gates: Vec<CircuitGate<G::ScalarField>>,
public: usize,
) -> ProverIndex<FULL_ROUNDS, G, SRS<G>>where
G::BaseField: PrimeField,
G::ScalarField: PrimeField,