Module `Tezos_raw_protocol_alpha.Storage`Source

Tezos Protocol Implementation - Typed storage

This module hides the hierarchical (key x value) database under pre-allocated typed accessors for all persistent entities of the tezos context.

This interface enforces no invariant on the contents of the database. Its goal is to centralize all accessors in order to have a complete view over the database contents and avoid key collisions.

Sourcemodule type Simple_single_data_storage = sig ... end

Sourcemodule Block_round : Simple_single_data_storage with type value = Round_repr.t

Sourcetype missed_attestations_info = {

remaining_slots : int;
missed_levels : int;

}

Sourcemodule Slashed_deposits_history : sig ... end

Sourcemodule Unstake_request : sig ... end

Sourcemodule Contract : sig ... end

Storage from this submodule must only be accessed through the module `Contract`.

Sourcemodule Big_map : sig ... end

Sourcemodule Sapling : sig ... end

Source

module Delegates : 
  Storage_sigs.Data_set_storage
    with type t := Raw_context.t
     and type elt =
           Tezos_protocol_environment_alpha.Signature.Public_key_hash.t

Set of all registered delegates.

Source

module Consensus_keys : 
  Storage_sigs.Data_set_storage
    with type t := Raw_context.t
     and type elt =
           Tezos_protocol_environment_alpha.Signature.Public_key_hash.t

Set of all active consensus keys in cycle `current + consensus_rights_delay + 1`

Source

module Pending_consensus_keys : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t * Cycle_repr.t
     and type key = Contract_repr.t
     and type value = Tezos_protocol_environment_alpha.Signature.public_key

The pending consensus key of a delegate at the given cycle

Source

module Pending_denunciations : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t
     and type key = Tezos_protocol_environment_alpha.Signature.public_key_hash
     and type value = Denunciations_repr.t

All denunciations of the current and previous cycles that will have an effect (slashing, reward), i.e. all below 100%, deferred to the end of their slashing period.

Source

module Slashed_deposits : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t
     and type key = Tezos_protocol_environment_alpha.Signature.public_key_hash
     and type value = Slashed_deposits_history.t

History of slashed deposits: an associative list of cycles to slashed percentages.

Sourcetype denounced = {

for_double_preattesting : bool;
for_double_attesting : bool;
for_double_baking : bool;

}

This type is used to track which denunciations have already been recorded, to avoid slashing multiple times the same event.

Sourceval default_denounced : denounced

denounced with all fields set to false.

Source

module Already_denounced : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t * Cycle_repr.t
     and type key =
           (Raw_level_repr.t * Round_repr.t)
           * Tezos_protocol_environment_alpha.Signature.Public_key_hash.t
     and type value = denounced

Set used to avoid slashing multiple times the same event

Source

module Pending_staking_parameters : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t * Cycle_repr.t
     and type key = Contract_repr.t
     and type value = Staking_parameters_repr.t

Sourcemodule Stake : sig ... end

Source

module Delegate_sampler_state : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Raw_context.consensus_pk Sampler.t
     and type t := Raw_context.t

State of the sampler used to select delegates. Managed synchronously with Stake.Selected_distribution_for_cycle.

Source

module Issuance_bonus : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Issuance_bonus_repr.t
     and type t := Raw_context.t

Compounding reward bonus for Adaptive Issuance

Source

module Issuance_coeff : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Tezos_protocol_environment_alpha.Q.t
     and type t := Raw_context.t

Multiplicative coefficient for rewards under Adaptive Issuance (Includes the bonus)

Votes

Sourcemodule Vote : sig ... end

Sourcemodule type FOR_CYCLE = sig ... end

Seed

Source

module Seed_status : 
  Simple_single_data_storage with type value = Seed_repr.seed_status

Sourcemodule Seed : sig ... end

Storage from this submodule must only be accessed through the module `Seed`.

Commitments

Source

module Commitments : 
  Storage_sigs.Indexed_data_storage
    with type key = Blinded_public_key_hash.t
     and type value = Tez_repr.t
     and type t := Raw_context.t

Sourcemodule Ramp_up : sig ... end

Ramp up rewards

Sourcemodule Pending_migration : sig ... end

Sourcemodule Liquidity_baking : sig ... end

Sourcemodule Adaptive_issuance : sig ... end

Sourcemodule Global_constants : sig ... end

A map of Script_repr.expr values, indexed by their hash (Script_expr_hash.t). Values from this map can be incorporated by any contract via the primitive Michelson_v1_primitives.H_constant.

Sourcemodule Ticket_balance : sig ... end

This module exposes a balance table for tracking ticket ownership. The table is a mapping from keys to values where the keys consist of a hashed representation of:

Tenderbake

Sourcemodule Tenderbake : sig ... end

Sourcemodule Sc_rollup : sig ... end

Sourcemodule Dal : sig ... end

Sourcemodule Zk_rollup : sig ... end

Sourcemodule Legacy : sig ... end

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Storage/index.html

Module `Tezos_raw_protocol_alpha.Storage`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Storage/index.html

Module Tezos_raw_protocol_alpha.StorageSource

Module `Tezos_raw_protocol_alpha.Storage`Source