Module Plonk_dlog_proof.Challenge_polynomial

module Stable : sig ... end
type ('g, 'fq) t = ( 'g, 'fq ) Stable.Latest.t = {
challenges : 'fq array;
commitment : 'g;
}
val to_yojson : 'g 'fq. ( 'g -> Yojson.Safe.t ) -> ( 'fq -> Yojson.Safe.t ) -> ( 'g, 'fq ) t -> Yojson.Safe.t
val of_yojson : 'g 'fq. ( Yojson.Safe.t -> 'g Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'fq Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'g, 'fq ) t Ppx_deriving_yojson_runtime.error_or
val _ : ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) -> ( Yojson.Safe.t -> 'b Ppx_deriving_yojson_runtime.error_or ) -> Yojson.Safe.t -> ( 'a, 'b ) t Ppx_deriving_yojson_runtime.error_or
val t_of_sexp : 'g 'fq. ( Ppx_sexp_conv_lib.Sexp.t -> 'g ) -> ( Ppx_sexp_conv_lib.Sexp.t -> 'fq ) -> Ppx_sexp_conv_lib.Sexp.t -> ( 'g, 'fq ) t
val sexp_of_t : 'g 'fq. ( 'g -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'fq -> Ppx_sexp_conv_lib.Sexp.t ) -> ( 'g, 'fq ) t -> Ppx_sexp_conv_lib.Sexp.t
val compare : 'g 'fq. ( 'g -> 'g -> Core_kernel__.Import.int ) -> ( 'fq -> 'fq -> Core_kernel__.Import.int ) -> ( 'g, 'fq ) t -> ( 'g, 'fq ) t -> Core_kernel__.Import.int