package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-17.3.tar.gz
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Level_storage/index.html

Module Tezos_raw_protocol_alpha.Level_storageSource

Fails with Negative_level_and_offset_sum if the sum of the raw_level and the offset is negative.

When the given level is two or above, return its predecessor. When the given level is one or less, return None (because we cannot build the Level_repr.t for level zero).

i must be positive

Sourceval sub : Raw_context.t -> Level_repr.t -> int -> Level_repr.t option

sub c level i returns None if the level is before the first level of the Alpha family of protocol, otherwise it returns the expected level. i must be positive.

Sourceval first_level_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t
Sourceval last_level_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t
Sourceval levels_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t list
Sourceval levels_in_current_cycle : Raw_context.t -> ?offset:int32 -> unit -> Level_repr.t list
Sourceval levels_with_commitments_in_cycle : Raw_context.t -> Cycle_repr.t -> Level_repr.t list
Sourceval last_allowed_fork_level : Raw_context.t -> Raw_level_repr.t
Sourceval dawn_of_a_new_cycle : Raw_context.t -> Cycle_repr.t option

Returns Some cycle if the current level represents the last level of cycle and None if the level is not the last level of a cycle.

Sourceval may_snapshot_stake_distribution : Raw_context.t -> bool

Returns true if the stake distribution should be snapshot at the current level.

Sourceval may_compute_randao : Raw_context.t -> bool

Returns true if RANDAO should be computed at the current level, that is if the current level, relative to the cycle's start, equals the nonce revelation period cut-off.