Genesis_ledger_helper (genesis_ledger_helper.Genesis_ledger

include module type of struct include Genesis_ledger_helper_lib end

module Accounts = Genesis_ledger_helper_lib.Accounts

val make_constraint_constants : 
  default:Genesis_constants.Constraint_constants.t ->
  Runtime_config.Proof_keys.t ->
  Genesis_constants.Constraint_constants.t

val runtime_config_of_constraint_constants : 
  proof_level:Genesis_constants.Proof_level.t ->
  Genesis_constants.Constraint_constants.t ->
  Runtime_config.Proof_keys.t

val make_genesis_constants : 
  logger:Logger.t ->
  default:Genesis_constants.t ->
  Runtime_config.t ->
  Genesis_constants.t Base__Or_error.t

val runtime_config_of_genesis_constants : 
  Genesis_constants.t ->
  Runtime_config.Genesis.t

val runtime_config_of_precomputed_values : Genesis_proof.t -> Runtime_config.t

type exn +=

| Genesis_state_initialization_error

val s3_bucket_prefix : string

module Tar : sig ... end

val file_exists : 
  ?follow_symlinks:bool ->
  string ->
  bool Async_kernel__Deferred.t

module Ledger : sig ... end

module Epoch_data : sig ... end

module Base_hash : sig ... end

module Genesis_proof : sig ... end

val load_config_json : 
  string ->
  Yojson.Safe.t Core_kernel.Or_error.t Async.Monitor.Deferred.t

val load_config_file : 
  string ->
  ( Runtime_config.t, Core_kernel__.Error.t ) Core._result
    Core_kernel.Or_error.t
    Async.Monitor.Deferred.t

val inputs_from_config_file : 
  ?genesis_dir:Core_kernel__.Import.string ->
  logger:Logger.t ->
  proof_level:Genesis_constants.Proof_level.t Base__Option.t ->
  Runtime_config.t ->
  (Genesis_proof.Inputs.t * Runtime_config.t) Async_kernel__Deferred_or_error.t

val init_from_inputs : 
  ?genesis_dir:Core_kernel__.Import.string ->
  logger:Logger.t ->
  Genesis_proof.Inputs.t ->
  Genesis_proof.t Async_kernel__Deferred_or_error.t

val init_from_config_file : 
  ?genesis_dir:Core_kernel__.Import.string ->
  logger:Logger.t ->
  proof_level:Genesis_constants.Proof_level.t Base__Option.t ->
  Runtime_config.t ->
  (Precomputed_values.t * Runtime_config.t) Async.Deferred.Or_error.t

val upgrade_old_config : 
  logger:Logger.t ->
  string ->
  [> `Assoc of (Core.String.t * Yojson.Safe.t) list ] as 'a ->
  'b Async_kernel__Deferred.t