Best_tip_prover (best_tip_prover.Best_tip

module type Inputs_intf = sig ... end

module Make
  (Inputs : Inputs_intf) : 
  Mina_intf.Best_tip_prover_intf
    with type transition_frontier := Inputs.Transition_frontier.t

module type CONTEXT = sig ... end

val prove : 
  context:(module CONTEXT) ->
  Transition_frontier.t ->
  ( Mina_block.t Mina_base.State_hash.With_state_hashes.t,
    Mina_base.State_body_hash.t list * Mina_block.t )
    Proof_carrying_data.t
    option

val verify : 
  verifier:Verifier.t ->
  genesis_constants:Genesis_constants.t ->
  precomputed_values:Precomputed_values.t ->
  ( Mina_block.t, Mina_base.State_body_hash.t list * Mina_block.t )
    Proof_carrying_data.t ->
  ([ `Root of Mina_block.initial_valid_block ]
   * [ `Best_tip of Mina_block.initial_valid_block ])
    Async_kernel.Deferred.Or_error.t