def digest_octets
import bend-collections@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
188def digest_octets(ws: List<&2, U32>) -> List<&2, U32>:
189 match ws:
190 case Nil{}:
191 Nil{}
192 case w <> tail:
193 List.append(&2, U32, word_octets(w), digest_octets(tail))
Uses (4)
Used by (7)
- bend-collections@1.0.0.0/spec/crypto/sha:sha256_bytes
- bend-collections@1.0.0.0/proofs/crypto/sha/correctness:digest_octets_length
- bend-collections@1.0.0.0/proofs/crypto/sha/laws:digest_bytes_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/laws:sha256_bytes_correct
- bend-collections@1.0.0.0/proofs/crypto/sha/packed/laws:digest_bytes_correct
- …