tezos-protocol-014-PtKathma 20.1

This module re-exports definitions from Seed_repr and Seed_storage.

type seed

val seed_encoding : 
  seed Tezos_protocol_environment_014_PtKathma.Data_encoding.t

type vdf_solution =
  Tezos_protocol_environment_014_PtKathma.Vdf.result
  * Tezos_protocol_environment_014_PtKathma.Vdf.proof

val vdf_solution_encoding : 
  vdf_solution Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val pp_solution : 
  Tezos_protocol_environment_014_PtKathma.Format.formatter ->
  vdf_solution ->
  unit

type vdf_setup =
  Tezos_protocol_environment_014_PtKathma.Vdf.discriminant
  * Tezos_protocol_environment_014_PtKathma.Vdf.challenge

type Tezos_protocol_environment_014_PtKathma.Error_monad.error +=

| Unknown of {
1. oldest : Cycle.t;
2. cycle : Cycle.t;
3. latest : Cycle.t;
}
| Already_accepted
| Unverified_vdf
| Too_early_revelation

val generate_vdf_setup : 
  seed_discriminant:seed ->
  seed_challenge:seed ->
  vdf_setup

val check_vdf_and_update_seed : 
  context ->
  vdf_solution ->
  context Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val compute_randao : 
  context ->
  context Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val cycle_end : 
  context ->
  Cycle.t ->
  (context * Nonce.unrevealed list)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

type seed_computation_status =

| Nonce_revelation_stage
| Vdf_revelation_stage of {
1. seed_discriminant : seed;
2. seed_challenge : seed;
}
| Computation_finished

val for_cycle : 
  context ->
  Cycle.t ->
  seed Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

val get_seed_computation_status : 
  context ->
  seed_computation_status
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

package tezos-protocol-014-PtKathma