pub fn new_index_for_test_with_lookups<G: KimchiCurve>(
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>
) -> ProverIndex<G, OpeningProof<G>>where
G::BaseField: PrimeField,
G::ScalarField: PrimeField,
Expand description
Create new index for lookups.
Will panic if constraint system
is not built with gates
input.