Module Mavryk_alpha_test_helpers.Dal_helpers

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.

Returns the slot id of the given cell's content .

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

Some global constants.