Make (best_tip_prover.Best_tip

Parameters

module Inputs : Inputs_intf

Signature

module type CONTEXT = sig ... end

val prove : 
  context:(module CONTEXT) ->
  Inputs.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