tezos-tx-rollup-013-PtJakart 14.0

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

type message_result =

| Interpreted of Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_apply.Message_result.t
(*
The message was interpreted by the rollup node but may have failed
*)
| Discarded of Tezos_base.TzPervasives.tztrace
(*
The message was discarded because it could not be interpreted
*)

Result of application of an inbox message

type l2_context_hash = {

irmin_hash : Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_context_hash.t;
(*
The context hash of the commited context, used for checkout
*)
tree_hash : Tezos_crypto.Context_hash.t;
(*
The tree hash is the hash of the underlying tree in the Context, used to produce proofs
*)

}

type message = {

message : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message.t;
result : message_result;
l2_context_hash : l2_context_hash;

}

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

type t = message list

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

val l2_context_hash_encoding : 
  l2_context_hash Tezos_base.TzPervasives.Data_encoding.t

Encoding for l2 context hashes

val message_encoding : message Tezos_base.TzPervasives.Data_encoding.t

Encoding for inbox messages

val encoding : t Tezos_base.TzPervasives.Data_encoding.t

Encoding for inboxes

val merkle_root : 
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.root

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

val to_proto : 
  t ->
  Tezos_protocol_013_PtJakart.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.

val proto_message_results : 
  t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message_result.t
    list

Return protocol message results for an inbox