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

ZkFold.Symbolic.Algorithms.Hash.MiMC

Synopsis

Documentation

mimcHash :: forall a. Symbolic a => [a] -> a -> a -> a -> a Source #

MiMC-2n/n (Feistel) hash function. See https://eprint.iacr.org/2016/492.pdf, page 5