Make (mina_transaction_logic.Mina_transaction_logic.Zkapp_command

Parameters

module Inputs : Inputs_intf

Signature

val default_caller : Inputs.Token_id.t

val stack_frame_default : unit -> Inputs.Stack_frame.t

val assert_ : pos:(string * int * int * int) -> Inputs.Bool.t -> unit

val pop_call_stack : 
  Inputs.Call_stack.t ->
  Inputs.Stack_frame.t * Inputs.Call_stack.t

type get_next_account_update_result = {

account_update : Inputs.Account_update.t;

account_update_forest : Inputs.Call_forest.t;

new_call_stack : Inputs.Call_stack.t;

new_frame : Inputs.Stack_frame.t;

}

val get_next_account_update : 
  Inputs.Stack_frame.t ->
  Inputs.Call_stack.t ->
  get_next_account_update_result

val update_sequence_state : 
  ( Inputs.Field.t,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t ->
  Inputs.Sequence_events.t ->
  txn_global_slot:Inputs.Global_slot.t ->
  last_sequence_slot:Inputs.Global_slot.t ->
  ( Inputs.Field.t,
    Pickles_types.Nat.z Pickles_types.Nat.s Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s
      Pickles_types.Nat.s )
    Pickles_types.Vector.t
  * Inputs.Global_slot.t

val apply : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  is_start:
    [ `Compute of ( Inputs.Call_forest.t, Inputs.Field.t ) Start_data.t
    | `No
    | `Yes of ( Inputs.Call_forest.t, Inputs.Field.t ) Start_data.t ] ->
  < account : Inputs.Account.t
    ; account_update : Inputs.Account_update.t
    ; amount : Inputs.Amount.t
    ; bool : Inputs.Bool.t
    ; failure : Inputs.Bool.failure_status
    ; full_transaction_commitment : Inputs.Transaction_commitment.t
    ; global_state : Inputs.Global_state.t
    ; local_state : Inputs.Local_state.t
    ; protocol_state_precondition : Inputs.Protocol_state_precondition.t
    ; transaction_commitment : Inputs.Transaction_commitment.t.. >
    handler ->
  (Inputs.Global_state.t * Inputs.Local_state.t) ->
  Inputs.Global_state.t
  * ( Inputs.Stack_frame.t,
      Inputs.Call_stack.t,
      Inputs.Token_id.t,
      Inputs.Amount.Signed.t,
      Inputs.Ledger.t,
      Inputs.Bool.t,
      Inputs.Transaction_commitment.t,
      Inputs.Index.t,
      Inputs.Bool.failure_status_tbl )
      Local_state.t

val step : 
  < account : Inputs.Account.t
    ; account_update : Inputs.Account_update.t
    ; amount : Inputs.Amount.t
    ; bool : Inputs.Bool.t
    ; failure : Inputs.Bool.failure_status
    ; full_transaction_commitment : Inputs.Transaction_commitment.t
    ; global_state : Inputs.Global_state.t
    ; local_state : Inputs.Local_state.t
    ; protocol_state_precondition : Inputs.Protocol_state_precondition.t
    ; transaction_commitment : Inputs.Transaction_commitment.t.. >
    handler ->
  (Inputs.Global_state.t * Inputs.Local_state.t) ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Inputs.Global_state.t
  * ( Inputs.Stack_frame.t,
      Inputs.Call_stack.t,
      Inputs.Token_id.t,
      Inputs.Amount.Signed.t,
      Inputs.Ledger.t,
      Inputs.Bool.t,
      Inputs.Transaction_commitment.t,
      Inputs.Index.t,
      Inputs.Bool.failure_status_tbl )
      Local_state.t

val start : 
  ( Inputs.Call_forest.t, Inputs.Field.t ) Start_data.t ->
  < account : Inputs.Account.t
    ; account_update : Inputs.Account_update.t
    ; amount : Inputs.Amount.t
    ; bool : Inputs.Bool.t
    ; failure : Inputs.Bool.failure_status
    ; full_transaction_commitment : Inputs.Transaction_commitment.t
    ; global_state : Inputs.Global_state.t
    ; local_state : Inputs.Local_state.t
    ; protocol_state_precondition : Inputs.Protocol_state_precondition.t
    ; transaction_commitment : Inputs.Transaction_commitment.t.. >
    handler ->
  (Inputs.Global_state.t * Inputs.Local_state.t) ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  Inputs.Global_state.t
  * ( Inputs.Stack_frame.t,
      Inputs.Call_stack.t,
      Inputs.Token_id.t,
      Inputs.Amount.Signed.t,
      Inputs.Ledger.t,
      Inputs.Bool.t,
      Inputs.Transaction_commitment.t,
      Inputs.Index.t,
      Inputs.Bool.failure_status_tbl )
      Local_state.t