def tagged

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/schnorr.bend:27

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as FIPS

27# hash_name(x) = SHA256(SHA256(name) || SHA256(name) || x), name in ASCII
28def tagged(tag: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
29  tagged_h(FIPS.sha256_bytes(tag), x)