pub fn new_index_for_test_with_lookups_and_custom_srs<G: KimchiCurve, OpeningProof: OpenProof<G>, F: FnMut(D<G::ScalarField>, usize) -> OpeningProof::SRS>(
gates: Vec<CircuitGate<G::ScalarField>>,
public: usize,
prev_challenges: usize,
lookup_tables: Vec<LookupTable<G::ScalarField>>,
runtime_tables: Option<Vec<RuntimeTableCfg<G::ScalarField>>>,
disable_gates_checks: bool,
override_srs_size: Option<usize>,
get_srs: F
) -> ProverIndex<G, OpeningProof>where
G::BaseField: PrimeField,
G::ScalarField: PrimeField + SquareRootField,