package tezos-tx-rollup-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-tx-rollup-015-PtLimaPt
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_tx_rollup_015_PtLimaPt.InboxSource

A non-compact representation of inboxes that represents complete messages and not their hashes.

Sourcetype message_result =
  1. | Interpreted of Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_apply.Message_result.t
    (*

    The message was interpreted by the rollup node but may have failed

    *)
  2. | Discarded of Tezos_base.TzPervasives.tztrace
    (*

    The message was discarded because it could not be interpreted

    *)

Result of application of an inbox message

Sourcetype l2_context_hash = {
  1. irmin_hash : Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_context_hash.t;
    (*

    The context hash of the commited context, used for checkout

    *)
  2. tree_hash : Tezos_base.TzPervasives.Context_hash.t;
    (*

    The tree hash is the hash of the underlying tree in the Context, used to produce proofs

    *)
}
Sourcetype message = {
  1. message : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t;
  2. result : message_result;
  3. l2_context_hash : l2_context_hash;
}

Type of inbox message with the context hash resulting from the application of the message

Sourcetype t = message list

The type representing an inbox whose contents are the messages and not the hashed messages.

Sourceval l2_context_hash_encoding : l2_context_hash Tezos_base.TzPervasives.Data_encoding.t

Encoding for l2 context hashes

Sourceval message_encoding : message Tezos_base.TzPervasives.Data_encoding.t

Encoding for inbox messages

Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t

Encoding for inboxes

Sourceval merkle_root : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.root

Returns the Merkle root of the (contents of the) inbox.

Sourceval to_proto : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.t

Returns the protocol inbox from an L2 inbox. The protocol inbox corresponds to the structure that is stored on L1, i.e. an inbox with Merklized contents.

Sourceval proto_message_results : t -> Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message_result.t list

Return protocol message results for an inbox

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