pub fn make_prover_index<C: ProofConstants, F: FieldWitness>(
gates: Vec<CircuitGate<F>>,
verifier_index: Option<Arc<VerifierIndex<F>>>,
) -> ProverIndex<F>
pub fn make_prover_index<C: ProofConstants, F: FieldWitness>(
gates: Vec<CircuitGate<F>>,
verifier_index: Option<Arc<VerifierIndex<F>>>,
) -> ProverIndex<F>