Module Sync_handler.Root

val prove : context:(module Mina_intf__Transition_frontier_components_intf.CONTEXT) -> frontier:Transition_frontier.t -> Consensus.Data.Consensus_state.Value.t Mina_base.State_hash.With_state_hashes.t -> ( Mina_block.t, Mina_base.State_body_hash.t list * Mina_block.t ) Proof_carrying_data.t option
val verify : context:(module Mina_intf__Transition_frontier_components_intf.CONTEXT) -> verifier:Verifier.t -> genesis_constants:Genesis_constants.t -> Consensus.Data.Consensus_state.Value.t Mina_base.State_hash.With_state_hashes.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