Crypto.Encoding.SHA3.TupleHash

See NIST Special Publication 800-185: SHA-3 Derived Functions: cSHAKE, KMAC, TupleHash and ParallelHash. https://www.nist.gov/publications/sha-3-derived-functions-cshake-kmac-tuplehash-and-parallelhash Note that this module does not implement TupleHash itself, though it could be used to implement TupleHash given an implementation of Keccak/SHA-3. This only implements the data-encoding portions of TupleHash, and does not implement any kind of cryptographic state machine.

Documentation

leftEncodeZero :: ByteString

leftEncodeInteger :: Integer -> Maybe ByteString

leftEncodeIntegerFromBytes :: Integer -> Maybe ByteString

leftEncode :: forall b. (Integral b, FiniteBits b) => b -> ByteString

leftEncodeFromBytes :: (Integral b, FiniteBits b) => b -> ByteString

encodeString :: ByteString -> ByteString

encodedByteLength :: ByteString -> Int

encodedVectorByteLength :: Foldable f => f ByteString -> Int

bareEncodeZero :: ByteString

bareEncodeInteger :: Integer -> Maybe ByteString

bareEncodeIntegerFromBytes :: Integer -> Maybe ByteString

bareEncode :: (Integral b, FiniteBits b) => b -> ByteString

bareEncodeFromBytes :: (Integral b, FiniteBits b) => b -> ByteString

lengthOfBareEncode :: (Integral b, FiniteBits b) => b -> Int

lengthOfBareEncodeFromBytes :: (Integral b, FiniteBits b) => b -> Int

lengthOfBareEncodeInteger :: Integer -> Maybe Int

lengthOfBareEncodeIntegerFromBytes :: Integer -> Maybe Int

lengthOfLeftEncode :: (Integral b, FiniteBits b) => b -> Int

lengthOfLeftEncodeFromBytes :: (Integral b, FiniteBits b) => b -> Int

lengthOfLeftEncodeInteger :: Integer -> Maybe Int

lengthOfLeftEncodeIntegerFromBytes :: Integer -> Maybe Int