neptune::poseidon
pub fn arity_tag<Fr: PrimeField, A: Arity<Fr>>() -> Fr
The arity tag is the first element of a Poseidon permutation. This extra element is necessary for 128-bit security.