S (transaction_snark.Transaction

include Verification.S

val tag : tag

val verify : (t * Mina_base.Sok_message.t) list -> bool Async.Deferred.t

val id : Pickles.Verification_key.Id.t Core.Lazy.t

val verification_key : Pickles.Verification_key.t Core.Lazy.t

val verify_against_digest : t -> bool Async.Deferred.t

val constraint_system_digests : (string * Md5_lib.t) list Core.Lazy.t

val constraint_constants : Genesis_constants.Constraint_constants.t

val cache_handle : Pickles.Cache_handle.t

val of_non_zkapp_command_transaction : 
  statement:Statement.With_sok.t ->
  init_stack:Mina_base.Pending_coinbase.Stack.t ->
  Mina_transaction.Transaction.Valid.t Transaction_protocol_state.t ->
  Snark_params.Tick.Handler.t ->
  t Async.Deferred.t

val of_user_command : 
  statement:Statement.With_sok.t ->
  init_stack:Mina_base.Pending_coinbase.Stack.t ->
  Mina_base.Signed_command.With_valid_signature.t Transaction_protocol_state.t ->
  Snark_params.Tick.Handler.t ->
  t Async.Deferred.t

val of_fee_transfer : 
  statement:Statement.With_sok.t ->
  init_stack:Mina_base.Pending_coinbase.Stack.t ->
  Mina_base.Fee_transfer.t Transaction_protocol_state.t ->
  Snark_params.Tick.Handler.t ->
  t Async.Deferred.t

val of_zkapp_command_segment_exn : 
  statement:Statement.With_sok.t ->
  witness:Zkapp_command_segment.Witness.t ->
  spec:Zkapp_command_segment.Basic.t ->
  t Async.Deferred.t

val merge : 
  t ->
  t ->
  sok_digest:Mina_base.Sok_message.Digest.t ->
  t Async.Deferred.Or_error.t