Implementation of the permutation Anemoi and the mode of operation Jive over the scalar field of BLS12-381.
The state of the permutation Anemoi is m, where m is a multiple of 2. It is commonly refered by l such that m = 2l.
module Parameters : sig ... endSet of parameters for BLS12-381, and parameters for specific instantiations given in the reference paper
type 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
val apply_linear_layer : ctxt -> unitapply_linear_layer ctxt applies the linear layer on the state. The context is modified
val apply_flystel : ctxt -> unitapply_flystel ctxt applies the Flystel construction on the context. The context is modified
val apply_constants_addition : ctxt -> int -> unitapply_constants_addition ctxt round applies the constant addition for the round round. The context is modified
val apply_one_round : ctxt -> int -> unitapply_one_round ctxt round applies the round round on the state. The context is modified
val jive128_1 : Bls12_381.Fr.t -> Bls12_381.Fr.t -> Bls12_381.Fr.tjive128_1 x y calls the permutation Anemoi for l = 1 with the state S = (x, y) and apply Jive on the output. Expected security is 128 bits
val jive141_1 : Bls12_381.Fr.t -> Bls12_381.Fr.t -> Bls12_381.Fr.tjive141_1 x y calls the permutation Anemoi for l = 1 with the state S = (x, y) and apply Jive on the output. Expected security is 141 bits