def sha512_bytes
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512import Base
295# The 64-byte SHA-512 digest.
296def sha512_bytes(bytes: List<&2, U32>) -> List<&2, U32>:
297 digest_octets(sha512(bytes))
Uses (4)
Used by (16)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519:hram
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/bytes:sha_eq
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha512/conformance:sha512_correct
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/ed25519:sign_body
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/ed25519/top:hk_val
- …