package bls12-381
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Implementation of an instantiation of Rescue over the scalar field of BLS12-381 for a security of 128 bits and with the permutation x^5. The parameters of the instantiation are:
- state size = 3
- number of rounds = 14
These parameters have been generated using this script.
constants_init ark mds initializes the constants for Poseidon.
Warnings:
- The function does not verify the parameters are secured
- This function must be called before calling
init,apply_permutationandget
init a b c returns a new context with an initialised state with the value [a, b, c].
val apply_permutation : ctxt -> unitapply_permutation ctxt applies a permutation on the state. The context is modified.