Module Rescue.ParametersSource

Set of parameters for BLS12-381, and parameters for specific instantiations given in the reference paper

Sourcetype t = {
  1. linear_layer : Bls12_381.Fr.t array array;
  2. round_constants : Bls12_381.Fr.t array;
  3. state_size : int;
  4. nb_of_rounds : int;
}
Sourceval security_128_state_size_3 : t

Parameters for Rescue with state_size = 3 and 128 bits of security. FIXME: The linear layer and the round constants are not standard