Seed (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha

type seed

val seed_encoding : seed Tezos_protocol_environment_alpha.Data_encoding.t

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

val vdf_solution_encoding : 
  vdf_solution Tezos_protocol_environment_alpha.Data_encoding.t

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

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

type Tezos_protocol_environment_alpha.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 : 
  context ->
  vdf_solution ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Seed_storage.check_vdf.

val update_seed : 
  context ->
  vdf_solution ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Seed_storage.update_seed.

val compare_vdf_solution : vdf_solution -> vdf_solution -> int

See Seed_repr.compare_vdf_solution.

val compute_randao : 
  context ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.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_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

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