def sha512
import bend-collections@1.0.0.0/src/crypto/hash.bend as Hashimport Base
import bend-collections@1.0.0.0/src/crypto/sha512/core.bend as C512
49# SHA-512 (FIPS 180-4), 64 bytes.
50def sha512(bytes: List<&2, U32>) -> List<&2, U32>:
51 C512.sha512(bytes)