package tezos-protocol-017-PtNairob
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680
sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc
doc/tezos-protocol-017-PtNairob.raw/Tezos_raw_protocol_017_PtNairob/Dal_attestation_repr/Accountability/index.html
Module Dal_attestation_repr.AccountabilitySource
This module is used to record the shard 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.
The data-structure used to record the shards attestations.
DAL/FIXME https://gitlab.com/tezos/tezos/-/issues/3145
Consider using the Bounded module. In particular, change the semantics of is_slot_attested accordingly.
init ~length initialises a new accountability data-structure with at most length slots and where for every slot, no shard is available.
record_attested_shards t slots shards records that for all slots declared available in slots, the shard indices in shards are deemed available. It is the responsibility of the caller to ensure the shard indices are positive numbers. A negative shard index is ignored.
val is_slot_attested :
t ->
threshold:int ->
number_of_shards:int ->
Dal_slot_index_repr.t ->
boolis_slot_attested 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.