1-Inputs.Proof
type t
module Challenge_polynomial : Intf.T0
module Backend : sig ... end
val to_backend : Challenge_polynomial.t list -> Field.t list -> t -> Backend.t