Module Poseidon.ParametersSource

Sourcetype t = {
  1. state_size : int;
  2. nb_of_partial_rounds : int;
  3. nb_of_full_rounds : int;
  4. batch_size : int;
  5. round_constants : Bls12_381.Fr.t array;
  6. linear_layer : Bls12_381.Fr.t array array;
}
Sourceval security_128_state_size_3 : t

Parameters for Poseidon with a state size of 3 for a security of 128bits. FIXME: The linear layer and the round constants are not standard

Sourceval security_256_state_size_5 : t

Parameters for Poseidon with a state size of 5 for a security of 256bits. FIXME: The linear layer and the round constants are not standard