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_015_PtLimaPt.Data_encoding.t

Source

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

Source

val vdf_solution_encoding : 
  vdf_solution Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Source

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

Source

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

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

See Seed_storage.check_vdf.

Source

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

See Seed_storage.update_seed.

Sourceval compare_vdf_solution : vdf_solution -> vdf_solution -> int

See Seed_repr.compare_vdf_solution.

Source

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

Source

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

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Seed/index.html

Module `Alpha_context.Seed`Source

package tezos-protocol-015-PtLimaPt

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Seed/index.html

Module Alpha_context.SeedSource

dune-project
Dependency

Module `Alpha_context.Seed`Source