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