package tezos-dal-node-lib

  1. Overview
  2. Docs
package tezos-dal-node-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_dal_node_lib.Skip_list_cells_storeSource

This module instantiates the key value store to provide facilities for storing and retrieving the cells of the DAL skip list. The store maintains:

  • A mapping from hashes to cells, to allow retrieval of the cell associated with a hash. This is useful while constructing a DAL refutation proof.
  • A mapping from (attested) levels to hashes, to allow removing data related to a level once they cannot be used anymore for refutation games.

The store only supports storing values with a fixed-size encoding (as it uses the Key_value_store). Because the length of skip lists' cells slowly increases over time (because of new pointers), a sufficiently large maximum size is provided at initialization time; the binary representation of cells is padded accordingly before storing them.

Sourcetype t
Sourceval init : node_store_dir:string -> skip_list_store_dir:string -> padded_encoded_cell_size:int -> encoded_hash_size:int -> number_of_slots:int -> t Tezos_base.TzPervasives.tzresult Lwt.t

init ~node_store_dir ~skip_list_store_dir ~padded_encoded_cell_size ~encoded_hash_size ~number_of_slots returns a new skip lists store under the path node_store_dir/skip_list_store_dir. The padded_encoded_cell_size parameter specifies the extended size of cells once encoded and stored as bytes in the key-value store. The encoded_hash_size parameter indicates the size of hashes once encoded as fixed-size bytes. The provided number_of_slots is used to know the number of expected cells (hashes) per attested level.

insert store ~attested_level values inserts the given list of values associated to the given attested_level in the store. Any existing value is overriden.

Sourceval find : t -> Dal_proto_types.Skip_list_hash.t -> Dal_proto_types.Skip_list_cell.t Tezos_base.TzPervasives.Error_monad.tzresult Lwt.t

find store hash returns the cell associated to hash in the store, if any.

Sourceval remove : t -> attested_level:int32 -> (unit, Tezos_base.TzPervasives.Error_monad.tztrace) result Lwt.t

remove store ~attested_level removes any data related to attested_level from the store.

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