Optional set of lists for checking POD entry (or tuple) value
(non-)membership in the form of a record mapping list names to lists of
either POD values or POD value tuples.
Proof configurations with list membership checks refer to these lists by
name, and this record should appear in both the proof inputs and the revealed
claims. Each list must be non-empty, and these lists may be used for multiple
list (non-)membership checks in GPCProofEntryConfig and
GPCProofTupleConfig. These lists are duplicated on the circuit level
so that the circuit size is proportional to the number of membership checks
rather than the number of distinct lists.
Optional set of lists for checking POD entry (or tuple) value (non-)membership in the form of a record mapping list names to lists of either POD values or POD value tuples.
Proof configurations with list membership checks refer to these lists by name, and this record should appear in both the proof inputs and the revealed claims. Each list must be non-empty, and these lists may be used for multiple list (non-)membership checks in GPCProofEntryConfig and GPCProofTupleConfig. These lists are duplicated on the circuit level so that the circuit size is proportional to the number of membership checks rather than the number of distinct lists.