symbolic-base-0.1.0.0: ZkFold Symbolic compiler and zero-knowledge proof protocols
Safe HaskellSafe-Inferred
LanguageHaskell2010

ZkFold.Symbolic.Algorithms.Hash.MiMC.Constants

Synopsis

Documentation

mimcConstants :: forall a. FromConstant Integer a => [a] Source #

The round constants ci are random elements of F_2n except for the first and last round constants which are equal to 0.