def sha256_packed

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/legacy_model.bend:57

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/packed.bend as Packed

57# Four bytes per U32, big-endian word order. Returns None for an oversized length.
58# This consumes the array; existing list APIs above retain their original behavior.
59def sha256_packed(words: Array<U32>, byte_length: Nat) -> Maybe<&2,List<&2,U32>>:
60  packed_digest(Packed.hash(words,byte_length))