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