This procedure takes an N-tuple elements and computes its 'tuple hash',
thus chaining together smaller tuples to form/represent a larger one.
It accomplishes this by hashing the values, then reducing the resulting
tuple down to one element, paramTupleArity elements at a time, via
the Poseidon hash function, padding the tuple with the hash of elements[0]
if necessary. The precise mechanism is described in multiTupleHasher below.
This procedure takes an N-tuple
elementsand computes its 'tuple hash', thus chaining together smaller tuples to form/represent a larger one. It accomplishes this by hashing the values, then reducing the resulting tuple down to one element,paramTupleArityelements at a time, via the Poseidon hash function, padding the tuple with the hash ofelements[0]if necessary. The precise mechanism is described inmultiTupleHasherbelow.