Inputs (snark_worker.Snark_worker.Prod.Inputs)

module Ledger_proof = Ledger_proof.Prod

module Worker_state : sig ... end

type single_spec =
  ( Transaction_witness.Stable.Latest.t, Transaction_snark.Stable.Latest.t )
    Snark_work_lib.Work.Single.Spec.Stable.Latest.t

val bin_shape_single_spec : Core.Bin_prot.Shape.t

val __bin_read_single_spec__ : ( int -> single_spec ) Core.Bin_prot.Read.reader

val bin_read_single_spec : single_spec Core.Bin_prot.Read.reader

val bin_reader_single_spec : single_spec Core.Bin_prot.Type_class.reader

val bin_size_single_spec : single_spec Core.Bin_prot.Size.sizer

val bin_write_single_spec : single_spec Core.Bin_prot.Write.writer

val bin_writer_single_spec : single_spec Core.Bin_prot.Type_class.writer

val bin_single_spec : single_spec Core.Bin_prot.Type_class.t

val single_spec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> single_spec

val sexp_of_single_spec : single_spec -> Ppx_sexp_conv_lib.Sexp.t

type zkapp_command_inputs =
  (Transaction_witness.Zkapp_command_segment_witness.t
   * Transaction_snark.Zkapp_command_segment.Basic.t
   * Transaction_snark.Statement.With_sok.t)
    list

val zkapp_command_inputs_to_yojson : zkapp_command_inputs -> Yojson.Safe.t

val _ : zkapp_command_inputs -> Yojson.Safe.t

val zkapp_command_inputs_of_sexp : 
  Ppx_sexp_conv_lib.Sexp.t ->
  zkapp_command_inputs

val sexp_of_zkapp_command_inputs : 
  zkapp_command_inputs ->
  Ppx_sexp_conv_lib.Sexp.t

val perform_single : 
  Worker_state.t ->
  message:Mina_base.Sok_message.t ->
  single_spec ->
  (Transaction_snark.t * Core.Time.Span.t) Async.Deferred.Or_error.t