Make.RootAllows a peer to prove to a node that they can bootstrap from transition that they have gossiped to the network
val prove :
context:(module Mina_intf.CONTEXT) ->
frontier:Inputs.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
optionval verify :
context:(module Mina_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