def new_sha512
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hashimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as C512
510def new_sha512() -> Hasher:
511 Sha512H{St512{C512.initial(), Nil{}}, 0n}
Uses (4)
Used by (6)
- bend-osdev-crypto@0.1.0.0/inst_sha2:CrSha2.init512
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/laws:Incremental.sha512
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/incremental:incremental512
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/hash/laws:Split.sha512
- bend-osdev-crypto@0.1.0.0/LAWS:sha512_hash_split
- …