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,
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,