Make (mina_transaction_logic.Mina_transaction

Parameters

module L : Mina_base.Ledger_intf.S

Signature

module Transaction_applied : sig ... end

module Global_state : sig ... end

val apply_user_command : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Global_slot.t ->
  L.t ->
  Mina_base.Signed_command.With_valid_signature.t ->
  Transaction_applied.Signed_command_applied.t Core_kernel.Or_error.t

val apply_user_command_unchecked : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Global_slot.t ->
  L.t ->
  Mina_base.Signed_command.t ->
  Transaction_applied.Signed_command_applied.t Core_kernel.Or_error.t

val update_sequence_state : 
  Snark_params.Tick.Field.t Pickles_types.Vector.Vector_5.t ->
  Mina_base.Zkapp_account.Sequence_events.t ->
  txn_global_slot:Global_slot.t ->
  last_sequence_slot:Global_slot.t ->
  Snark_params.Tick.Field.t Pickles_types.Vector.Vector_5.t * Global_slot.t

val apply_zkapp_command_unchecked : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  L.t ->
  Mina_base.Zkapp_command.t ->
  (Transaction_applied.Zkapp_command_applied.t
   * (( Mina_base.Stack_frame.value,
        Mina_base.Stack_frame.value list,
        Mina_base.Token_id.t,
        Currency.Amount.Signed.t,
        L.t,
        bool,
        Mina_base.Zkapp_command.Transaction_commitment.t,
        Mina_numbers.Index.t,
        Mina_base.Transaction_status.Failure.Collection.t )
        Zkapp_command_logic.Local_state.t
      * Currency.Amount.Signed.t))
    Core_kernel.Or_error.t

val apply_zkapp_command_unchecked_aux : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  init:'acc ->
  f:
    ( 'acc ->
      (Global_state.t
       * ( Mina_base.Stack_frame.value,
           Mina_base.Stack_frame.value list,
           Mina_base.Token_id.t,
           Currency.Amount.Signed.t,
           L.t,
           bool,
           Mina_base.Zkapp_command.Transaction_commitment.t,
           Mina_numbers.Index.t,
           Mina_base.Transaction_status.Failure.Collection.t )
           Zkapp_command_logic.Local_state.t) ->
      'acc ) ->
  ?fee_excess:Currency.Amount.Signed.t ->
  ?supply_increase:Currency.Amount.Signed.t ->
  L.t ->
  Mina_base.Zkapp_command.t ->
  (Transaction_applied.Zkapp_command_applied.t * 'acc) Core_kernel.Or_error.t

Apply all zkapp_command within a zkapp_command transaction. This behaves as apply_zkapp_command_unchecked, except that the ~init and ~f arguments are provided to allow for the accumulation of the intermediate states.

Invariant: f is always applied at least once, so it is valid to use an _ option as the initial state and call Option.value_exn on the accumulated result.

This can be used to collect the intermediate states to make them available for snark work. In particular, since the transaction snark has a cap on the number of zkapp_command of each kind that may be included, we can use this to retrieve the (source, target) pairs for each batch of zkapp_command to include in the snark work spec / transaction snark witness.

val apply_fee_transfer : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Global_slot.t ->
  L.t ->
  Mina_base.Fee_transfer.t ->
  Transaction_applied.Fee_transfer_applied.t Core_kernel.Or_error.t

val apply_coinbase : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_global_slot:Global_slot.t ->
  L.t ->
  Mina_base.Coinbase.t ->
  Transaction_applied.Coinbase_applied.t Core_kernel.Or_error.t

val apply_transaction : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  txn_state_view:Mina_base.Zkapp_precondition.Protocol_state.View.t ->
  L.t ->
  Mina_transaction.Transaction.t ->
  Transaction_applied.t Core_kernel.Or_error.t

val has_locked_tokens : 
  global_slot:Global_slot.t ->
  account_id:Mina_base.Account_id.t ->
  L.t ->
  bool Core_kernel.Or_error.t

module For_tests : sig ... end