Function processLists

processLists(params, listComparisonValueIndices, lists): {
    listComparisonValueIndex: CircuitSignal[];
    listValidValues: CircuitSignal[][];
    tupleIndices: CircuitSignal[][];
}
Generates the ProtoPODGPC circuit inputs for multiple list membership checks including the required input to the tuple module whenever necessary.
Parameters
- params: ProtoPODGPCCircuitParams
  parameters of the ProtoPODGPC the list is processed for
- listComparisonValueIndices: number[][]
  an array of arrays of indices of entry values, each of which refers to a tuple of entry values that should be a member of the corresponding list.
- lists: PODValueTuple[][]
  arrays of tuples of constant values to compare against
Returns {
    listComparisonValueIndex: CircuitSignal[];
    listValidValues: CircuitSignal[][];
    tupleIndices: CircuitSignal[][];
}
the circuit inputs necessary for the list membership portion of the ProtoPODGPC circuit, viz. a list of tuple indices of arity params.tupleArity representing the input tuples, numbers representing the indices of the entry values/entry value tuples which are members of the lists, and the membership lists in hashed form.
- listComparisonValueIndex: CircuitSignal[]
- listValidValues: CircuitSignal[][]
- tupleIndices: CircuitSignal[][]
Throws
RangeError if any of the inputs are out of bounds with respect to the circuit parameters.

Throws
TypeError if the list and index arrays are malformed.
- Defined in list-membership.ts:42