Module Alpha_context.Seed

This module re-exports definitions from Seed_repr and Seed_storage.

type seed
type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=
  1. | Unknown of {
    1. oldest : Cycle.t;
    2. cycle : Cycle.t;
    3. latest : Cycle.t;
    }
  2. | Already_accepted
  3. | Unverified_vdf
  4. | Too_early_revelation
val generate_vdf_setup : seed_discriminant:seed -> seed_challenge:seed -> vdf_setup

See Seed_storage.check_vdf.

See Seed_storage.update_seed.

val compare_vdf_solution : vdf_solution -> vdf_solution -> int

See Seed_repr.compare_vdf_solution.

type seed_computation_status =
  1. | Nonce_revelation_stage
  2. | Vdf_revelation_stage of {
    1. seed_discriminant : seed;
    2. seed_challenge : seed;
    }
  3. | Computation_finished