Source file `poseidon252.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
module Constant : Poseidon_core.PARAMETERS = struct
  let width = 5

  let full_rounds = 8

  let partial_rounds = 59

  let mds_matrix = Mds_poseidon252.v

  let round_constants = Ark_poseidon252.v

  let partial_round_idx_to_permute = 4
end

module Make (Scalar : Ff_sig.PRIME) = Poseidon_core.Make (Constant) (Scalar)