Selector-controlled lookups

[volhovm]

Problem: The IVC circuit consists of several blocks, and these blocks have different lookup patterns. Therefore, it seems that different rows have different number of lookups.

Solution: (first thing off the top of my head): The partial sums h_i(X) can contain "blank spaces": Instead of checking h_i(X) * prod(beta + f_i(X)) - RHS = 0 do check h_i(X) * prod(beta + q(X) * f_i(X)) - RHS' where RHS' also has selector q(X) added somewhere.