package tezos-protocol-014-PtKathma
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Seed_storage/index.html
Module Tezos_raw_protocol_014_PtKathma.Seed_storageSource
Source
type seed_computation_status = | Nonce_revelation_stage| Vdf_revelation_stage of {seed_discriminant : Seed_repr.seed;seed_challenge : Seed_repr.seed;
}| Computation_finished
Source
type Tezos_protocol_environment_014_PtKathma.Error_monad.error += | Unknown of {oldest : Cycle_repr.t;cycle : Cycle_repr.t;latest : Cycle_repr.t;
}| Already_accepted| Unverified_vdf| Too_early_revelation
Source
val init :
?initial_seed:State_hash.t ->
Raw_context.t ->
Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
Tezos_protocol_environment_014_PtKathma.Lwt.tGenerates the first preserved_cycles+2 seeds for which there are no nonces.
Source
val check_vdf_and_update_seed :
Raw_context.t ->
Seed_repr.vdf_solution ->
Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
Tezos_protocol_environment_014_PtKathma.Lwt.tVerifies if a VDF (result, proof) is valid, if so updates the seed with a function of the VDF result.
Source
val compute_randao :
Raw_context.t ->
Raw_context.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
Tezos_protocol_environment_014_PtKathma.Lwt.tComputes RANDAO output for cycle #(current_cycle + preserved + 1)
Source
val cycle_end :
Raw_context.t ->
Cycle_repr.t ->
(Raw_context.t * Nonce_storage.unrevealed list)
Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
Tezos_protocol_environment_014_PtKathma.Lwt.tMust be run at the end of the cycle, resets the VDF state and returns unrevealed nonces to know which party has to forfeit its endorsing rewards for that cycle.
Source
val get_seed_computation_status :
Raw_context.t ->
seed_computation_status
Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
Tezos_protocol_environment_014_PtKathma.Lwt.tReturn the random seed computation status, that is whether the VDF computation period has started, and if so the information needed, or if it has finished for the current cycle.