Expand description
The Poseidon2 permutation.
This implementation was based upon the following resources:
<https://github.com/HorizenLabs/poseidon2/blob/main/plain_implementations/src/poseidon2/poseidon2.rs><https://eprint.iacr.org/2023/323.pdf>
Structs§
- External
Layer Constants - A struct which stores round-specific constants for both initial and terminal external layers.
- HLMDS
Mat4 - The 4x4 MDS matrix used by the Horizon Labs implementation of Poseidon2.
- MDSMat4
- The fastest 4x4 MDS matrix.
- Poseidon2
- The Poseidon2 permutation.
Traits§
- External
Layer - A trait containing all data needed to implement the external layers of Poseidon2.
- External
Layer Constructor - Initialize an external layer from a set of constants.
- Generic
Poseidon2 Linear Layers - Internal
Layer - A trait containing all data needed to implement the internal layers of Poseidon2.
- Internal
Layer Constructor - Initialize an internal layer from a set of constants.
Functions§
- add_
rc_ and_ sbox_ generic - A generic method performing the transformation:
- external_
initial_ permute_ state - Applies the initial external rounds of the Poseidon2 permutation.
- external_
terminal_ permute_ state - Applies the terminal external rounds of the Poseidon2 permutation.
- internal_
permute_ state - A helper method which allows any field to easily implement Internal Layer. This should only be used in places where performance is not critical.
- matmul_
internal - Given a vector v compute the matrix vector product (1 + diag(v))state with 1 denoting the constant matrix of ones.
- mds_
light_ permutation - Implement the matrix multiplication used by the external layer.
- poseidon2_
round_ numbers_ 128 - Given a field, a width and an D return the number of full and partial rounds needed to achieve 128 bit security.