package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha
- Tezos_protocol_alpha
  - Protocol
tezos-protocol-alpha.environment
- Tezos_protocol_environment_alpha
  - Environment
    
    Base58
    
    Bits
    
    Blake2B
    
    Make
    
    Map
    
    Legacy
    
    Name
    
    Register
    
    Set
    
    Legacy
    
    Make_minimal
    
    Name
    
    Name
    
    PrefixedName
    
    Register
    
    Block_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Block_header
    
    Bls12_381
    
    Fr
    
    G1
    
    Scalar
    
    G2
    
    Scalar
    
    Bls_signature
    
    Bytes
    
    CamlinternalFormatBasics
    
    Chain_id
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Char
    
    Compare
    
    Bool
    
    Bytes
    
    COMPARABLE
    
    Char
    
    Int
    
    Int32
    
    Int64
    
    List
    
    P
    
    List_length_with
    
    List_lengths
    
    Make
    
    P
    
    Option
    
    P
    
    S
    
    String
    
    Uint32
    
    Uint64
    
    Z
    
    Context
    
    CACHE
    
    Cache
    
    Kind
    
    TREE
    
    Tree
    
    VIEW
    
    Context_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Version
    
    Data_encoding
    
    Binary
    
    Bounded
    
    Fixed
    
    Json
    
    Variable
    
    Ed25519
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Equality_witness
    
    Error_monad
    
    FallbackArray
    
    Fitness
    
    Format
    
    Hex
    
    Int32
    
    Int64
    
    Lift
    
    P
    
    List
    
    Logging
    
    Lwt
    
    Map
    
    Make
    
    Legacy
    
    Ord
    
    S
    
    Legacy
    
    Micheline
    
    Name
    
    Operation
    
    Operation_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Operation_list_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Operation_list_list_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Option
    
    P256
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Pervasives
    
    Protocol
    
    Protocol_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Pvss_secp256k1
    
    Clear_share
    
    Commitment
    
    Encrypted_share
    
    Public_key
    
    Secret_key
    
    RPC_answer
    
    RPC_arg
    
    RPC_context
    
    simple
    
    RPC_directory
    
    RPC_path
    
    RPC_query
    
    RPC_service
    
    Raw_hashes
    
    Result
    
    S
    
    B58_DATA
    
    CURVE
    
    Scalar
    
    ENCODER
    
    FIELD
    
    HASH
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    HASHABLE
    
    INDEXES
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    INDEXES_MAP
    
    Legacy
    
    INDEXES_SET
    
    Legacy
    
    MERKLE_TREE
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    MINIMAL_HASH
    
    PRIME_FIELD
    
    PVSS
    
    Clear_share
    
    Commitment
    
    Encrypted_share
    
    Public_key
    
    Secret_key
    
    PVSS_ELEMENT
    
    PVSS_PUBLIC_KEY
    
    PVSS_SECRET_KEY
    
    RAW_DATA
    
    SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    SIGNATURE_PUBLIC_KEY
    
    SIGNATURE_PUBLIC_KEY_HASH
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    T
    
    Sapling
    
    CV
    
    Ciphertext
    
    Commitment
    
    Hash
    
    Nullifier
    
    UTXO
    
    Verification
    
    Secp256k1
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Seq
    
    Set
    
    Make
    
    Legacy
    
    Ord
    
    S
    
    Legacy
    
    Signature
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    String
    
    Time
    
    Timelock
    
    TzEndian
    
    Updater
    
    PROTOCOL
    
    Z
    
    proto_rpc_context
    
    proto_rpc_context_of_directory
tezos-protocol-alpha.raw
- Tezos_raw_protocol_alpha
  - Alpha_context
    
    BASIC_DATA
    
    Big_map
    
    Id
    
    Block_header
    
    Proof_of_work
    
    Block_payload
    
    Bootstrap
    
    Cache
    
    Admin
    
    CLIENT
    
    INTERFACE
    
    Commitment
    
    Consensus
    
    Constants
    
    Generated
    
    Contract
    
    Internal_for_tests
    
    Legacy_big_map_diff
    
    Cycle
    
    Map
    
    Legacy
    
    Delegate
    
    Fees
    
    First_level_of_tenderbake
    
    Fitness
    
    Gas
    
    Arith
    
    Global_constants_storage
    
    Internal_for_tests
    
    Kind
    
    Lazy_storage
    
    IdSet
    
    Kind
    
    Level
    
    Liquidity_baking
    
    Migration
    
    Nonce
    
    Operation
    
    Encoding
    
    Manager_operations
    
    Origination_nonce
    
    Internal_for_tests
    
    Parameters
    
    Period
    
    Raw_level
    
    Receipt
    
    Round
    
    Durations
    
    Map
    
    Legacy
    
    Sapling
    
    Id
    
    Memo_size
    
    Script
    
    Script_int
    
    Script_string
    
    Script_timestamp
    
    Seed
    
    Slot
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Stake_distribution
    
    Tez
    
    Ticket_balance
    
    Timestamp
    
    Token
    
    Tx_rollup
    
    Internal_for_tests
    
    Vote
    
    Voting_period
  - Alpha_services
    
    Cache
    
    Liquidity_baking
    
    Nonce
    
    Seed
  - Amendment
  - Apply
  - Apply_results
  - Baking
  - Blinded_public_key_hash
    
    Index
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Block_header_repr
    
    Proof_of_work
  - Block_payload_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Block_payload_repr
  - Bootstrap_storage
  - Cache_memory_helpers
    
    Nodes
  - Cache_repr
    
    Admin
    
    CLIENT
    
    INTERFACE
  - Carbonated_map
    
    COMPARABLE
    
    Make
    
    O
    
    S
  - Carbonated_map_costs
  - Commitment_repr
  - Commitment_storage
  - Constants_repr
    
    Generated
    
    Proto_previous
  - Constants_services
  - Constants_storage
  - Contract_delegate_storage
  - Contract_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Contract_manager_storage
  - Contract_repr
    
    Index
  - Contract_services
  - Contract_storage
    
    Legacy_big_map_diff
  - Cycle_repr
    
    Index
    
    Map
    
    Legacy
  - Delegate_activation_storage
  - Delegate_services
  - Delegate_storage
  - Fees_storage
  - Fitness_repr
  - Fixed_point_repr
    
    Full
    
    Safe
  - Frozen_deposits_storage
  - Gas_limit_repr
    
    Arith
  - Gas_monad
  - Global_constants_costs
  - Global_constants_storage
    
    Internal_for_tests
  - Init_storage
  - Lazy_storage_diff
  - Lazy_storage_kind
    
    Big_map
    
    Id
    
    ID
    
    IdSet
    
    Sapling_state
    
    Id
    
    Temp_ids
  - Level_repr
  - Level_storage
  - Liquidity_baking_cpmm
  - Liquidity_baking_lqt
  - Liquidity_baking_migration
  - Liquidity_baking_repr
  - Local_gas_counter
  - Main
  - Manager_repr
  - Michelson_v1_gas
    
    Cost_of
    
    Interpreter
    
    Control
    
    Typechecking
    
    Unparsing
  - Michelson_v1_primitives
  - Migration_repr
  - Misc
    
    Public_key_map
    
    Legacy
  - Non_empty_string
  - Nonce_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Nonce_storage
  - Operation_repr
    
    Encoding
    
    Manager_operations
    
    Kind
  - Origination_nonce
  - Parameters_repr
  - Path_encoding
    
    Make_hex
    
    H
    
    S
  - Period_repr
  - Raw_context
    
    CONSENSUS
    
    Cache
    
    Consensus
    
    T
    
    Tree
    
    Tree
  - Raw_context_intf
    
    T
    
    Tree
    
    TREE
    
    VIEW
  - Raw_level_repr
    
    Index
  - Receipt_repr
  - Roll_repr_legacy
    
    Index
  - Roll_storage_legacy
    
    Contract
    
    Delegate
  - Round_repr
    
    Durations
    
    Internals_for_test
    
    Map
    
    Legacy
  - Sampler
    
    Mass
    
    S
  - Sapling_repr
    
    Memo_size
  - Sapling_services
    
    S
    
    Args
  - Sapling_storage
    
    COMMITMENTS
    
    Ciphertexts
    
    Commitments
    
    Nullifiers
    
    Roots
  - Sapling_validator
  - Saturation_repr
  - Script_cache
  - Script_comparable
  - Script_expr_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Script_int_repr
  - Script_interpreter
    
    Internals
  - Script_interpreter_defs
  - Script_ir_annot
    
    FOR_TESTS
  - Script_ir_translator
    
    Entrypoints_map
    
    Legacy
  - Script_list
  - Script_map
  - Script_repr
    
    Micheline_size
  - Script_set
  - Script_string_repr
  - Script_tc_context
  - Script_tc_errors
  - Script_tc_errors_registration
  - Script_timestamp_repr
  - Script_typed_ir
    
    Big_map_overlay
    
    Legacy
    
    Boxed_map
    
    OPS
    
    Boxed_map_OPS
    
    Boxed_set
    
    OPS
    
    Boxed_set_OPS
    
    SMap
    
    Legacy
    
    Type_size
  - Script_typed_ir_size
  - Script_typed_ir_size_costs
  - Seed_repr
  - Seed_storage
  - Services_registration
  - Slot_repr
    
    List
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Stake_storage
    
    Delegate_sampler_state
  - State_hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
  - Storage
    
    Big_map
    
    Contents
    
    Key_type
    
    Next
    
    Total_bytes
    
    Value_type
    
    Block_round
    
    Commitments
    
    Contract
    
    Balance
    
    Code
    
    Counter
    
    Delegate
    
    Delegate_desactivation
    
    Delegated
    
    Frozen_deposits
    
    Frozen_deposits_limit
    
    Global_counter
    
    Inactive_delegate
    
    Legacy_frozen_deposits
    
    Legacy_frozen_fees
    
    Legacy_frozen_rewards
    
    Manager
    
    Missed_endorsements
    
    Paid_storage_space
    
    Storage
    
    Used_storage_space
    
    Delegate_sampler_state
    
    Delegates
    
    FOR_CYCLE
    
    Global_constants
    
    Map
    
    Legacy_active_delegates_with_rolls
    
    Legacy_block_priority
    
    Legacy_delegates_with_frozen_balance
    
    Liquidity_baking
    
    Cpmm_address
    
    Escape_ema
    
    Pending_migration
    
    Balance_updates
    
    Operation_results
    
    Ramp_up
    
    Rewards
    
    Roll_legacy
    
    Delegate_change
    
    Delegate_roll_list
    
    Last_for_snapshot
    
    Limbo
    
    Next
    
    Owner
    
    Snapshot
    
    Snapshot_for_cycle
    
    Successor
    
    Sapling
    
    Ciphertexts
    
    Commitments
    
    Commitments_size
    
    Memo_size
    
    Next
    
    Nullifiers_hashed
    
    Nullifiers_ordered
    
    Nullifiers_size
    
    Roots
    
    Roots_level
    
    Roots_pos
    
    Total_bytes
    
    Seed
    
    For_cycle
    
    Nonce
    
    Nonce_legacy
    
    Simple_single_data_storage
    
    Slashed_deposits
    
    Stake
    
    Active_delegate_with_one_roll
    
    Snapshot
    
    Last_snapshot
    
    Selected_distribution_for_cycle
    
    Staking_balance
    
    Snapshot
    
    Tenderbake
    
    Endorsement_branch
    
    First_level
    
    Grand_parent_branch
    
    Ticket_balance
    
    Table
    
    Total_active_stake
    
    Tx_rollup
    
    State
    
    Vote
    
    Ballots
    
    Current_period
    
    Current_proposal
    
    Listings
    
    Listings_size
    
    Participation_ema
    
    Pred_period_kind
    
    Proposals
    
    Proposals_count
  - Storage_costs
  - Storage_description
    
    INDEX
  - Storage_functors
    
    Ghost
    
    INDEX
    
    Make_carbonated_data_set_storage
    
    C
    
    Tree
    
    I
    
    Make_data_set_storage
    
    C
    
    Tree
    
    I
    
    Make_indexed_carbonated_data_storage
    
    C
    
    Tree
    
    I
    
    V
    
    Make_indexed_data_snapshotable_storage
    
    C
    
    Tree
    
    I
    
    Snapshot
    
    V
    
    Make_indexed_data_storage
    
    C
    
    Tree
    
    I
    
    V
    
    Make_indexed_subcontext
    
    C
    
    Tree
    
    I
    
    Make_carbonated_map
    
    V
    
    _
    
    Make_map
    
    V
    
    _
    
    Make_set
    
    _
    
    Raw_context
    
    Tree
    
    Make_single_data_storage
    
    C
    
    Tree
    
    V
    
    _
    
    Make_subcontext
    
    C
    
    Tree
    
    Tree
    
    _
    
    Pair
    
    I1
    
    I2
    
    Registered
    
    WRAPPER
    
    Wrap_indexed_data_storage
    
    C
    
    K
  - Storage_sigs
    
    Carbonated_data_set_storage
    
    Data_set_storage
    
    Indexed_data_snapshotable_storage
    
    Snapshot
    
    Indexed_data_storage
    
    Indexed_raw_context
    
    Make_carbonated_map
    
    V
    
    _
    
    Make_map
    
    V
    
    _
    
    Make_set
    
    _
    
    Raw_context
    
    Tree
    
    NAME
    
    Non_iterable_indexed_carbonated_data_storage
    
    Non_iterable_indexed_carbonated_data_storage_INTERNAL
    
    Non_iterable_indexed_carbonated_data_storage_with_values
    
    Non_iterable_indexed_data_storage
    
    REGISTER
    
    Single_data_storage
    
    VALUE
  - Tez_repr
  - Ticket_balance_key
  - Ticket_costs
    
    Constants
  - Ticket_scanner
  - Ticket_storage
  - Time_repr
  - Token
  - Tx_rollup_repr
    
    Hash
    
    Map
    
    Legacy
    
    Set
    
    Legacy
    
    Index
  - Tx_rollup_services
  - Tx_rollup_storage
  - Vote_repr
  - Vote_storage
  - Voting_period_repr
  - Voting_period_storage
  - Voting_services

Legend:
Library
Module
Module type
Parameter
Class
Class type

Value on which validators try to reach a consensus.

Consensus at a given level is reached on a sequence of operations. However, to differentiate between two blocks having the same sequence of operations, assuming that could ever happen (for instance, two empty blocks), we also include the hash of the block that precedes the block where these operations should be included.

val hash : 
  predecessor:Tezos_crypto.Block_hash.t ->
  Round_repr.t ->
  Tezos_crypto.Operation_list_hash.t ->
  Block_payload_hash.t

hash ~predecessor:block_hash round oplh creates a payload hash given a block_hash, the first round at which the payload was proposed and the hash oplh of the non-consensus operations.