package tezos-protocol-014-PtKathma
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Dal_endorsement_repr/index.html
Module Tezos_raw_protocol_014_PtKathma.Dal_endorsement_reprSource
Slot endorsement representation for the data-availability layer.
Overview
For the data-availability layer, the layer 1 provides a list of slots at every level (see dal_slot_repr). Slots are not posted directly onto L1 blocks. Stakeholders (via endorsements) can commit on the availability of the data.
The slot is uniformly split into shards. Each endorser commits for every slot at every level on the availability of all shards they are assigned to.
This module encapsulates the representation of this commitment that aims to be provided with endorsement operations. To avoid overloading the network, this representation should be compact.
empty returns an empty slot_endorsement which commits that every slot are unavailable.
is_available slot_endorsement ~index returns true if the slot_endorsement commits that the slot at index is available.
commit slot_endorsement index commits into slot_endorsement that the index is available.
occupied_size_in_bits slot_endorsement returns the size in bits of an endorsement.
expected_size_in_bits ~max_index returns the expected size (in bits) of an endorsement considering the maximum index for a slot is max_index.
This module is used to record the various data-availability endorsements.