package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-protocol-015-PtLimaPt
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Hash : sig ... end

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

type 'a template = {
  1. level : Tx_rollup_level_repr.t;
  2. messages : 'a;
  3. predecessor : Hash.t option;
  4. 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.

module Compact : sig ... end
module Full : sig ... end
module Submitted_commitment : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct