def sha512
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
231def sha512(+bytes: List<&2, U32>) -> List<&2, U32>:
232 hash_padded(List.append(&2, U32, bytes, suffix(List.length(&2, U32, bytes))))
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/core.bend as Coreimport Base
231def sha512(+bytes: List<&2, U32>) -> List<&2, U32>:
232 hash_padded(List.append(&2, U32, bytes, suffix(List.length(&2, U32, bytes))))