package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_013_PtJakart.StorageSource

Tezos Protocol Implementation - Typed storage

This module hides the hierarchical (key x value) database under pre-allocated typed accessors for all persistent entities of the tezos context.

This interface enforces no invariant on the contents of the database. Its goal is to centralize all accessors in order to have a complete view over the database contents and avoid key collisions.

Sourcemodule type Simple_single_data_storage = sig ... end
Sourcetype deposits = {
  1. initial_amount : Tez_repr.t;
  2. current_amount : Tez_repr.t;
}
Sourcetype missed_endorsements_info = {
  1. remaining_slots : int;
  2. missed_levels : int;
}
Sourcemodule Contract : sig ... end

Storage from this submodule must only be accessed through the module `Contract`.

Sourcemodule Big_map : sig ... end
Sourcemodule Sapling : sig ... end

Set of all registered delegates.

Sourcetype slashed_level = {
  1. for_double_endorsing : bool;
  2. for_double_baking : bool;
}

Set used to avoid slashing multiple times the same event

Sourcemodule Stake : sig ... end

Sum of the active stakes of all the delegates with rolls

State of the sampler used to select delegates. Managed synchronously with Stake.Selected_distribution_for_cycle.

Votes

Sourcemodule Vote : sig ... end
Sourcemodule type FOR_CYCLE = sig ... end

Seed

Sourcemodule Seed : sig ... end

Storage from this submodule must only be accessed through the module `Seed`.

Commitments

Sourcemodule Ramp_up : sig ... end

Ramp up rewards

Sourcemodule Pending_migration : sig ... end
Sourcemodule Liquidity_baking : sig ... end
Sourcemodule Global_constants : sig ... end

A map of Script_repr.expr values, indexed by their hash (Script_expr_hash.t). Values from this map can be incorporated by any contract via the primitive Michelson_v1_primitives.H_constant.

Sourcemodule Ticket_balance : sig ... end

This module exposes a balance table for tracking ticket ownership. The table is a mapping from keys to values where the keys consist of a hashed representation of:

Tenderbake

Sourcemodule Tenderbake : sig ... end
Sourcemodule Tx_rollup : sig ... end
Sourcemodule Sc_rollup : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct