def sha256

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/core_model.bend:693

import Base
import bend-collections@1.0.0.0/src/crypto/sha/packed/core.bend as Runtime

693def sha256(bytes: List<&2, U32>) -> List<&2, U32>:
694  digest(stream(bytes, 0n, 48n, Runtime.initial()))