def words
import bend-collections@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
72def words(bytes: List<&2, U32>) -> List<&2, U32>:
73 match bytes:
74 case a <> b <> c <> d <> rest:
75 decode(a, b, c, d) <> words(rest)
76 case _:
77 Nil{}
Uses (3)
Used by (5)
- bend-collections@1.0.0.0/spec/crypto/sha:prepare
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:block_bytes_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/conformance:sha256_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/conformance:block_bytes_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/conformance:sha256_correct