pub fn create_oracle<F: FieldWitness>(
verifier_index: &VerifierIndex<F>,
proof_with_public: &ProofWithPublic<F>,
) -> Oracles<F>
pub fn create_oracle<F: FieldWitness>(
verifier_index: &VerifierIndex<F>,
proof_with_public: &ProofWithPublic<F>,
) -> Oracles<F>