Crypto.Hash

Reexports

Definitions

init : (0 algo : Type) -> Hash algo => algo

  basically `Hash.initialize` but with explicit type argument

Visibility: public export

hash : (0 algo : Type) -> {auto {conArg:9572} : Hash algo} -> List Bits8 -> Vect digest_nbyte Bits8

  hash a sequence of bytes and produce a digest

Visibility: public export

init_mac : (0 algo : Type) -> MAC key algo => key -> algo

  basically `MAC.initialize` but with explicit type argument

Visibility: public export

mac : (0 algo : Type) -> {auto {conArg:9620} : MAC key algo} -> key -> List Bits8 -> Vect digest_nbyte Bits8

  hash a sequence of bytes with key and produce a digest

Visibility: public export