package tezos-crypto-dal

  1. Overview
  2. Docs

node parameters for the DAL.

type t = {
  1. activated : bool;
    (*

    true if the DAL is activated. This may have an impact on the loading time of the node.

    *)
  2. use_mock_srs_for_testing : parameters option;
    (*

    If None, the srs is read from the srs files. This is the value expected for production. For testing purposes, we may want to compute the srs instead but this is not secure. In this case, the size of a slot, page, the erasure code redundancy factor and number of shards must be specified.

    *)
}
val encoding : t Data_encoding.t
val default : t

The default configuration is {activated = false; use_mock_srs_for_testing = None}.

val init_dal : find_srs_files: (unit -> (string * string) Tezos_error_monad.Error_monad.tzresult) -> ?srs_size_log2:int -> t -> unit Tezos_error_monad.Error_monad.tzresult Lwt.t

init_dal find_trusted_setup_files ?(srs_size_log2=21) config initializes the DAL according to the dal configuration config, a function to find the SRS files find_trusted_setup_files and the optional log2 of the SRS size srs_size_log2.

When config.use_mock_srs_for_testing = None, init_dal loads initialisation_parameters from the files at the paths provided by find_trusted_setup_files (). It is important that every time the primitives above are used, they are used with the very same initialization parameters. (To ensure this property, an integrity check is run.) In this case, init_dal can take several seconds to run.

OCaml

Innovation. Community. Security.