Module Rescue.Parameters

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

type t = {
  1. linear_layer : Mavryk_bls12_381.Fr.t array array;
  2. round_constants : Mavryk_bls12_381.Fr.t array;
  3. state_size : int;
  4. nb_of_rounds : int;
}
val 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