Dal_helpers (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test_helpers.Dal

val mk_cryptobox : 
  Mavryk_crypto_dal.Cryptobox.parameters ->
  Mavryk_crypto_dal.Cryptobox.t Mavryk_base.TzPervasives.tzresult

Returns an object of type Cryptobox.t from the given DAL paramters.

val derive_dal_parameters : 
  Mavryk_crypto_dal.Cryptobox.parameters ->
  redundancy_factor:int ->
  constants_divider:int ->
  Mavryk_crypto_dal.Cryptobox.parameters

Derive new DAL parameters from the given ones by:

setting the given redundancy factor ;
dividing the other fields by the given factor.

module Make (P : sig ... end) : sig ... end

Some global constants.