package tezos-protocol-016-PtMumbai

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-16.0.tar.gz
sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55
sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-016-PtMumbai.raw/Tezos_raw_protocol_016_PtMumbai/Dal_slot_repr/Page/index.html

Module Dal_slot_repr.PageSource

A DAL slot is decomposed to a successive list of pages with fixed content size. The size is chosen so that it's possible to inject a page in a Tezos L1 operation if needed during the proof phase of a refutation game.

Sourcetype content = Tezos_protocol_environment_016_PtMumbai.Bytes.t
Sourcetype slot_index = Index.t
Sourcemodule Index : sig ... end
Sourceval content_encoding : content Tezos_protocol_environment_016_PtMumbai.Data_encoding.t

Encoding for page contents.

Sourcetype t = {
  1. slot_id : Header.id;
  2. page_index : Index.t;
}

A page is identified by its slot ID and by its own index in the list of pages of the slot.

Sourceval equal : t -> t -> bool

equal function for values of type t.

encoding for values of type t.

encoding for values of type proof.

pretty-printer for values of type t.