Source file `neptunus.ml`

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

  let full_rounds = 60

  let partial_rounds = 0

  (* FIXME: MUST BE CHANGED. Not sure it is secure *)
  let mds_matrix = Mds_orchard.v

  let round_constants = Ark_neptunus.v

  let partial_round_idx_to_permute = 4
end

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