package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha.embedded-protocol
- Tezos_embedded_protocol_alpha
  - Registerer
    
    Registered
    
    Mempool
    
    Source
tezos-protocol-alpha.parameters
- Tezos_protocol_alpha_parameters
  - Default_parameters
tezos-protocol-alpha.protocol
- Tezos_protocol_alpha
  - Protocol
tezos-protocol-alpha.protocol.environment
- Tezos_protocol_environment_alpha
  - Array
    
    Floatarray
  - Base58
  - Bits
  - Blake2B
    
    Make
    
    Map
    
    Name
    
    Register
    
    Set
    
    Make_minimal
    
    Name
    
    Name
    
    PrefixedName
    
    Register
  - Block_hash
    
    Map
    
    Set
  - Block_header
  - Bls
    
    Primitive
    
    Fr
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Bounded
    
    BOUNDS
    
    Int16
    
    B
    
    Int31
    
    B
    
    Int32
    
    B
    
    Int64
    
    B
    
    Int8
    
    B
    
    Non_negative_int32
    
    S
    
    Uint16
    
    B
    
    Uint8
    
    B
  - Bytes
  - CamlinternalFormatBasics
  - Chain_id
    
    Map
    
    Set
  - Char
  - Compare
    
    Bool
    
    Bytes
    
    COMPARABLE
    
    Char
    
    Int
    
    Int32
    
    Int64
    
    List
    
    P
    
    List_length_with
    
    List_lengths
    
    Make
    
    P
    
    Option
    
    P
    
    Q
    
    Result
    
    Error
    
    Ok
    
    S
    
    String
    
    Uint32
    
    Uint64
    
    Z
  - Context
    
    CACHE
    
    Cache
    
    Kind
    
    PROOF_ENCODING
    
    Proof
    
    Internal_for_tests
    
    Stream
    
    Proof_encoding
    
    V1
    
    Tree2
    
    Tree32
    
    V2
    
    Tree2
    
    Tree32
    
    TREE
    
    Tree
    
    VIEW
  - Context_binary
    
    Tree
  - Context_hash
    
    Map
    
    Set
    
    Version
  - Dal
    
    Commitment
    
    Commitment_proof
  - Data_encoding
    
    Binary
    
    Bounded
    
    Compact
    
    Custom
    
    S
    
    Fixed
    
    Json
    
    Variable
    
    With_JSON_discriminant
    
    With_field_name_duplicate_checks
  - Ed25519
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Either
  - Equality_witness
  - Error_monad
    
    Lwt_option_syntax
    
    Lwt_result_syntax
    
    Lwt_syntax
    
    Option_syntax
    
    Result_syntax
  - FallbackArray
  - Fitness
  - Format
  - Hex
  - Int32
  - Int64
  - Lift
    
    Mempool
    
    P
    
    Mempool
  - List
  - Logging
  - Lwt
  - Map
    
    Make
    
    Ord
    
    S
  - Micheline
  - Name
  - Operation
  - Operation_hash
    
    Map
    
    Set
  - Operation_list_hash
    
    Map
    
    Set
  - Operation_list_list_hash
    
    Map
    
    Set
  - Option
  - P256
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Pervasives
  - Plonk
  - Protocol_hash
    
    Map
    
    Set
  - Q
  - RPC_answer
  - RPC_arg
  - RPC_context
    
    simple
  - RPC_directory
  - RPC_path
  - RPC_query
  - RPC_service
  - Raw_hashes
  - Result
  - S
    
    AGGREGATE_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    B58_DATA
    
    CURVE
    
    Scalar
    
    ENCODER
    
    FIELD
    
    HASH
    
    Map
    
    Set
    
    HASHABLE
    
    INDEXES
    
    Map
    
    Set
    
    INDEXES_MAP
    
    INDEXES_SET
    
    MERKLE_TREE
    
    Map
    
    Set
    
    MINIMAL_HASH
    
    PRIME_FIELD
    
    RAW_DATA
    
    SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    SIGNATURE_PUBLIC_KEY
    
    SIGNATURE_PUBLIC_KEY_HASH
    
    Map
    
    Set
    
    SPLIT_SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    T
  - Sapling
    
    CV
    
    Ciphertext
    
    Commitment
    
    Hash
    
    Nullifier
    
    UTXO
    
    Legacy
    
    Verification
  - Secp256k1
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Seq
  - Set
    
    Make
    
    Ord
    
    S
  - Signature
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
  - Skip_list
    
    MONAD
    
    Make
    
    Arg
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
    
    S
    
    Lwt
    
    MONADIC
    
    Make_monadic
    
    M
  - Smart_rollup
    
    Address
    
    Map
    
    Set
    
    Commitment_hash
    
    Map
    
    Set
    
    Inbox_hash
    
    Map
    
    Set
    
    Merkelized_payload_hashes_hash
    
    Map
    
    Set
    
    State_hash
    
    Map
    
    Set
  - String
  - Time
  - Timelock
  - TzEndian
  - Updater
    
    PROTOCOL
    
    Mempool
  - Vdf
  - Wasm_2_0_0
    
    Make
    
    Tree
  - Z
  - proto_rpc_context
  - proto_rpc_context_of_directory
tezos-protocol-alpha.protocol.lifted
- Tezos_protocol_alpha_lifted
  - Lifted_protocol
    
    Mempool
tezos-protocol-alpha.protocol.raw
- Tezos_raw_protocol_alpha

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

Smart contract rollup.

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

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

module Inbox : 
  Storage_sigs.Single_data_storage
    with type value = Sc_rollup_inbox_repr.t
     and type t := Raw_context.t

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

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

Contains the current latest attributed index for stakers.

module Staker_index : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type key =
           Tezos_protocol_environment_alpha.Signature.Public_key_hash.t
     and type value = Sc_rollup_staker_index_repr.t
     and type t = Raw_context.t * Sc_rollup_repr.t

Contains the index of any staker that currently have stake.

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

Contains the most recent inbox level staked by an active staker.

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

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

Contains for all commitment not yet cemented the list of stakers that have staked on it.

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

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

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

Stores the commitments published for an inbox level.

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

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

module Game : 
  Storage_sigs.Indexed_carbonated_data_storage
    with type key =
           Tezos_protocol_environment_alpha.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_alpha.Signature.Public_key_hash.t

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

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

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.

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

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

module Whitelist : 
  Storage_sigs.Carbonated_data_set_storage
    with type t := Raw_context.t * Sc_rollup_repr.t
     and type elt =
           Tezos_protocol_environment_alpha.Signature.Public_key_hash.t

A carbonated storage for stakers (identified by their public key hashes) that are able to stake on commitments. If the storage is empty then the rollup is public (anyone can publish commitments for the rollup), otherwise it is private (only the members of the whitelist can publish commitments).

module Whitelist_paid_storage_space : 
  Storage_sigs.Indexed_data_storage
    with type key = Sc_rollup_repr.t
     and type value = Tezos_protocol_environment_alpha.Z.t
     and type t = Raw_context.t

Maximal space available for the whitelist without needing to burn new fees.

module Whitelist_used_storage_space : 
  Storage_sigs.Indexed_data_storage
    with type t = Raw_context.t
     and type key = Sc_rollup_repr.t
     and type value = Tezos_protocol_environment_alpha.Z.t

Current storage space in bytes used by the whitelist.

module Last_whitelist_update : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type t = Raw_context.t
     and type key = Sc_rollup_repr.t
     and type value = Sc_rollup_whitelist_repr.last_whitelist_update

Outbox level and message of the latest whitelist update of a given rollup.