Transaction_snark_profiler (init.Init.Transaction_snark

val name : string

val constraint_constants : Genesis_constants.Constraint_constants.t

val genesis_constants : Genesis_constants.t

val proof_level : Genesis_constants.Proof_level.t

module Sparse_ledger : sig ... end

val create_ledger_and_transactions : 
  [< `Count of int | `Two_from_same ] ->
  Mina_ledger.Ledger.t
  * ( Mina_base.Signed_command.With_valid_signature.t, 'a )
      Mina_base.User_command.t_
      Mina_transaction.Transaction.t_
      list

module Transaction_key : sig ... end

module Time_values : sig ... end

val transaction_combinations : 
  (Mina_base.Zkapp_command.t * Time_values.t * string) Transaction_key.Table.t

val create_ledger_and_zkapps : 
  ?min_num_updates:Core_kernel__Int.t ->
  max_num_updates:Core_kernel__Int.t ->
  Mina_ledger.Ledger.t * Mina_base.Zkapp_command.t list

val _create_ledger_and_zkapps_from_generator : 
  [< `Count of Core_kernel__.Import.int | `Two_from_same ] ->
  Mina_ledger.Ledger.t * Mina_base.Zkapp_command.t list

val time : ( unit -> 'a ) -> Core__.Import.Time.Span.t * 'b

val pair_up : 'a list -> ('b * 'c) list

val precomputed_values : Genesis_proof.Inputs.t Stdlib.Lazy.t

val state_body : 
  ( Mina_wire_types.Mina_base_state_hash.V1.t,
    Mina_wire_types.Mina_state_blockchain_state.Value.V2.t,
    Mina_wire_types.Consensus.Data.Consensus_state.Value.V1.t,
    Mina_wire_types.Mina_base_protocol_constants_checked.Value.V1.t )
    Mina_wire_types__Mina_state_protocol_state.M.Body.Poly.V1.t
    Core.Lazy.t

val curr_state_view : 
  Mina_base.Zkapp_precondition.Protocol_state.View.t Core.Lazy.t

val state_body_hash : Mina_base.State_body_hash.t Core.Lazy.t

val pending_coinbase_stack_target : 
  Mina_transaction.Transaction.t ->
  Mina_base.Pending_coinbase.Stack.t ->
  Mina_base.Pending_coinbase.Stack.t

val format_time_span : Core.Time.Span.t -> string

val profile_user_command : 
  (module Transaction_snark.S) ->
  ( Mina_base.Ledger_hash.Stable.V1.t,
    Mina_base.Account_id.Stable.V2.t,
    Mina_base.Account.Stable.V2.t )
    Sparse_ledger_lib.Sparse_ledger.T.Stable.V2.t ->
  Mina_transaction.Transaction.Valid.t list ->
  'a ->
  string Async.Deferred.t

val profile_zkapps : 
  verifier:Verifier.t ->
  Mina_ledger.Ledger.t ->
  Mina_base.Zkapp_command.t list ->
  string Async_kernel__Deferred.t

val check_base_snarks : 
  ( Mina_base.Ledger_hash.Stable.V1.t,
    Mina_base.Account_id.Stable.V2.t,
    Mina_base.Account.Stable.V2.t )
    Sparse_ledger_lib.Sparse_ledger.T.Stable.V2.t ->
  Mina_transaction.Transaction.Valid.t list ->
  bool option ->
  string Async.Deferred.t

val generate_base_snarks_witness : 
  ( Mina_base.Ledger_hash.Stable.V1.t,
    Mina_base.Account_id.Stable.V2.t,
    Mina_base.Account.Stable.V2.t )
    Sparse_ledger_lib.Sparse_ledger.T.Stable.V2.t ->
  Mina_transaction.Transaction.Valid.t list ->
  bool option ->
  string Async.Deferred.t

val run : 
  user_command_profiler:
    ( Mina_ledger.Sparse_ledger.t ->
      ( Mina_base.Signed_command.With_valid_signature.t, 'a )
        Mina_base.User_command.t_
        Mina_transaction.Transaction.t_
        list ->
      'b ->
      string Async_kernel.Deferred.t ) ->
  zkapp_profiler:
    ( verifier:Verifier.t ->
      Mina_ledger.Ledger.t ->
      Mina_base.Zkapp_command.t list ->
      string Async_kernel.Deferred.t ) ->
  [< `Count of int | `Two_from_same ] ->
  max_num_updates:Core_kernel__Int.t ->
  ?min_num_updates:Core_kernel__Int.t ->
  Core_kernel__Int.t ->
  'c ->
  bool ->
  unit

val main : 
  max_num_updates:Core_kernel__Int.t ->
  ?min_num_updates:Core_kernel__Int.t ->
  [< `Count of int | `Two_from_same ] ->
  Core_kernel__Int.t ->
  'a ->
  bool ->
  unit ->
  unit

val dry : 
  max_num_updates:Core_kernel__Int.t ->
  ?min_num_updates:Core_kernel__Int.t ->
  [< `Count of int | `Two_from_same ] ->
  Core_kernel__Int.t ->
  bool option ->
  bool ->
  unit ->
  unit

val witness : 
  max_num_updates:Core_kernel__Int.t ->
  ?min_num_updates:Core_kernel__Int.t ->
  [< `Count of int | `Two_from_same ] ->
  Core_kernel__Int.t ->
  bool option ->
  bool ->
  unit ->
  unit

val command : Core.Command.t