def sha256

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

import Base

113def sha256(a: Array<U32>, length: Nat) -> Maybe<&2,List<&2,U32>>:
114  digest_result(hash(a,length))

Uses (7)