package bls12-381-hash

  1. Overview
  2. Docs

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

val alpha : Bls12_381.Fr.t

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

val alpha_inv : Bls12_381.Fr.t

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

val delta : Bls12_381.Fr.t

For BLS12-381, it is 14981678621464625851270783002338847382197300714436467949315331057125308909861

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

val beta : Bls12_381.Fr.t

Same than g

val gamma : Bls12_381.Fr.t

Set to 0 for BLS12-381

val state_size_1 : int * int * Bls12_381.Fr.t array array * Bls12_381.Fr.t array

Parameters for AnemoiJive with l = 1 and 128 bits of security The parameters are:

  • number of rounds
  • l
  • MDS matrix
  • round constants
val state_size_2 : int * int * Bls12_381.Fr.t array array * Bls12_381.Fr.t array

Parameters for AnemoiJive with l = 2 and 128 bits of security The parameters are:

  • number of rounds
  • l
  • MDS matrix
  • round constants
val state_size_3 : int * int * Bls12_381.Fr.t array array * Bls12_381.Fr.t array

Parameters for AnemoiJive with l = 3 and 128 bits of security The parameters are:

  • number of rounds
  • l
  • MDS matrix
  • round constants
OCaml

Innovation. Community. Security.