package octez-libs

  1. Overview
  2. Docs
A package that contains multiple base libraries used by the Octez suite

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (5)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

doc/octez-libs.bls12-381-hash/Bls12_381_hash/Permutation/Anemoi/Parameters/index.html

Module Anemoi.ParametersSource

Set of parameters for BLS12-381, and parameters for specific instantiations given in the reference paper

Sourcetype t

The type representing the set of parameters for a given instance

Sourceval create : int -> int -> Bls12_381.Fr.t array array -> t

create security state_size linear_layer creates a value of type t. If the state_size is 2, 4, 6 or 8, an exception is raised. The library enforces the user to use the default security parameters and an optimised implementation is provided in these cases. Also, an exception is raised if the state size is not a multiple of 2.

  • deprecated

    It is highly recommended to follow the recommandation in the paper for the choice of security parameters. Please open an issue if you need support for other instances than the default parameters provided by the library.

Exponent for the substitution box. For BLS12-381, it is 5

Sourceval alpha_inv : Bls12_381.Fr.t

Inverse of the exponent for the substitution box. For BLS12-381, it is 20974350070050476191779096203274386335076221000211055129041463479975432473805

For BLS12-381, it is 14981678621464625851270783002338847382197300714436467949315331057125308909861

First generator of the scalar field of BLS12-381, i.e. 7

Same than g

Set to 0 for BLS12-381

Sourceval compute_number_of_rounds : int -> int -> int

compute_number_of_rounds state_size security computes the minimal number of rounds for an instance of Anemoi with a state size of m = state_size to reach a security level of security bits. The computation follows the formula given in section 5.2

Sourceval generate_constants : int -> int -> Bls12_381.Fr.t array

generate_constants nb_rounds l generates the constants for the instance of Anemoi for a state size of m = 2 * l. The output contains the C's followed by the D's as described in the paper in section 5.1

Sourceval get_round_constants : t -> Bls12_381.Fr.t array
Sourceval get_matrix : t -> Bls12_381.Fr.t array array
Sourceval get_number_of_rounds : t -> int
Sourceval get_state_size : t -> int
Sourceval security_128_state_size_2 : t

Parameters for the permutation Anemoi for a state size of m = 2 (i.e. l = 1) and 128 bits of security given in the paper

Sourceval security_141_state_size_2 : t

Parameters for the permutation Anemoi for a state size of m = 2 (i.e. l = 1) and 141 bits of security

Sourceval security_128_state_size_4 : t

Parameters for the permutation Anemoi for a state size of m = 4 (i.e. l = 2) and 128 bits of security given in the paper

Sourceval security_128_state_size_6 : t

Parameters for the permutation Anemoi for a state size of m = 6 (i.e. l = 3) and 128 bits of security given in the paper

Sourceval security_128_state_size_8 : t

Parameters for the permutation Anemoi for a state size of m = 8 (i.e. l = 4) and 128 bits of security given in the paper