tezos-protocol-012-Psithaca 20.1 (latest)

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.

module type Simple_single_data_storage = sig ... end

module Legacy_block_priority : Simple_single_data_storage with type value = int

module Block_round : Simple_single_data_storage with type value = Round_repr.t

module Roll_legacy : sig ... end

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

type deposits = {

initial_amount : Tez_repr.t;
current_amount : Tez_repr.t;

}

type missed_endorsements_info = {

remaining_slots : int;
missed_levels : int;

}

module Contract : sig ... end

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

module Big_map : sig ... end

module Sapling : sig ... end

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

Set of all registered delegates.

type slashed_level = {

for_double_endorsing : bool;
for_double_baking : bool;

}

module Slashed_deposits : 
  Storage_sigs.Indexed_data_storage
    with type t := Raw_context.t * Cycle_repr.t
     and type key =
           Raw_level_repr.t
           * Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
     and type value = slashed_level

Set used to avoid slashing multiple times the same event

module Legacy_active_delegates_with_rolls : 
  Storage_sigs.Data_set_storage
    with type t := Raw_context.t
     and type elt =
           Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t

Set of all active delegates with rolls.

module Stake : sig ... end

module Total_active_stake : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value = Tez_repr.t
     and type t := Raw_context.t

Sum of the active stakes of all the delegates with rolls

module Delegate_sampler_state : 
  Storage_sigs.Indexed_data_storage
    with type key = Cycle_repr.t
     and type value =
           (Tezos_protocol_environment_012_Psithaca.Signature.Public_key.t
            * Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t)
             Sampler.t
     and type t := Raw_context.t

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

module Legacy_delegates_with_frozen_balance : 
  Storage_sigs.Data_set_storage
    with type t = Raw_context.t * Cycle_repr.t
     and type elt =
           Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t

Set of all the delegates with frozen rewards/deposits/fees for a given cycle. Deprecated: This is now only used for stitching while migrating from an emmy protocol. This is to be removed in the next version.

Votes

module Vote : sig ... end

module type FOR_CYCLE = sig ... end

Seed

module Seed : sig ... end

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

Commitments

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

module Ramp_up : sig ... end

Ramp up rewards

module Pending_migration : sig ... end

module Liquidity_baking : sig ... end

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

module 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

module Tenderbake : sig ... end

package tezos-protocol-012-Psithaca