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_attestation_repr/Accountability/index.html

Module Dal_attestation_repr.AccountabilitySource

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

For each attestor, a list of shards is associated. For each attested slot (see t) we record that those shards were deemed available.

This information will be used at the end of block finalisation to have the protocol declaring whether the slot is available.

Sourcetype t

The data-structure used to record the shards-slots availability.

DAL/FIXME https://gitlab.com/tezos/tezos/-/issues/3145

Consider using the Bounded module. In particular, change the semantics of is_slot_available accordingly.

Sourceval init : length:int -> t

init ~length initialises a new accountability data-structure with at most length slots and where for every slot, no shard is available.

Sourceval record_shards_availability : t -> attested_slots -> shard_index list -> t

record_shards_availability t slots shards records that for all slots declared available in slots, shard indices in shards are available. It is the responsibility of the caller to ensure the shard indices are positive numbers. A negative shard index is ignored.

Sourceval is_slot_available : t -> threshold:int -> number_of_shards:int -> Dal_slot_repr.Index.t -> bool

is_slot_available t ~threshold ~number_of_shards slot returns true if the number of shards recorded in t for the slot is above the threshold with respect to the total number of shards specified by number_of_shards. Returns false otherwise or if the index is out of the interval 0;length where length is the value provided to the init function.