Tezos_raw_protocol_017_PtNairob.StorageTezos 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 ... endmodule Block_round : Simple_single_data_storage with type value = Round_repr.tmodule Contract : sig ... endStorage from this submodule must only be accessed through the module `Contract`.
module Big_map : sig ... endmodule Sapling : sig ... endmodule Delegates :
Storage_sigs.Data_set_storage
with type t := Raw_context.t
and type elt =
Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.tSet of all registered delegates.
module Consensus_keys :
Storage_sigs.Data_set_storage
with type t := Raw_context.t
and type elt =
Tezos_protocol_environment_017_PtNairob.Signature.Public_key_hash.tSet of all active consensus keys in cycle `current + preserved_cycles + 1`
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_017_PtNairob.Signature.Public_key_hash.t
and type value = slashed_levelSet used to avoid slashing multiple times the same event
module Stake : sig ... endmodule 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.tState of the sampler used to select delegates. Managed synchronously with Stake.Selected_distribution_for_cycle.
Votes
module Vote : sig ... endmodule type FOR_CYCLE = sig ... endSeed
module Seed_status :
Simple_single_data_storage with type value = Seed_repr.seed_statusmodule Seed : sig ... endStorage 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.tmodule Ramp_up : sig ... endRamp up rewards
module Pending_migration : sig ... endmodule Liquidity_baking : sig ... endmodule Global_constants : sig ... endA 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 ... endThis 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 ... endmodule Tx_rollup : sig ... endmodule Sc_rollup : sig ... endmodule Dal : sig ... endmodule Zk_rollup : sig ... endmodule Legacy : sig ... end