Scan_state (staged_ledger.Staged_ledger.Scan

module Stable : sig ... end

type t = Stable.Latest.t

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

module Job_view : sig ... end

module Space_partition : sig ... end

val hash : t -> Mina_base.Staged_ledger_hash.Aux_hash.t

val empty : 
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  unit ->
  t

val snark_job_list_json : t -> string

val staged_transactions : 
  t ->
  Mina_transaction.Transaction.t Mina_base.With_status.t list

val staged_transactions_with_protocol_states : 
  t ->
  get_state:
    ( Mina_base.State_hash.t ->
      Mina_state.Protocol_state.value Core_kernel.Or_error.t ) ->
  (Mina_transaction.Transaction.t Mina_base.With_status.t
   * Mina_state.Protocol_state.value)
    list
    Core_kernel.Or_error.t

val all_work_statements_exn : t -> Transaction_snark_work.Statement.t list

val required_state_hashes : t -> Mina_base.State_hash.Set.t

Hashes of the protocol states required for proving pending transactions

val check_required_protocol_states : 
  t ->
  protocol_states:
    Mina_state.Protocol_state.value Mina_base.State_hash.With_state_hashes.t
      list ->
  Mina_state.Protocol_state.value Mina_base.State_hash.With_state_hashes.t list
    Core_kernel.Or_error.t

Validate protocol states required for proving the transactions. Returns an association list of state_hash and the corresponding state