package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Dal_slot_repr/index.html

Module `Tezos_raw_protocol_014_PtKathma.Dal_slot_repr`Source

Slot header representation for the data-availability layer.

Overview

For the data-availability layer, the L1 provides a list of slots at every level. A slot is a blob of data that can be interpreted by the users of the data-availability layer (such as SCORU).

The purpose of the data-availability layer is to increase the bandwidth of the layer 1 thanks to the distribution of "slots". A slot is never posted directly onto the layer 1 blocks but on the data-availability layer. The producer of a slot sill has to post a slot header onto the layer 1. A slot header is an abstract datatype certifying that the corresponding slot has some maximum size (provided by the layer 1). In other words, the whole data contained into the slot cannot exceed some fixed size. This is to avoid attacks where a slot header would be posted onto the layer 1 block, declared available by the protocol, but actually the slot size would be too large to be refuted a posteriori.

The slot header can also be used to prove that a blob of data is a portion of the initial slot.

Sourcemodule Header : sig ... end

Sourcemodule Index : sig ... end

An `Index.t` is a possible value for a slot index. We assume this value to be a positive 8-bit integer. Note that this is a hard constraint, which is independent of protocol constants. If a choice is ever made to increase the size of available slots in the protocol, we also need to change this module to accommodate for higher values.

Sourcetype header = Header.t

Sourcetype t = private {

level : Raw_level_repr.t;
index : Index.t;
header : header;

}

Sourcetype slot = t

make ~level ~index ~header builds a slot.

Sourceval make : level:Raw_level_repr.t -> index:Index.t -> header:header -> t

Sourceval encoding : t Tezos_protocol_environment_014_PtKathma.Data_encoding.t

The encoding ensures the slot is always a non-negative number.

Sourceval pp : Tezos_protocol_environment_014_PtKathma.Format.formatter -> t -> unit

Sourcemodule Slot_market : sig ... end

Only one slot header is accepted per slot index. If two slots headers are included into a block, the second one will fail.

On This Page

Overview