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.