Make (transition_chain_prover.Transition_chain

Parameters

module Inputs : Inputs_intf

Signature

val prove : 
  ?length:int ->
  frontier:Inputs.Transition_frontier.t ->
  Mina_base.State_hash.t ->
  (Mina_base.State_hash.t * Mina_base.State_body_hash.t list) option