def tagged_h
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr.bend as Schnorrimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/sha256.bend as SHA
31# hash_tag(x) = SHA256(SHA256(tag) || SHA256(tag) || x)
32def tagged_h(+th: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
33 SHA.sha256_bytes(cat(th, cat(th, x)))