parameters of the ProtoPODGPC the list is processed for
the index of the first output tuple in the combined array of entry and tuple value hashes.
tuple of indices of inputs to be compared to the list elements
the tuples of constant values making up the list
list of tuple indices of arity params.tupleArity representing the
input tuple, number representing the index of the entry value (tuple) which
is a member of the list, and the (unpadded) membership list in hashed form.
RangeError if any of the inputs are out of bounds with respect to the given circuit parameters.
TypeError if the list and index arrays are malformed.
Generated using TypeDoc
Generates part of the ProtoPODGPC circuit inputs for a single list membership check. This is used to generate the full inputs for multiple list membership checks in (@link processLists).
Processes a single membership list together with the (multi-)index of the entry value (or entry value tuple) that ought to be a member of this list. This is done by means of appropriate applications of hashTuple and computeTupleIndices. If no tuples are involved, then
listComparisonValueIndexis a singleton (a list containing a single element) andlista list of singletons; the underlying values are hashed as-is rather than being being hashed as 1-ary tuples. The list is padded with its first entry to fill the underlying array up to its capacity (params.maxListElements) while ensuring that there are no false positives in list membership checks.