Module `Alpha_context.Seed`Source

This module re-exports definitions from Seed_repr and Seed_storage.

Sourcetype seed

val seed_encoding : 
  seed Tezos_protocol_environment_014_PtKathma.Data_encoding.t

Source

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

Source

val vdf_solution_encoding : 
  vdf_solution Tezos_protocol_environment_014_PtKathma.Data_encoding.t

Source

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

Source

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

Sourcetype 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

Source

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

Source

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

Source

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

Source

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

Sourcetype seed_computation_status =

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

Source

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

Source

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Alpha_context/Seed/index.html

Module `Alpha_context.Seed`Source

package tezos-protocol-014-PtKathma

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Alpha_context/Seed/index.html

Module Alpha_context.SeedSource

Module `Alpha_context.Seed`Source