def digest_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha512/core.bend:170

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha512/types.bend as T

170# The 64-byte digest H0 .. H7.
171def digest_bytes(s: T.State) -> List<&2, U32>:
172  T.H{a, b, c, d, e, f, g, h} = s
173  lane_octets(a, lane_octets(b, lane_octets(c, lane_octets(d,
174    lane_octets(e, lane_octets(f, lane_octets(g, lane_octets(h, Nil{}))))))))