package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
package tezos-protocol-014-PtKathma
Legend:
Library
Module
Module type
Parameter
Class
Class type
type seed_computation_status =
  1. | Nonce_revelation_stage
  2. | Vdf_revelation_stage of {
    1. seed_discriminant : Seed_repr.seed;
    2. seed_challenge : Seed_repr.seed;
    }
  3. | Computation_finished
type Tezos_protocol_environment_014_PtKathma.Error_monad.error +=
  1. | Unknown of {
    1. oldest : Cycle_repr.t;
    2. cycle : Cycle_repr.t;
    3. latest : Cycle_repr.t;
    }
  2. | Already_accepted
  3. | Unverified_vdf
  4. | Too_early_revelation

Generates the first preserved_cycles+2 seeds for which there are no nonces.

Verifies if a VDF (result, proof) is valid, if so updates the seed with a function of the VDF result.

Computes RANDAO output for cycle #(current_cycle + preserved + 1)

Must 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.

Return 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.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct