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

ZkFold.Symbolic.Algorithms.Hash.Blake2b

Synopsis

Documentation

blake2b_224 :: forall inputLen c. (Symbolic c, KnownNat inputLen) => ByteString (8 * inputLen) c -> ByteString 224 c Source #

Hash a ByteString using the Blake2b-224 hash function.

blake2b_256 :: forall inputLen c. (Symbolic c, KnownNat inputLen) => ByteString (8 * inputLen) c -> ByteString 256 c Source #

Hash a ByteString using the Blake2b-256 hash function.

blake2b_512 :: forall inputLen c. (Symbolic c, KnownNat inputLen) => ByteString (8 * inputLen) c -> ByteString 512 c Source #

Hash a ByteString using the Blake2b-512 hash function.