tezos-tx-rollup-015-PtLimaPt 16.1

Describes the different representations that can be stored persistently.

Signatures

module type SINGLETON_STORE = sig ... end

A store composed of a single file on disk

module type INDEXABLE_STORE = sig ... end

An index store mapping keys to values. It is composed of an index only.

module type INDEXABLE_REMOVABLE_STORE = sig ... end

An index store mapping keys to values. Keys are associated to optional values in the index which allows them to be removed.

Indexed stores

module L2_block_store : sig ... end

A persistent store on disk for storing L2 blocks. It is composed of an index file and a data file which contains the actual blocks. The keys of the index are the L2 block hashes.

Pure index stores

module Tezos_block_store : sig ... end

An index store to map Tezos block hashes to L2 block hashes. It is composed of an index only. This store is used to remember which Tezos blocks have been processed by the Tx rollup node. When there is no inbox for a Tezos block, we associate to it the L2 block of its predecessor.

module Level_store : 
  INDEXABLE_REMOVABLE_STORE
    with type key := L2block.level
     and type value := L2block.hash

An index store to map L2 block level to L2 block hashes. It is composed of an index only.

module Commitment_store : sig ... end

An index store to map commitment hashes to their inclusion information.

Singleton stores

module Head_store : SINGLETON_STORE with type value := L2block.hash

A store composed of a single file on disk to store the current head

module Tezos_head_store : 
  SINGLETON_STORE with type value := Tezos_base.TzPervasives.Block_hash.t

A store composed of a single file on disk to store the current Tezos head

type rollup_info = {

rollup_id : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup.t;
origination_level : int32 option;

}

Type for on disk information about a rollup

module Rollup_info_store : SINGLETON_STORE with type value := rollup_info

A store composed of a single file on disk to store the rollup information. This is used to guarantee consistency between several runs of the Tx rollup node.

module Finalized_level_store : 
  SINGLETON_STORE
    with type value :=
           Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_level.t

A store composed of a single file on disk to store the last finalized rollup level (on L1)

type t = {

blocks : L2_block_store.t;
tezos_blocks : Tezos_block_store.t;
levels : Level_store.t;
commitments : Commitment_store.t;
head : Head_store.t;
tezos_head : Tezos_head_store.t;
rollup_info : Rollup_info_store.t;
finalized_level : Finalized_level_store.t;

}

The type of all stores of the Tx rollup node.

val init : data_dir:string -> readonly:bool -> blocks_cache_size:int -> t Lwt.t

init ~data_dir ~readonly ~blocks_cache_size creates or loads existing stores located in the directory data_dir. If readonly (defaults to false) is set, the stores can only be read. An LRU cache of size blocks_cache_size is used for reading L2 blocks.

val close : t -> unit Lwt.t

close store closes all the stores by closing the indexes and the associated opened file descriptors.

package tezos-tx-rollup-015-PtLimaPt

Signatures

Indexed stores

Pure index stores

Singleton stores