Griffin over the scalar field of BLS12-381 for a security of 128 bits and with the permutation x^5.
module Parameters : sig ... endtype parameters = Parameters.tParameters for a specific instance
val allocate_ctxt : parameters -> ctxtallocate_ctxt parameters. Allocate a context for a specific instance of the permutation.
val get_state : ctxt -> Bls12_381.Fr.t arrayReturn the current state of the context
val get_state_size : ctxt -> intReturn the state size of the context
val set_state : ctxt -> Bls12_381.Fr.t array -> unitset_state ctxt state. Set the context state to the given value. The value state must be of the same size than the expecting state
val apply_permutation : ctxt -> unitApply a permutation on the current state of the context