Zkapp_account (mina_base.Mina_base.Zkapp

module Event : sig ... end

module Make_events (Inputs : sig ... end) : sig ... end

module Events : sig ... end

module Sequence_events : sig ... end

module Zkapp_uri : sig ... end

module Poly : sig ... end

type ('app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri) t_ =
  ( 'app_state, 'vk, 'zkapp_version, 'field, 'slot, 'bool, 'zkapp_uri ) Poly.t =
  {

app_state : 'app_state;

verification_key : 'vk;

zkapp_version : 'zkapp_version;

sequence_state : 'field Pickles_types.Vector.Vector_5.t;

last_sequence_slot : 'slot;

proved_state : 'bool;

zkapp_uri : 'zkapp_uri;

}

module Stable : sig ... end

type t =
  ( Zkapp_state.Value.t,
    ( Side_loaded_verification_key.t, Zkapp_basic.F.t ) With_hash.t option,
    Mina_numbers.Zkapp_version.t,
    Zkapp_basic.F.t,
    Mina_numbers.Global_slot.t,
    bool,
    Zkapp_uri.t )
    Poly.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val _ : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val equal : t -> t -> bool

val compare : t -> t -> int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

module Checked : sig ... end

val digest_vk : Side_loaded_verification_key.t -> Random_oracle.Digest.t

val dummy_vk_hash : 
  ( Core_kernel__.Import.unit, Random_oracle.Digest.t ) Core_kernel.Memo.fn

val zkapp_uri_non_preimage : 
  Snark_params.Tick.Field.t Random_oracle_input.Chunked.t lazy_t

val hash_zkapp_uri_opt : string option -> Random_oracle.Digest.t

val hash_zkapp_uri : string -> Random_oracle.Digest.t

val typ : ( Checked.t, t ) Snark_params.Tick.Typ.t

val zkapp_uri_to_input : 
  string ->
  Random_oracle.Digest.t Random_oracle.Input.Chunked.t

val to_input : t -> Snark_params.Tick.Field.t Random_oracle.Input.Chunked.t

val default : 
  ( ( Zkapp_basic.F.t, Pickles_types__Nat.z Zkapp_state.Max_state_size.plus_n )
      Pickles_types.Vector.t,
    'a option,
    Mina_numbers.Zkapp_version.t,
    Random_oracle.Digest.t,
    Mina_numbers.Global_slot.t,
    bool,
    string )
    Poly.t

val digest : t -> Random_oracle.Digest.t

val default_digest : Random_oracle.Digest.t lazy_t

val hash_zkapp_account_opt' : t option -> Random_oracle.Digest.t