Module Permutation.PoseidonSource

Implementation of Poseidon over the scalar field of BLS12-381 for a security with the permutation x^5.

Sourcemodule Parameters : sig ... end
Sourcetype parameters = Parameters.t

Parameters for a specific instance

Sourcetype ctxt

Context of the permutation

Sourceval allocate_ctxt : parameters -> ctxt

allocate_ctxt parameters. Allocate a context for a specific instance of the permutation.

Sourceval get_state : ctxt -> Bls12_381.Fr.t array

Return the current state of the context

Sourceval get_state_size : ctxt -> int

Return the state size of the context

Sourceval set_state : ctxt -> Bls12_381.Fr.t array -> unit

set_state ctxt state. Set the context state to the given value. The value state must be of the same size than the expecting state

Sourceval apply_permutation : ctxt -> unit

Apply a permutation on the current state of the context