| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
ZkFold.Symbolic.Algorithms.Hash.MiMC
Synopsis
- mimcHash2 :: (FromConstant a x, Ring x) => [a] -> a -> x -> x -> x
- mimcHashN :: (FromConstant a x, Ring x) => [a] -> a -> [x] -> x
- hash :: forall context x a. (SymbolicOutput x, BaseField context ~ a, Context x ~ context) => x -> FieldElement context
Documentation
mimcHash2 :: (FromConstant a x, Ring x) => [a] -> a -> x -> x -> x Source #
MiMC-2n/n (Feistel) hash function. See https://eprint.iacr.org/2016/492.pdf, page 5
mimcHashN :: (FromConstant a x, Ring x) => [a] -> a -> [x] -> x Source #
hash :: forall context x a. (SymbolicOutput x, BaseField context ~ a, Context x ~ context) => x -> FieldElement context Source #