Idris2Doc : Data.Cryptography.Hash.SHA

Data.Cryptography.Hash.SHA

(source)

Definitions

sha1 : HashAlgorithm
  Note that as of 2020, chosen-prefix attacks against SHA-1 are practical.

Visibility: public export
sha256 : HashAlgorithm
  SHA-256 belongs to the SHA-2 family of algorithms.

Visibility: public export