package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos protocol alpha package

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-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Round_repr/index.html

Module Tezos_raw_protocol_alpha.Round_reprSource

A round represents an iteration of the single-shot consensus algorithm.

Rounds can be seen as an infinite, 0-indexed, list of durations. The durations are generated by an arithmetic progression depending on Constants_repr.minimal_block_delay (its initial value, a.k.a the one for round 0) and Constants_repr.delay_increment_per_round (its common difference) .

Round identifiers are non-negative 32 bit integers. This interface ensures that no negative round can be created.

Sourcetype round
Sourcetype t = round
Sourceval zero : t

Round zero

Sourceval succ : t -> t

Successor of the given round.

  • raises Invalid_arg

    if applied to the upper bound of the round integer representation.

Predecessor of the given round. Returns an error if applied to zero, as negative round are prohibited.

Building a round from an int32. Returns an error if applied to a negative number.

Sourceval to_int32 : t -> int32

Building a round from an int. Returns an error if applied to a negative number or a number greater than Int32.max_int.

Building an int from a round. Returns an error if the value does not fit in max_int. (current 32bit encodings always fit in int on 64bit architecture though).

Returns the slot corresponding to the given round r, that is r mod committee_size.

Round encoding. Be aware that decoding a negative 32 bit integer would lead to an exception.

include Tezos_protocol_environment_alpha.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t

Round duration representation

Sourcemodule Durations : sig ... end

level_offset_of_round round_durations ~round:r represents the offset of the starting time of round r with respect to the start of the level. round = 0 1 2 3 r

|-----|-----|-----|-----|-----|--- ... ... --|------|------- | <-------------------------------------------> level_offset

Sourceval timestamp_of_round : Durations.t -> predecessor_timestamp:Time_repr.t -> predecessor_round:t -> round:t -> Time_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresult

timestamp_of_round round_durations ~predecessor_timestamp:pred_ts ~predecessor_round:pred_round ~round returns the starting time of round round given that the timestamp and the round of the block at the previous level is pred_ts and pred_round, respectively.

pred_round = 0 pred_round

|-----|.. ... --|--------|-- ... --|------- | | | | pred_ts | | start_of_cur_level | | |-----|------|-- ... --|-------|- cur_round = 0 1 | round | res_ts

Precisely, the resulting timestamp is: pred_ts + round_duration(pred_round) + level_offset_of_round(round).

Sourceval timestamp_of_another_round_same_level : Durations.t -> current_timestamp:Time_repr.t -> current_round:t -> considered_round:t -> Time_repr.t Tezos_protocol_environment_alpha.Error_monad.tzresult

timestamp_of_another_round_same_level round_durations ~current_timestamp ~current_round ~considered_round returns the starting time of round considered_round.

start of current level current ts result | | | | | | |-----|----...--|-- ... ------|- | | | | cur_round = 0 1 current considered round round

It also works when considered_round is lower than current_round.

Precisely, the resulting timestamp is: current_timestamp - level_offset_of_round(current_round) + level_offset_of_round(considered_round).

Sourceval round_of_timestamp : Durations.t -> predecessor_timestamp:Time_repr.t -> predecessor_round:t -> timestamp:Time_repr.t -> t Tezos_protocol_environment_alpha.Error_monad.tzresult

round_of_timestamp round_durations ~predecessor_timestamp ~predecessor_round ~timestamp:ts returns the round to which the timestamp ts belongs to, given that the timestamp and the round of the block at the previous level is pred_ts and pred_round, respectively.

Precisely, the resulting round is: round_and_offset round_durations ~level_offset:diff where diff = ts - (predecessor_timestamp + round_duration(predecessor_round).

Returns an error when the timestamp is before the level start. Also returns an error when the timestamp is so high that it would lead to an integer overflow when computing the round.

Sourcemodule Internal_for_tests : sig ... end