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 (false
by default). This may have an impact on the loading time of the node.
srs_size : int option;
If None
(the default), 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 unsafe. In that case, a size must be specified.
}
val encoding : t Data_encoding.t
val default : t
The default configuration is {activated = false; srs_size = None}
.
val init_dal :
find_srs_files:
(unit -> (string * string) Tezos_error_monad.Error_monad.tzresult) ->
t ->
unit Tezos_error_monad.Error_monad.tzresult Lwt.t
init_dal find_trusted_setup_files config
initializes the DAL according to the dal configuration config
.
When config.srs_size = 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.