def tagged
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
35def tagged(tag: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
36 tagged_h(SHA.sha256_bytes(tag), x)
Uses (4)
Used by (9)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pschn:tagged_v
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pschn:th_r
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/secp256k1/pschn:th_v
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr:sign_k
- bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/schnorr:sign_p
- …