Module Cryptobox.Config

node parameters for the DAL.

type t = Mavryk_crypto_dal_mavkit_dal_config.Dal_config.t = {
  1. activated : bool;
  2. use_mock_srs_for_testing : bool;
  3. bootstrap_peers : string list;
}
val encoding : t Data_encoding.t
val default : t
val init_verifier_dal : t -> unit Mavryk_error_monad.Error_monad.tzresult

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 = false, 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.

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