Module Poseidon.Parameters

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

val 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