Module `Octez_smart_rollup.Sc_rollup_block`Source

Structure of layer 2 blocks

Sourcetype header = {

block_hash : Tezos_base.TzPervasives.Block_hash.t;
(*
Tezos block hash.
*)
level : int32;
(*
Level of the block, corresponds to the level of the tezos block.
*)
predecessor : Tezos_base.TzPervasives.Block_hash.t;
(*
Predecessor hash of the Tezos block.
*)
commitment_hash : Octez_smart_rollup.Commitment.Hash.t option;
(*
Hash of this block's commitment if any was computed for it.
*)
previous_commitment_hash : Octez_smart_rollup.Commitment.Hash.t;
(*
Previous commitment hash in the chain. If there is a commitment for this block, this field contains the commitment that was previously computed.
*)
context : Smart_rollup_context_hash.t;
(*
Hash of the layer 2 context for this block.
*)
inbox_witness : Tezos_crypto.Hashed.Smart_rollup_merkelized_payload_hashes_hash.t;
(*
Witness for the inbox for this block, i.e. the Merkle hash of payloads of messages.
*)
inbox_hash : Octez_smart_rollup.Inbox.Hash.t;
(*
Hash of the inbox for this block.
*)

}

A layer 2 block header contains information about the inbox and commitment with respect to a layer 1 block, but without the inbox content of messages.

Sourcetype content = {

inbox : Inbox.t;
(*
Inbox for this block.
*)
messages : string list;
(*
Serialized messages added to the inbox in this block.
*)
commitment : Commitment.t option;
(*
Commitment, if any is computed for this block. header.commitment = Some h iff commitment = Some c and hash c = h.
*)

}

Contents of blocks which include the actual content of the inbox and messages.

Sourcetype ('header, 'content) block = {

header : 'header;
(*
Header of this block.
*)
content : 'content;
(*
Content of the block.
*)
initial_tick : Z.t;
(*
Initial tick of the PVM at this block, i.e. before evaluation of the messages.
*)
num_ticks : int64;
(*
Number of ticks produced by the evaluation of the messages in this block.
*)

}

Block parameterized by a header and content. The parameters are here to allow to split the header and rest of the block.

Sourcetype t = (header, unit) block

The type of layer 2 blocks. This type corresponds to what is stored on disk for L2 blocks. The contents is stored in separate tables because it can be large to read is is not always necessary.

Sourcetype full = (header, content) block

The type of layer 2 blocks including their content (inbox, messages, commitment).

Encodings

Sourceval header_encoding : header Tezos_base.TzPervasives.Data_encoding.t

Sourceval header_size : int

Sourceval content_encoding : content Tezos_base.TzPervasives.Data_encoding.t

Source

val block_encoding : 
  'header Tezos_base.TzPervasives.Data_encoding.t ->
  'content Tezos_base.TzPervasives.Data_encoding.t ->
  ('header, 'content) block Tezos_base.TzPervasives.Data_encoding.t

Sourceval encoding : t Tezos_base.TzPervasives.Data_encoding.t

Sourceval full_encoding : full Tezos_base.TzPervasives.Data_encoding.t

Helper functions

Sourceval most_recent_commitment : header -> Octez_smart_rollup.Commitment.Hash.t

most_recent_commitment header returns the most recent commitment information at the block of with header. It is either the commitment for this block if there is one or the previous commitment otherwise.

Sourceval final_tick : ('a, 'b) block -> Z.t

final_tick block is the final tick, after evaluation of the messages in the block, i.e. block.initial_tick + block.num_ticks.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.smart-rollup/Octez_smart_rollup/Sc_rollup_block/index.html

Module `Octez_smart_rollup.Sc_rollup_block`Source

Structure of layer 2 blocks

Encodings

Helper functions

package octez-l2-libs

Install

Dune Dependency

Authors

Maintainers

Sources

doc/octez-l2-libs.smart-rollup/Octez_smart_rollup/Sc_rollup_block/index.html

Module Octez_smart_rollup.Sc_rollup_blockSource

Structure of layer 2 blocks

Encodings

Helper functions

Module `Octez_smart_rollup.Sc_rollup_block`Source