def words
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2s.bend as Blake2simport Base
144def words(bytes: List<&2,U32>) -> List<&2,U32>:
145 match bytes:
146 case b0 <> b1 <> b2 <> b3 <> rest: word(b0, b1, b2, b3) <> words(rest)
147 case _: Nil{}
Uses (3)
Used by (7)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2s:full_block
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/blake/blake2s:last_block
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2s/bytes:words_pad
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2s/bytes:words_serialize
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/blake/blake2s/reads:block_correct
- …