package tezos-protocol-013-PtJakart

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-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Tx_rollup_commitment_repr/index.html

Module `Tezos_raw_protocol_013_PtJakart.Tx_rollup_commitment_repr`Source

Sourcemodule Hash : sig ... end

A specialized Blake2B implementation for hashing commitments with "toc1" as a base58 prefix

Sourcemodule Merkle_hash : Tezos_protocol_environment_013_PtJakart.S.HASH

Source

module Merkle : 
  Merkle_list.T
    with type elt = Tx_rollup_message_result_hash_repr.t
     and type h = Merkle_hash.t

Sourcetype 'a template = {

level : Tx_rollup_level_repr.t;
messages : 'a;
predecessor : Hash.t option;
inbox_merkle_root : Tx_rollup_inbox_repr.Merkle.root;

}

A commitment describes the interpretation of the messages stored in the inbox of a particular level, on top of a particular layer-2 context.

It includes one Merkle tree root for each of the batches. It has a predecessor, which is the identifier of the commitment for the previous inbox. The predecessor is used to get the Merkle root of the layer-2 context before any inboxes are processed. If predecessor is None, the commitment is for the first inbox with messages in this rollup, and the initial Merkle root is the empty tree.

Sourcemodule Compact : sig ... end

Sourcemodule Full : sig ... end

Sourcemodule Index : Storage_description.INDEX with type t = Hash.t

Sourcemodule Submitted_commitment : sig ... end