1-Inputs.Backend
type t = Field.t Kimchi_types.oracles
val create : Verifier_index.t -> Proof.Backend.t -> t