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