package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
On This Page
  1. Overview
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-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Dal_endorsement_repr/index.html

Module Tezos_raw_protocol_015_PtLimaPt.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.

Sourcetype t
Sourcetype available_slots = t
Sourceval empty : t

empty returns an empty slot_endorsement which commits that every slot are unavailable.

Sourceval is_available : t -> Dal_slot_repr.Index.t -> bool

is_available slot_endorsement ~index returns true if the slot_endorsement commits that the slot at index is available.

Sourceval commit : t -> Dal_slot_repr.Index.t -> t

commit slot_endorsement index commits into slot_endorsement that the index is available.

Sourceval occupied_size_in_bits : t -> int

occupied_size_in_bits slot_endorsement returns the size in bits of an endorsement.

Sourceval expected_size_in_bits : max_index:Dal_slot_repr.Index.t -> int

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.

Sourcemodule Accountability : sig ... end

This module is used to record the various data-availability endorsements.