pub fn create_oracle_with_public_input<F: FieldWitness>(
verifier_index: &VerifierIndex<F>,
proof: &ProverProof<F>,
public_input: &[F],
) -> Oracles<F>
pub fn create_oracle_with_public_input<F: FieldWitness>(
verifier_index: &VerifierIndex<F>,
proof: &ProverProof<F>,
public_input: &[F],
) -> Oracles<F>