V2 (pickles_base.Pickles_base.Side_loaded_verification

type ('g, 'proofs_verified, 'vk) t =
  ( 'g, 'proofs_verified, 'vk )
    Mina_wire_types.Pickles_base.Side_loaded_verification_key.Poly.V2.t =
  {

max_proofs_verified : 'proofs_verified;

actual_wrap_domain_size : 'proofs_verified;

wrap_index : 'g Pickles_types.Plonk_verification_key_evals.Stable.V2.t;

wrap_vk : 'vk option;

}

val hash_fold_t : 
  ( Ppx_hash_lib.Std.Hash.state -> 'g -> Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state ->
    'proofs_verified ->
    Ppx_hash_lib.Std.Hash.state ) ->
  ( Ppx_hash_lib.Std.Hash.state -> 'vk -> Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  ( 'g, 'proofs_verified, 'vk ) t ->
  Ppx_hash_lib.Std.Hash.state

include Pickles_types.Sigs.Binable.S3
  with type ('a, 'b, 'c) t := ( 'a, 'b, 'c ) t

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

val bin_size_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Size.sizer3

val bin_write_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Write.writer3

val bin_read_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Read.reader3

val __bin_read_t__ : 
  ( 'a, 'b, 'c, int -> ( 'a, 'b, 'c ) t ) Bin_prot.Read.reader3

val bin_writer_t : 
  ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.writer

val bin_reader_t : 
  ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.reader

val bin_t : ( 'a, 'b, 'c, ( 'a, 'b, 'c ) t ) Bin_prot.Type_class.S3.t

include Pickles_types.Sigs.VERSIONED

val version : int

val __versioned__ : unit