Module Griffin.ParametersSource

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

Exponent for the substitution box. For BLS12-381, it is 5

Inverse of the exponent for the substitution box. For BLS12-381, it is 20974350070050476191779096203274386335076221000211055129041463479975432473805

Sourceval security_128_state_size_3 : t

Parameters for Griffin with a state size of 3 for a security of 128bits

Sourceval security_128_state_size_4 : t

Parameters for Griffin with a state size of 4 for a security of 128 bits