def hashZ(*args):
TAG = "<STR_LIT>"<EOL>MESSAGE = "<STR_LIT>"<EOL>text = TAG.join([str(val) for val in args ] )<EOL>b = hmac(text, MESSAGE)<EOL>return BigInt(longFromString(b))<EOL>
Hash @args into a BigInt using a cryptographic hash function.