V1 (kimchi_backend.Kimchi_backend_common.Plonk_dlog_proof.Challenge

type ('g, 'fq) 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 version : int

val __versioned__ : unit

val bin_shape_t : 
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t ->
  Core_kernel.Bin_prot.Shape.t

val bin_size_t : 
  'g 'fq. 'g Core_kernel.Bin_prot.Size.sizer ->
  'fq Core_kernel.Bin_prot.Size.sizer ->
  ( 'g, 'fq ) t Core_kernel.Bin_prot.Size.sizer

val bin_write_t : 
  'g 'fq. 'g Core_kernel.Bin_prot.Write.writer ->
  'fq Core_kernel.Bin_prot.Write.writer ->
  ( 'g, 'fq ) t Core_kernel.Bin_prot.Write.writer

val bin_writer_t : 
  'a Core_kernel.Bin_prot.Type_class.writer ->
  'b Core_kernel.Bin_prot.Type_class.writer ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.writer

val __bin_read_t__ : 
  'g 'fq. 'g Core_kernel.Bin_prot.Read.reader ->
  'fq Core_kernel.Bin_prot.Read.reader ->
  ( int -> ( 'g, 'fq ) t ) Core_kernel.Bin_prot.Read.reader

val bin_read_t : 
  'g 'fq. 'g Core_kernel.Bin_prot.Read.reader ->
  'fq Core_kernel.Bin_prot.Read.reader ->
  ( 'g, 'fq ) t Core_kernel.Bin_prot.Read.reader

val bin_reader_t : 
  'a Core_kernel.Bin_prot.Type_class.reader ->
  'b Core_kernel.Bin_prot.Type_class.reader ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.reader

val bin_t : 
  'a Core_kernel.Bin_prot.Type_class.t ->
  'b Core_kernel.Bin_prot.Type_class.t ->
  ( 'c, 'd ) t Core_kernel.Bin_prot.Type_class.t

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

val to_latest : 'a -> 'a