pub fn constraint_lookups<F: PrimeField, ID: LookupTableID>(
lookup_reads: &BTreeMap<ID, Vec<Vec<E<F>>>>,
lookup_writes: &BTreeMap<ID, Vec<Vec<E<F>>>>,
) -> Vec<E<F>> ⓘExpand description
Build the constraints for the lookup protocol. The constraints are the partial sum and the aggregation of the partial sums.