Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
node parameters for the DAL.
type t = {
activated : bool;
true
if the DAL is activated. This may have an impact on the loading time of the node.
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.