Crypto.Hash.Interfaces

Definitions

interface Digest : Type -> Type

Parameters: algo
Methods:

digest_nbyte : Nat

update : List Bits8 -> algo -> algo

finalize : algo -> Vect digest_nbyte Bits8

Implementations:

Digest Sha256

Digest Sha224

Digest Sha512

Digest Sha384

Digest Sha1

Digest MD5

digest_nbyte : Digest algo => Nat

Visibility: public export

update : Digest algo => List Bits8 -> algo -> algo

Visibility: public export

finalize : {auto __con : Digest algo} -> algo -> Vect digest_nbyte Bits8

Visibility: public export

interface Hash : Type -> Type

Parameters: algo
Constraints: Digest algo
Methods:

block_nbyte : Nat

initialize : algo

Implementations:

Hash Sha256

Hash Sha224

Hash Sha512

Hash Sha384

Hash Sha1

Hash MD5

block_nbyte : Hash algo => Nat

Visibility: public export

initialize : Hash algo => algo

Visibility: public export

interface MAC : Type -> Type -> Type

Parameters: key, algo
Constraints: Digest algo
Methods:

initialize_mac : key -> algo

initialize_mac : MAC key algo => key -> algo

Visibility: public export