1-Inputs.Verifier_index
type t = ( Scalar_field.t, Urs.t, Poly_comm.Backend.t ) Kimchi_types.VerifierIndex.verifier_index
val create : Index.t -> t