Prover (mina_state.Mina_state.Ancestor.Prover)

type t

val create : max_size:int -> t

val add : 
  t ->
  prev_hash:Mina_base.State_hash.t ->
  hash:Mina_base.State_hash.t ->
  length:Mina_numbers.Length.t ->
  body_hash:Mina_base.State_body_hash.t ->
  unit

val verify_and_add : 
  t ->
  Input.t ->
  Output.t ->
  ancestor_length:Mina_numbers.Length.t ->
  Proof.t ->
  unit Core_kernel.Or_error.t

val prove : t -> Input.t -> (Output.t * Proof.t) option