Commands (zkapp_test_transaction_lib.Zkapp_test_transaction

module Ledger = Mina_ledger.Ledger

val constraint_constants : Genesis_constants.Constraint_constants.t

val proof_level : Genesis_constants.Proof_level.t

val underToCamel : string -> string

val graphql_zkapp_command : Mina_base.Zkapp_command.t -> string

val parse_field_element_or_hash_string : 
  string ->
  f:( Snark_params.Tick.Field.t -> 'a ) ->
  'b

val vk_and_prover : 
  ([> `VK of
        ( Mina_base.Side_loaded_verification_key.t, Snark_params.Tick.Field.t )
          With_hash.t ]
   * [> `Prover of
          ?handler:
            ( Snarky_backendless.Request.request ->
              Snarky_backendless.Request.response ) ->
          Mina_base.Zkapp_statement.t ->
          (unit
           * unit
           * ( Pickles_types.Nat.N2.n, Pickles_types.Nat.N2.n ) Pickles.Proof.t)
            Async.Deferred.t ])
    lazy_t

val gen_proof : 
  ?zkapp_account:Mina_base_import.Public_key.Compressed.t option ->
  Mina_base.Zkapp_command.t ->
  unit Async_kernel__Deferred.t

val generate_zkapp_txn : 
  Signature_lib.Keypair.t ->
  Ledger.t ->
  zkapp_kp:Signature_lib.Keypair.t ->
  unit Async_kernel__Deferred.t

module App_state : sig ... end

module Events : sig ... end

module Util : sig ... end

val test_zkapp_with_genesis_ledger_main : 
  string ->
  string ->
  string ->
  unit ->
  unit Async_kernel__Deferred.t

val create_zkapp_account : 
  debug:bool ->
  sender:string ->
  sender_nonce:Mina_base.Account.Nonce.t ->
  fee:Currency.Fee.t ->
  fee_payer:string ->
  fee_payer_nonce:Mina_base.Account.Nonce.t ->
  zkapp_keyfile:string ->
  amount:Currency.Amount.t ->
  memo:string option ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val upgrade_zkapp : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  zkapp_keyfile:string ->
  verification_key:string ->
  zkapp_uri:string Mina_base.Zkapp_basic.Set_or_keep.t ->
  auth:Mina_base.Permissions.Auth_required.t ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val transfer_funds : 
  debug:bool ->
  sender:string ->
  sender_nonce:Mina_base.Account.Nonce.t ->
  fee:Currency.Fee.t ->
  fee_payer:string ->
  fee_payer_nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  receivers:
    (Signature_lib.Public_key.Compressed.t * Currency.Amount.t) list
      Async_kernel__Deferred.t ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val update_state : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  zkapp_keyfile:string ->
  app_state:string list ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val update_zkapp_uri : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  snapp_keyfile:string ->
  zkapp_uri:string ->
  auth:Mina_base.Permissions.Auth_required.t ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val update_sequence_state : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  zkapp_keyfile:string ->
  sequence_state:string Core.Array.t list ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val update_token_symbol : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  snapp_keyfile:string ->
  token_symbol:Mina_base.Account.Token_symbol.t ->
  auth:Mina_base.Permissions.Auth_required.t ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t

val update_permissions : 
  debug:bool ->
  keyfile:string ->
  fee:Currency.Fee.t ->
  nonce:Mina_base.Account.Nonce.t ->
  memo:string option ->
  zkapp_keyfile:string ->
  permissions:Mina_base.Permissions.t Mina_base.Zkapp_basic.Set_or_keep.t ->
  current_auth:Mina_base.Permissions.Auth_required.t ->
  Mina_base.Zkapp_command.t Async_kernel__Deferred.t