Libraries

This package provides the following libraries (via dune):

tezos-protocol-012-Psithaca

Documentation: Tezos_protocol_012_Psithaca

Dependencies: tezos-protocol-environment, tezos-protocol-environment.sigs, tezos-protocol-012-Psithaca.raw

tezos-protocol-012-Psithaca.environment

Documentation: Tezos_protocol_environment_012_Psithaca

Dependencies: tezos-protocol-environment

tezos-protocol-012-Psithaca.parameters

Documentation:

• Tezos_protocol_012_Psithaca_parameters.Default_parameters

Dependencies: tezos-base, tezos-protocol-environment, tezos-protocol-012-Psithaca

tezos-protocol-012-Psithaca.raw

Documentation:

• Tezos_raw_protocol_012_Psithaca.Alpha_context An Alpha_context.t is an immutable snapshot of the ledger state at some block height, preserving type-safety and invariants of the ledger state.
• Tezos_raw_protocol_012_Psithaca.Alpha_services This declares Protocol RPC services.
• Tezos_raw_protocol_012_Psithaca.Amendment Only delegates with at least one roll take part in the amendment procedure. It works as follows:
• Tezos_raw_protocol_012_Psithaca.Apply This module supports advancing the ledger state by applying operations.
• Tezos_raw_protocol_012_Psithaca.Apply_results Types representing results of applying an operation.
• Tezos_raw_protocol_012_Psithaca.Baking
• Tezos_raw_protocol_012_Psithaca.Blinded_public_key_hash This module handles hashes of implicit contract addresses used for commitments in the origin block.
• Tezos_raw_protocol_012_Psithaca.Block_header_repr Representation of block headers.
• Tezos_raw_protocol_012_Psithaca.Block_payload_hash A specialized Blake2B implementation for hashing block's payloads.
• Tezos_raw_protocol_012_Psithaca.Block_payload_repr Value on which validators try to reach a consensus.
• Tezos_raw_protocol_012_Psithaca.Bootstrap_storage
• Tezos_raw_protocol_012_Psithaca.Cache_memory_helpers
• Tezos_raw_protocol_012_Psithaca.Cache_repr Frequently used data should be kept in memory and persisted along a chain of blocks. The caching mechanism allows the economic protocol to declare such data and to rely on a Least Recently Used strategy to keep the cache size under a fixed limit.
• Tezos_raw_protocol_012_Psithaca.Commitment_repr
• Tezos_raw_protocol_012_Psithaca.Commitment_storage
• Tezos_raw_protocol_012_Psithaca.Constants_repr
• Tezos_raw_protocol_012_Psithaca.Constants_services
• Tezos_raw_protocol_012_Psithaca.Constants_storage
• Tezos_raw_protocol_012_Psithaca.Contract_delegate_storage
• Tezos_raw_protocol_012_Psithaca.Contract_hash A specialized Blake2B implementation for hashing contract identifiers.
• Tezos_raw_protocol_012_Psithaca.Contract_manager_storage
• Tezos_raw_protocol_012_Psithaca.Contract_repr This module defines identifiers for two basic types of contracts. It also specifies how to compute originated contract's hash from origination nonce.
• Tezos_raw_protocol_012_Psithaca.Contract_services
• Tezos_raw_protocol_012_Psithaca.Contract_storage
• Tezos_raw_protocol_012_Psithaca.Cycle_repr
• Tezos_raw_protocol_012_Psithaca.Delegate_activation_storage
• Tezos_raw_protocol_012_Psithaca.Delegate_services
• Tezos_raw_protocol_012_Psithaca.Delegate_storage
• Tezos_raw_protocol_012_Psithaca.Fees_storage
• Tezos_raw_protocol_012_Psithaca.Fitness_repr
• Tezos_raw_protocol_012_Psithaca.Fixed_point_repr This module defines a standard signature for modules providing fixed-point arithmetic.
• Tezos_raw_protocol_012_Psithaca.Frozen_deposits_storage
• Tezos_raw_protocol_012_Psithaca.Gas_limit_repr Internal representation of the gas limit available to the node baking a new block. It should be proportional to the time and energy required to perform a computation.
• Tezos_raw_protocol_012_Psithaca.Gas_monad
• Tezos_raw_protocol_012_Psithaca.Global_constants_costs Costs function for the global table of constants.
• Tezos_raw_protocol_012_Psithaca.Global_constants_storage This module represents access to a global table of constant Micheline values. Users may register a Micheline value in the table, paying the cost of storage. Once stored, contracts source code may reference this value by its hash.
• Tezos_raw_protocol_012_Psithaca.Init_storage Functions to setup storage. Used by Alpha_context.prepare.
• Tezos_raw_protocol_012_Psithaca.Lazy_storage_diff See Lazy_storage_kind for an introduction on lazy storage.
• Tezos_raw_protocol_012_Psithaca.Lazy_storage_kind Lazy_storage offers a unified interface for specific Michelson datatype that behave somewhat lazily, because they are intended to be quite big. Instead of serializing/deserializing the whole value to/from the storage, only an identifier is used. The identifier acts like a pointer. When using the value in a Michelson script, some part of it may be read from the storage, and a lightweight diff is computed. The diff is effectively applied to the storage at the end of the execution.
• Tezos_raw_protocol_012_Psithaca.Level_repr This module defines the protocol representation of a level. Besides the "raw level", which is the shell's notion of the level, this representation also contains additional information, like the cycle the level belongs to.
• Tezos_raw_protocol_012_Psithaca.Level_storage
• Tezos_raw_protocol_012_Psithaca.Liquidity_baking_cpmm
• Tezos_raw_protocol_012_Psithaca.Liquidity_baking_lqt
• Tezos_raw_protocol_012_Psithaca.Liquidity_baking_migration
• Tezos_raw_protocol_012_Psithaca.Liquidity_baking_repr
• Tezos_raw_protocol_012_Psithaca.Local_gas_counter
• Tezos_raw_protocol_012_Psithaca.Main Tezos Protocol Implementation - Protocol Signature Instance
• Tezos_raw_protocol_012_Psithaca.Manager_repr
• Tezos_raw_protocol_012_Psithaca.Michelson_v1_gas
• Tezos_raw_protocol_012_Psithaca.Michelson_v1_primitives
• Tezos_raw_protocol_012_Psithaca.Migration_repr
• Tezos_raw_protocol_012_Psithaca.Misc
• Tezos_raw_protocol_012_Psithaca.Non_empty_string
• Tezos_raw_protocol_012_Psithaca.Nonce_hash A specialized Blake2B implementation for hashing nonces.
• Tezos_raw_protocol_012_Psithaca.Nonce_storage
• Tezos_raw_protocol_012_Psithaca.Operation_repr Tezos Protocol Implementation - Low level Repr. of Operations
• Tezos_raw_protocol_012_Psithaca.Parameters_repr This module defines protocol parameters, i.e. constants regulating the behaviour of the blockchain under the protocol.
• Tezos_raw_protocol_012_Psithaca.Path_encoding
• Tezos_raw_protocol_012_Psithaca.Period_repr
• Tezos_raw_protocol_012_Psithaca.Raw_context
• Tezos_raw_protocol_012_Psithaca.Raw_context_intf All context manipulation functions. This signature is included as-is for direct context accesses, and used in Storage_functors to provide restricted views to the context.
• Tezos_raw_protocol_012_Psithaca.Raw_level_repr
• Tezos_raw_protocol_012_Psithaca.Receipt_repr
• Tezos_raw_protocol_012_Psithaca.Roll_repr_legacy
• Tezos_raw_protocol_012_Psithaca.Roll_storage_legacy Basic roll manipulation.
• Tezos_raw_protocol_012_Psithaca.Round_repr A round represents an iteration of the single-shot consensus algorithm.
• Tezos_raw_protocol_012_Psithaca.Sampler Efficient sampling from given finitely supported (nonzero, positive) measures using the alias method. Measures need not be normalized on input, but sampling proceeds from the normalized probability measure associated to the given measure.
• Tezos_raw_protocol_012_Psithaca.Sapling_repr
• Tezos_raw_protocol_012_Psithaca.Sapling_services
• Tezos_raw_protocol_012_Psithaca.Sapling_storage
• Tezos_raw_protocol_012_Psithaca.Sapling_validator
• Tezos_raw_protocol_012_Psithaca.Saturation_repr This module provides saturated arithmetic between 0 and 2^62 - 1.
• Tezos_raw_protocol_012_Psithaca.Script_cache This module manages the cache for smart contracts.
• Tezos_raw_protocol_012_Psithaca.Script_comparable
• Tezos_raw_protocol_012_Psithaca.Script_expr_hash A specialized Blake2B implementation for hashing Michelson expressions.
• Tezos_raw_protocol_012_Psithaca.Script_int_repr
• Tezos_raw_protocol_012_Psithaca.Script_interpreter This is the Michelson interpreter.
• Tezos_raw_protocol_012_Psithaca.Script_interpreter_defs
• Tezos_raw_protocol_012_Psithaca.Script_ir_annot
• Tezos_raw_protocol_012_Psithaca.Script_ir_translator
• Tezos_raw_protocol_012_Psithaca.Script_list
• Tezos_raw_protocol_012_Psithaca.Script_map
• Tezos_raw_protocol_012_Psithaca.Script_repr Defines a Michelson expression representation as a Micheline node with canonical (int) location and Michelson_v1_primitives.prim as content.
• Tezos_raw_protocol_012_Psithaca.Script_set
• Tezos_raw_protocol_012_Psithaca.Script_string_repr Strings of printable characters
• Tezos_raw_protocol_012_Psithaca.Script_tc_errors
• Tezos_raw_protocol_012_Psithaca.Script_tc_errors_registration
• Tezos_raw_protocol_012_Psithaca.Script_timestamp_repr Defines the internal Michelson representation for timestamps and basic operations that can be performed on it.
• Tezos_raw_protocol_012_Psithaca.Script_typed_ir
• Tezos_raw_protocol_012_Psithaca.Script_typed_ir_size This module provides overapproximation of memory footprint for Michelson-related values.
• Tezos_raw_protocol_012_Psithaca.Script_typed_ir_size_costs
• Tezos_raw_protocol_012_Psithaca.Seed_repr Tezos Protocol Implementation - Random number generation
• Tezos_raw_protocol_012_Psithaca.Seed_storage
• Tezos_raw_protocol_012_Psithaca.Services_registration Functions for RPC service registration, using Updater.rpc_context and RPC_service.t from the Protocol Environment.
• Tezos_raw_protocol_012_Psithaca.Slot_repr
• Tezos_raw_protocol_012_Psithaca.Stake_storage
• Tezos_raw_protocol_012_Psithaca.State_hash A specialized Blake2B implementation for hashing internal states of random number generators.
• Tezos_raw_protocol_012_Psithaca.Storage Tezos Protocol Implementation - Typed storage
• Tezos_raw_protocol_012_Psithaca.Storage_costs
• Tezos_raw_protocol_012_Psithaca.Storage_description This module is responsible for building the description of the current state of the storage, which is then used to build specification of the RPC endpoints for accessing the storage. It produces resto RPC_directory.t values, which can be used directly to construct the RPC endpoint tree.
• Tezos_raw_protocol_012_Psithaca.Storage_functors Tezos Protocol Implementation - Typed storage builders.
• Tezos_raw_protocol_012_Psithaca.Storage_sigs
• Tezos_raw_protocol_012_Psithaca.Tez_repr
• Tezos_raw_protocol_012_Psithaca.Ticket_balance_key This module exposes a function for generating a ticket-balance key-hash and an amount, given an owner and a ticket. The key-hash and the amount is used for populating the global ticket-balance table that tracks ownership of different types of tickets.
• Tezos_raw_protocol_012_Psithaca.Ticket_costs This module contains constants and utility functions for gas metering functions used for extracting and handling tickets for the global ticket balance table.
• Tezos_raw_protocol_012_Psithaca.Ticket_scanner This module provides an API for extracting tickets of arbitrary types from an OCaml values, given a type-witness.
• Tezos_raw_protocol_012_Psithaca.Ticket_storage
• Tezos_raw_protocol_012_Psithaca.Time_repr
• Tezos_raw_protocol_012_Psithaca.Token The aim of this module is to manage operations involving tokens such as minting, transferring, and burning. Every constructor of the types source, container, or sink represents a kind of account that holds a given (or possibly infinite) amount of tokens.
• Tezos_raw_protocol_012_Psithaca.Vote_repr
• Tezos_raw_protocol_012_Psithaca.Vote_storage Manages all the voting related storage in Storage.Vote.
• Tezos_raw_protocol_012_Psithaca.Voting_period_repr
• Tezos_raw_protocol_012_Psithaca.Voting_period_storage
• Tezos_raw_protocol_012_Psithaca.Voting_services

Dependencies: tezos-protocol-012-Psithaca.environment