Genesis_proof (genesis_ledger_helper.Genesis_ledger_helper.Genesis

val filename : base_hash:Base_hash.t -> string

val find_file : 
  logger:Logger.t ->
  base_hash:Base_hash.t ->
  genesis_dir:Core_kernel__.Import.string ->
  Core_kernel__.Import.string option Async_kernel__Deferred.t

val generate_inputs : 
  runtime_config:Runtime_config.t ->
  proof_level:Genesis_constants.Proof_level.t ->
  ledger:Genesis_ledger.Packed.t ->
  genesis_epoch_data:Consensus.Genesis_epoch_data.t ->
  constraint_constants:Genesis_constants.Constraint_constants.t ->
  blockchain_proof_system_id:Pickles.Verification_key.Id.t option ->
  genesis_constants:Genesis_constants.t ->
  Genesis_proof.Inputs.t

val generate : Genesis_proof.Inputs.t -> Genesis_proof.t Async.Deferred.t

val store : 
  filename:string ->
  Mina_base.Proof.Stable.V1.t ->
  unit Core_kernel.Or_error.t Async.Monitor.Deferred.t

val load : 
  string ->
  Mina_base.Proof.Stable.V1.t Core_kernel.Or_error.t Async.Monitor.Deferred.t

val id_to_json : Pickles.Verification_key.Id.t -> [> `String of string ]

val load_or_generate : 
  genesis_dir:Core_kernel__.Import.string ->
  logger:Logger.t ->
  Genesis_proof.Inputs.t ->
  ( Genesis_proof.t * Core_kernel__.Import.string, 'a ) Core._result
    Async_kernel__Deferred.t

val create_values_no_proof : Genesis_proof.Inputs.t -> Genesis_proof.t