package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13
doc/octez-libs.bls12-381-hash/Bls12_381_hash/Permutation/Anemoi/index.html
Module Permutation.AnemoiSource
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.
Set of parameters for BLS12-381, and parameters for specific instantiations given in the reference paper
Parameters for a specific instance
Context of the permutation
allocate_ctxt parameters. Allocate a context for a specific instance of the permutation.
Return the current state of the context
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
apply_linear_layer ctxt applies the linear layer on the state. The context is modified
apply_flystel ctxt applies the Flystel construction on the context. The context is modified
apply_constants_addition ctxt round applies the constant addition for the round round. The context is modified
apply_one_round ctxt round applies the round round on the state. The context is modified
jive128_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
jive141_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