def sha256_bytes
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as Shaimport Base
195def sha256_bytes(bytes: List<&2, U32>) -> List<&2, U32>:
196 digest_octets(sha256(bytes))
Uses (4)
Used by (16)
- bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/schnorr:tagged
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:sign_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/sha/laws:sha256_bytes_correct
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pschn:tagged_v
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/mac/hmac:fips_len
- …