package bls12-381-hash

You can search for identifiers within the package.

in-package search v0.2.0

bls12-381-hash
- Bls12_381_hash
  - Anemoi
    
    Parameters
  - Griffin
    
    Parameters
  - Poseidon
    
    Parameters
  - Rescue
    
    Parameters

Legend:
Library
Module
Module type
Parameter
Class
Class type

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

val g : Bls12_381.Fr.t

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