def sha512

bend-collections@1.0.0.0 · src/crypto/sha512/sha512.bend:5

import Base
import bend-collections@1.0.0.0/src/crypto/sha512/core.bend as Core

5# SHA-512 (FIPS 180-4). Bytes are U32 values, each < 256; the digest is the
6# 64 bytes of H0..H7, most significant first. Proved equal to the executable
7# specification spec/crypto/sha512.bend for every input:
8# proofs/crypto/sha512/laws.bend.
9def sha512(bytes: List<&2, U32>) -> List<&2, U32>:
10  Core.sha512(bytes)