package octez-libs
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053
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