def sha256
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/legacy_model.bend as LegacyModelimport Base
import bend-collections@1.0.0.0/proofs/crypto/sha/packed/core_model.bend as Core
29def sha256(bytes: List<&2, U32>) -> List<&2, U32>:
30 Core.sha256(bytes)