Safe Haskell	Safe-Inferred
Language	Haskell2010

ZkFold.Symbolic.Algorithms.Hash.Blake2b.Constants

Synopsis

blake2b_iv :: (FromConstant Natural x, IsList (v x), Item (v x) ~ x) => v x
sigma :: forall v. (IsList (v Int), IsList (v (v Int)), Item (v Int) ~ Int, Item (v (v Int)) ~ v Int) => v (v Int)

Documentation

Initialization Vector (same as for SHA-512)

sigma :: forall v. (IsList (v Int), IsList (v (v Int)), Item (v Int) ~ Int, Item (v (v Int)) ~ v Int) => v (v Int) Source #