def sha256
import bend-collections@1.0.0.0/spec/crypto/sha/packed.bend as Packedimport Base
113def sha256(a: Array<U32>, length: Nat) -> Maybe<&2,List<&2,U32>>:
114 digest_result(hash(a,length))
Uses (7)
Used by (5)
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/buffer_proof:full_reified
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/packed_proof:sha256_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/packed_proof:sha256_reified
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/buffer_proof:full_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/laws:sha256_packed_correct