package tezos-protocol-016-PtMumbai
Tezos/Protocol: economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b
doc/tezos-protocol-016-PtMumbai.raw/Tezos_raw_protocol_016_PtMumbai/Storage/Sc_rollup/index.html
Module Storage.Sc_rollupSource
Source
module PVM_kind :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_repr.t
and type value = Sc_rollups.Kind.t
and type t := Raw_context.tSmart contract rollup.
Source
module Parameters_type :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_repr.t
and type value = Script_repr.lazy_expr
and type t := Raw_context.tSource
module Genesis_info :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_repr.t
and type value = Sc_rollup_commitment_repr.genesis_info
and type t := Raw_context.tSource
module Inbox :
Storage_sigs.Single_data_storage
with type value = Sc_rollup_inbox_repr.t
and type t := Raw_context.tSource
module Last_cemented_commitment :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_repr.t
and type value = Sc_rollup_commitment_repr.Hash.t
and type t := Raw_context.tSource
module Staker_index_counter :
Storage_sigs.Single_data_storage
with type value = Sc_rollup_staker_index_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tContains the current latest attributed index for stakers.
Source
module Staker_index :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key =
Tezos_protocol_environment_016_PtMumbai.Signature.Public_key_hash.t
and type value = Sc_rollup_staker_index_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tContains the index of any staker that currently have stake.
Source
module Stakers :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_staker_index_repr.t
and type value = Raw_level_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tContains the most recent inbox level staked by an active staker.
Source
module Commitments :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_commitment_repr.Hash.t
and type value = Sc_rollup_commitment_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tSource
module Commitment_stakers :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_commitment_repr.Hash.t
and type value = Sc_rollup_staker_index_repr.t list
and type t = Raw_context.t * Sc_rollup_repr.tContains for all commitment not yet cemented the list of stakers that have staked on it.
Source
module Commitment_first_publication_level :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Raw_level_repr.t
and type value = Raw_level_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tThis storage contains for each rollup and inbox level not yet cemented the level of publication of the first commitment. This is used to compute the curfew for a given rollup and inbox level.
Source
module Commitments_per_inbox_level :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Raw_level_repr.t
and type value = Sc_rollup_commitment_repr.Hash.t list
and type t = Raw_context.t * Sc_rollup_repr.tStores the commitments published for an inbox level.
Source
module Commitment_added :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_commitment_repr.Hash.t
and type value = Raw_level_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tSource
module Game_info :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_game_repr.Index.t
and type value = Sc_rollup_game_repr.t
and type t = Raw_context.t * Sc_rollup_repr.tSource
module Game :
Storage_sigs.Indexed_carbonated_data_storage
with type key =
Tezos_protocol_environment_016_PtMumbai.Signature.Public_key_hash.t
and type value = Sc_rollup_game_repr.Index.t
and type t =
(Raw_context.t * Sc_rollup_repr.t)
* Tezos_protocol_environment_016_PtMumbai.Signature.Public_key_hash.tRefutation games are indexed by the rollup, by one staker, and by its opponent staker. Hence, each game appears twice. This is convenient to quickly compute the opponents of a given staker.
Source
module Game_timeout :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type key = Sc_rollup_game_repr.Index.t
and type value = Sc_rollup_game_repr.timeout
and type t = Raw_context.t * Sc_rollup_repr.tGame_timeout stores the block level at which the staker whose turn it is to move will (become vulnerable to) timeout. The staker pair should always be in lexical order to ensure that this value is not duplicated.
Source
module Applied_outbox_messages :
Storage_sigs.Non_iterable_indexed_carbonated_data_storage
with type t = Raw_context.t * Sc_rollup_repr.t
and type key = int32
and type value = Raw_level_repr.t * Bitset.tA carbonated storage for keeping track of applied outbox messages for a a SCORU.