~/jendhub

def tagged_h

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

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

24def tagged_h(+th: List<&2, U32>, x: List<&2, U32>) -> List<&2, U32>:
25  FIPS.sha256_bytes(cat(th, cat(th, x)))

Uses (4)

Used by (1)