package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Smart contract rollup.

module Boot_sector : Storage_sigs.Indexed_data_storage with type key = Sc_rollup_repr.t and type value = string and type t := Raw_context.t

Cache: This should always be the number of entries in Stakers.

Cache: This should always be the number of stakers that are directly or indirectly staked on this commitment.

Refutation games are indexed by the rollup and the pair of competing stakers. The staker pair should always be in lexical order to ensure that games are not duplicated.

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

Opponent stores the current opponent of the staker. This is mainly used to enforce the requirement that each staker should only play one refutation game at a time. It will also be useful for searching for current game by staker.

A carbonated storage for keeping track of applied outbox messages for a a SCORU.

An indexed data storage for keeping track of dal slots to which a rollup is subscribed to a given level.

OCaml

Innovation. Community. Security.