package tezos-crypto-dal

  1. Overview
  2. Docs

node parameters for the DAL.

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

    true if the DAL is activated (false by default). This may have an impact on the loading time of the node.

    *)
  2. 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.

OCaml

Innovation. Community. Security.